Center for Research in Advanced Computing Systems (CRACS)
Center for Research in Advanced Computing Systems
AuthID: I-000-1RA Publications Count: 1277
43 Team MembersFilters -> Year: 2026
1101
TITLE: AUV control and communication using underwater acoustic networks
AUTHORS: Eduardo R B Marques ; Jose Pinto ; Sean Kragelund; Paulo S Dias ; Luis Madureira; Alexandre Sousa; Marcio Correia; Hugo Ferreira ; Rui Goncalves; Ricardo Martins; Douglas P Homer; Anthony J Healey; Gil Gonçalves ; Joao B Sousa ;
PUBLISHED: 2007, SOURCE: Oceans 2007 Europe International Conference in OCEANS 2007 - EUROPE, VOLS 1-3, PAGES: 1479-+
AUTHORS: Eduardo R B Marques ; Jose Pinto ; Sean Kragelund; Paulo S Dias ; Luis Madureira; Alexandre Sousa; Marcio Correia; Hugo Ferreira ; Rui Goncalves; Ricardo Martins; Douglas P Homer; Anthony J Healey; Gil Gonçalves ; Joao B Sousa ;
PUBLISHED: 2007, SOURCE: Oceans 2007 Europe International Conference in OCEANS 2007 - EUROPE, VOLS 1-3, PAGES: 1479-+
1102
TITLE: Change of Representation for Statistical Relational Learning
AUTHORS: Jesse Davis; Irene M Ong; Jan Struyf; Elizabeth S Burnside; David Page; Vítor Santos Costa ;
PUBLISHED: 2007, SOURCE: 20th International Joint Conference on Artificial Intelligence in 20TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, PAGES: 2719-2726
AUTHORS: Jesse Davis; Irene M Ong; Jan Struyf; Elizabeth S Burnside; David Page; Vítor Santos Costa ;
PUBLISHED: 2007, SOURCE: 20th International Joint Conference on Artificial Intelligence in 20TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, PAGES: 2719-2726
1103
TITLE: Demand-driven indexing of Prolog clauses
AUTHORS: Costa, VS ; Sagonas, K; Lopes, R ;
PUBLISHED: 2007, SOURCE: 23rd International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 4670, PAGES: 395-+
AUTHORS: Costa, VS ; Sagonas, K; Lopes, R ;
PUBLISHED: 2007, SOURCE: 23rd International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 4670, PAGES: 395-+
1104
TITLE: Design, implementation, and evaluation of a dynamic compilation framework for the YAP system
AUTHORS: da Silva, AF; Costa, VS ;
PUBLISHED: 2007, SOURCE: 23rd International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 4670, PAGES: 410-+
AUTHORS: da Silva, AF; Costa, VS ;
PUBLISHED: 2007, SOURCE: 23rd International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 4670, PAGES: 410-+
1105
TITLE: Efficient and scalable induction of logic programs using a deductive database system
AUTHORS: Ferreira, M ; Fonseca, NA ; Rocha, R ; Scares, T;
PUBLISHED: 2007, SOURCE: 16th International Conference on Inductive Logic Programming in INDUCTIVE LOGIC PROGRAMMING, VOLUME: 4455, PAGES: 184-+
AUTHORS: Ferreira, M ; Fonseca, NA ; Rocha, R ; Scares, T;
PUBLISHED: 2007, SOURCE: 16th International Conference on Inductive Logic Programming in INDUCTIVE LOGIC PROGRAMMING, VOLUME: 4455, PAGES: 184-+
1106
TITLE: Experiments with IPV6 network mobility using nemo protocol
AUTHORS: Nuno Veiga; Mário Antunes ; Vítor Santos; Alexandre Santos ;
PUBLISHED: 2007, SOURCE: MCCSIS 2007 - IADIS Multi Conference on Computer Science and Information Systems - Proceedings of Wireless Applications and Computing 2007, Telecommunications, Networks and Systems 2007 and Data Mining 2007, VOLUME: Part 2, PAGES: 147-151
AUTHORS: Nuno Veiga; Mário Antunes ; Vítor Santos; Alexandre Santos ;
PUBLISHED: 2007, SOURCE: MCCSIS 2007 - IADIS Multi Conference on Computer Science and Information Systems - Proceedings of Wireless Applications and Computing 2007, Telecommunications, Networks and Systems 2007 and Data Mining 2007, VOLUME: Part 2, PAGES: 147-151
1107
TITLE: GRAND: toward scalability in a grid environment
AUTHORS: Vargas, PK; Dutra, IC ; do Nascimento, VD; Santos, LAS; da Silva, LC; Geyer, CFR; Schulze, B;
PUBLISHED: 2007, SOURCE: CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, VOLUME: 19, ISSUE: 14, PAGES: 1991-2009
AUTHORS: Vargas, PK; Dutra, IC ; do Nascimento, VD; Santos, LAS; da Silva, LC; Geyer, CFR; Schulze, B;
PUBLISHED: 2007, SOURCE: CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, VOLUME: 19, ISSUE: 14, PAGES: 1991-2009
1108
TITLE: Grid applications in EELA
AUTHORS: Rodrigo Abarca; Alicia Acero; Gabriel Aparicio; Claudio Baeza; Roberto Barbera; Fernando Blanco; Ignacio Blanquer; Mauricio Carrillo; Juan L Luis Chaves; Antonio Cofino; Jesus Cruz; Morganna Diniz; Guilherme Domingues; Maria T Teresa Dova; Ines Dutra ; Freddy Echeverria; Larisa Enriquez; Francisco Fernandez Lima; Francisco Fernandez Nodarse; Manuel Fernandez; Valvanuz Fernandez; Felipe Franca; Jose M Manuel Gutierrez; Alvaro Hernandez; Vicente Hernandez; Raul Isea; Priscila Lima; Daniel Lopez; Rafael Mayo; Richard Miguel; Esther Montes; Henry R Ricardo Mora; Mariela Moreveli Espinoza; Lukas Nellen; Glaucia Pereira; Raquel Pezoa; Alexandre Porto; Luis Salinas; Edmundo Silva; Carlo Tolla; ...More
PUBLISHED: 2007, SOURCE: 1st Iberian Infrastructure Conference (IBERGRID) in IBERGRID: 1ST IBERIAN GRID INFRASTRUCTURE CONFERENCE PROCEEDINGS, PAGES: 245-258
AUTHORS: Rodrigo Abarca; Alicia Acero; Gabriel Aparicio; Claudio Baeza; Roberto Barbera; Fernando Blanco; Ignacio Blanquer; Mauricio Carrillo; Juan L Luis Chaves; Antonio Cofino; Jesus Cruz; Morganna Diniz; Guilherme Domingues; Maria T Teresa Dova; Ines Dutra ; Freddy Echeverria; Larisa Enriquez; Francisco Fernandez Lima; Francisco Fernandez Nodarse; Manuel Fernandez; Valvanuz Fernandez; Felipe Franca; Jose M Manuel Gutierrez; Alvaro Hernandez; Vicente Hernandez; Raul Isea; Priscila Lima; Daniel Lopez; Rafael Mayo; Richard Miguel; Esther Montes; Henry R Ricardo Mora; Mariela Moreveli Espinoza; Lukas Nellen; Glaucia Pereira; Raquel Pezoa; Alexandre Porto; Luis Salinas; Edmundo Silva; Carlo Tolla; ...More
PUBLISHED: 2007, SOURCE: 1st Iberian Infrastructure Conference (IBERGRID) in IBERGRID: 1ST IBERIAN GRID INFRASTRUCTURE CONFERENCE PROCEEDINGS, PAGES: 245-258
1109
TITLE: Improving model construction of profile HMMs for remote homology detection through structural alignment
AUTHORS: Bernardes, JS; Dávila, AM; Costa, VS ; Zaverucha, G;
PUBLISHED: 2007, SOURCE: BMC BIOINFORMATICS, VOLUME: 8, ISSUE: 1
AUTHORS: Bernardes, JS; Dávila, AM; Costa, VS ; Zaverucha, G;
PUBLISHED: 2007, SOURCE: BMC BIOINFORMATICS, VOLUME: 8, ISSUE: 1
1110
TITLE: Increasing the appeal of programming contests with tasks involving graphical user interfaces and computer graphics
AUTHORS: Pedro Ribeiro ; Pedro Guerreiro ;
PUBLISHED: 2007, SOURCE: 19th International Olympiad in Informatics Conference in OLYMPIADS IN INFORMATICS: COUNTRY EXPERIENCES AND DEVELOPMENTS, VOL 1, VOLUME: 1, PAGES: 149-164
AUTHORS: Pedro Ribeiro ; Pedro Guerreiro ;
PUBLISHED: 2007, SOURCE: 19th International Olympiad in Informatics Conference in OLYMPIADS IN INFORMATICS: COUNTRY EXPERIENCES AND DEVELOPMENTS, VOL 1, VOLUME: 1, PAGES: 149-164
1111
TITLE: Inferring regulatory networks from time series expression data and relational data via inductive logic programming
AUTHORS: Ong, IM; Topper, SE; Page, D; Costa, VS ;
PUBLISHED: 2007, SOURCE: 16th International Conference on Inductive Logic Programming in INDUCTIVE LOGIC PROGRAMMING, VOLUME: 4455, PAGES: 366-+
AUTHORS: Ong, IM; Topper, SE; Page, D; Costa, VS ;
PUBLISHED: 2007, SOURCE: 16th International Conference on Inductive Logic Programming in INDUCTIVE LOGIC PROGRAMMING, VOLUME: 4455, PAGES: 366-+
1112
TITLE: Interaction visualization in web-based learning using igraphs
AUTHORS: Álvaro Reis Figueira ; Joanne Bras Laranjeiro;
PUBLISHED: 2007, SOURCE: Hypertext 2007: 18th ACM Conference on Hypertext and Hypermedia, HT'07 in HYPERTEXT 2007, Proceedings of the 18th ACM Conference on Hypertext and Hypermedia, September 10-12, 2007, Manchester, UK, PAGES: 45-46
AUTHORS: Álvaro Reis Figueira ; Joanne Bras Laranjeiro;
PUBLISHED: 2007, SOURCE: Hypertext 2007: 18th ACM Conference on Hypertext and Hypermedia, HT'07 in HYPERTEXT 2007, Proceedings of the 18th ACM Conference on Hypertext and Hypermedia, September 10-12, 2007, Manchester, UK, PAGES: 45-46
1113
TITLE: Iterator types
AUTHORS: Alves, S ; Fernández, M; Florido, M ; Mackie, I;
PUBLISHED: 2007, SOURCE: 10th International Conference on Fundamental Approaches to Software Engineering in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, PROCEEDINGS, VOLUME: 4423, PAGES: 17-+
AUTHORS: Alves, S ; Fernández, M; Florido, M ; Mackie, I;
PUBLISHED: 2007, SOURCE: 10th International Conference on Fundamental Approaches to Software Engineering in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, PROCEEDINGS, VOLUME: 4423, PAGES: 17-+
1114
TITLE: Linear recursive functions
AUTHORS: Alves, S ; Fernandez, M; Florido, M ; Mackie, I;
PUBLISHED: 2007, SOURCE: Festschrift held in Honor of Jean-Pierre Jouannauds 60th Birthday on Rewriting, Computation and Proof in REWRITING, COMPUTATION AND PROOF, VOLUME: 4600, PAGES: 182-+
AUTHORS: Alves, S ; Fernandez, M; Florido, M ; Mackie, I;
PUBLISHED: 2007, SOURCE: Festschrift held in Honor of Jean-Pierre Jouannauds 60th Birthday on Rewriting, Computation and Proof in REWRITING, COMPUTATION AND PROOF, VOLUME: 4600, PAGES: 182-+
1115
TITLE: Minimality in a Linear Calculus with Iteration
AUTHORS: Sandra Alves ; Mário Florido ; Ian Mackie; François Régis Sinot;
PUBLISHED: 2007, SOURCE: WRS@RDP, VOLUME: 204, ISSUE: C, PAGES: 163-179
AUTHORS: Sandra Alves ; Mário Florido ; Ian Mackie; François Régis Sinot;
PUBLISHED: 2007, SOURCE: WRS@RDP, VOLUME: 204, ISSUE: C, PAGES: 163-179
1116
TITLE: On applying program transformation to implement suspension-based tabling in Prolog
AUTHORS: Rocha, R ; Silva, C; Lopes, R ;
PUBLISHED: 2007, SOURCE: 23rd International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 4670, PAGES: 444-+
AUTHORS: Rocha, R ; Silva, C; Lopes, R ;
PUBLISHED: 2007, SOURCE: 23rd International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 4670, PAGES: 444-+
1117
TITLE: On improving the efficiency and robustness of table storage mechanisms for tabled evaluation
AUTHORS: Ricardo Rocha ;
PUBLISHED: 2007, SOURCE: 9th International Symposium on Practical Aspects of Declarative Languages in Practical Aspects of Declarative Languages, VOLUME: 4354, PAGES: 155-169
AUTHORS: Ricardo Rocha ;
PUBLISHED: 2007, SOURCE: 9th International Symposium on Practical Aspects of Declarative Languages in Practical Aspects of Declarative Languages, VOLUME: 4354, PAGES: 155-169
1118
TITLE: Plugging Computer Labs to the Grid
AUTHORS: Pedro Ribeiro ; Pedro Pereira; Luis Lopes ; Fernando Silva ;
PUBLISHED: 2007, SOURCE: 1st Iberian Infrastructure Conference (IBERGRID) in IBERGRID: 1ST IBERIAN GRID INFRASTRUCTURE CONFERENCE PROCEEDINGS, PAGES: 393-396
AUTHORS: Pedro Ribeiro ; Pedro Pereira; Luis Lopes ; Fernando Silva ;
PUBLISHED: 2007, SOURCE: 1st Iberian Infrastructure Conference (IBERGRID) in IBERGRID: 1ST IBERIAN GRID INFRASTRUCTURE CONFERENCE PROCEEDINGS, PAGES: 393-396
1119
TITLE: Prolog performance on larger datasets
AUTHORS: Vitor Santos Costa ;
PUBLISHED: 2007, SOURCE: 9th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, VOLUME: 4354, PAGES: 185-199
AUTHORS: Vitor Santos Costa ;
PUBLISHED: 2007, SOURCE: 9th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, VOLUME: 4354, PAGES: 185-199
1120
TITLE: Rapid development of web interfaces to heterogeneous systems
AUTHORS: Leal, JP ; Domingues, MA;
PUBLISHED: 2007, SOURCE: 33rd Conference on Current Trends in Theory and Practice of Computer Science in SOFSEM 2007: THEORY AND PRACTICE OF COMPUTER SCIENCE, PROCEEDINGS, VOLUME: 4362, PAGES: 716-+
AUTHORS: Leal, JP ; Domingues, MA;
PUBLISHED: 2007, SOURCE: 33rd Conference on Current Trends in Theory and Practice of Computer Science in SOFSEM 2007: THEORY AND PRACTICE OF COMPUTER SCIENCE, PROCEEDINGS, VOLUME: 4362, PAGES: 716-+
