Center for Research in Advanced Computing Systems (CRACS)
Center for Research in Advanced Computing Systems

AuthID: I-000-1RA

External   Internal

Publications Count: 1277

43 Team Members
Filters -> Year: 2026
1141
TITLE: The Power of Closed Reduction Strategies
AUTHORS: Sandra Alves ; Maribel Fernández; Mário Florido ; Ian Mackie;
PUBLISHED: 2006, SOURCE: WRS@FLoC, VOLUME: 174, ISSUE: 10 SPEC. ISS., PAGES: 57-74
1142
TITLE: The power of linear functions
AUTHORS: Alves, S ; Fernández, M; Florido, M ; Mackie, I;
PUBLISHED: 2006, SOURCE: 20th International Workshop on Computer Science Logic/15th Annual Conference of the European-Association-for-Computer-Science-Logic in COMPUTER SCIENCE LOGIC, PROCEEDINGS, VOLUME: 4207, PAGES: 119-134
1143
TITLE: The use of real-time publish-subscribe middleware in networked vehicle systems
AUTHORS: Marques, ERB ; Gil Gonçalves ; Sousa, JB;
PUBLISHED: 2006, SOURCE: 1st IFAC Workshop on Multivehicle Systems, MVS 2006 in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 1, ISSUE: PART 1, PAGES: 108-113
1144
TITLE: A Framework for Set-Oriented Computation in Inductive Logic Programming and Its Application in Generalizing Inverse Entailment
AUTHORS: Héctor Corrada Bravo; David Page; Raghu Ramakrishnan; Jude W Shavlik; Vítor Santos Costa ;
PUBLISHED: 2005, SOURCE: ILP, VOLUME: 3625, PAGES: 69-86
1145
TITLE: A software framework for rapid prototyping of run-time systems for mobile calculi
AUTHORS: Bettini, L; De Nicola, R; Falassi, D; Lacoste, M; Lopes, L ; Oliveira, L; Paulino, H ; Vasconcelos, VT ;
PUBLISHED: 2005, SOURCE: 2nd IST/FET International Workshop on Global Computing in GLOBAL COMPUTING, VOLUME: 3267, PAGES: 179-207
1146
TITLE: An Experimental Evaluation of JAVA JIT Technology
AUTHORS: Anderson Faustino da Silva; Vítor Santos Costa ;
PUBLISHED: 2005, SOURCE: J. Univers. Comput. Sci., VOLUME: 11, ISSUE: 7, PAGES: 1291-1309
1147
TITLE: An integrated approach to learning Bayesian networks of rules
AUTHORS: Davis, J; Burnside, E; Dutra, ID ; Page, D; Costa, VS ;
PUBLISHED: 2005, SOURCE: MACHINE LEARNING: ECML 2005, PROCEEDINGS, VOLUME: 3720, PAGES: 84-95
1148
TITLE: Coupling OPTYAP with a database system
AUTHORS: Michel Ferreira ; Ricardo Rocha ;
PUBLISHED: 2005, SOURCE: IADIS AC, PAGES: 107-114
1149
TITLE: Dynamic mixed-strategy evaluation of tabled logic programs
AUTHORS: Rocha, R ; Silva, F ; Costa, VS ;
PUBLISHED: 2005, SOURCE: 21st International Conference on Logic Programming in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 3668, PAGES: 250-264
1150
TITLE: Hierarchical submission in a Grid environment
AUTHORS: Patrícia Kayser Vargas; Inês de Castro Dutra ; Vinícius Dalto do Nascimento; Lucas A S Santos; Luciano Cavalheiro da Silva; Cláudio Fernando Resin Geyer; Bruno Schulze;
PUBLISHED: 2005, SOURCE: MGC@Middleware, VOLUME: 117, PAGES: 9:1-9:6
1151
TITLE: IMPACT: Innovative models for prolog with advanced control and tabling. (Extended Abstract)
AUTHORS: Rocha, R ; Lopes, R ; Silva, F ; Costa, VS ;
PUBLISHED: 2005, SOURCE: 21st International Conference on Logic Programming in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 3668, PAGES: 416-417
1152
TITLE: Improving memory usage in the BEAM
AUTHORS: Lopes, R ; Costa, VS ;
PUBLISHED: 2005, SOURCE: 7th International Symposium on Practical Aspects of Declarative Languages (PADL) in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 3350, PAGES: 143-157
1153
TITLE: Knowledge Discovery from Structured Mammography Reports Using Inductive Logic Programming
AUTHORS: Elizabeth S Burnside; Jesse Davis; Vítor Santos Costa ; Inês de Castro Dutra ; Charles E Kahn Jr.; Jason Fine; David Page;
PUBLISHED: 2005, SOURCE: AMIA, PAGES: 96-100
1154
TITLE: MiKO - Mikado Koncurrent Objects
AUTHORS: Francisco Martins ; Liliana C M Salvador; Vasco Thudichum Vasconcelos ; Luís M B Lopes ;
PUBLISHED: 2005, SOURCE: Foundations of Global Computing, VOLUME: 5081
1155
TITLE: Mode directed path finding
AUTHORS: Ong, IM; Dutra, ID ; Page, D; Costa, VS ;
PUBLISHED: 2005, SOURCE: MACHINE LEARNING: ECML 2005, PROCEEDINGS, VOLUME: 3720, PAGES: 673-681
1156
TITLE: On applying or-parallelism and tabling to logic programs
AUTHORS: Rocha, R ; Silva, F ; Costa, VS ;
PUBLISHED: 2005, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 5, ISSUE: 1-2, PAGES: 161-205
1157
TITLE: On applying tabling to inductive logic programming
AUTHORS: Rocha, R ; Fonseca, N ; Costa, VS ;
PUBLISHED: 2005, SOURCE: 16th European Conference on Machine Learning (ECML)/9th European Conference on Principles and Practice of Knowledge Discovery in Databases (PKDD) in MACHINE LEARNING: ECML 2005, PROCEEDINGS, VOLUME: 3720, PAGES: 707-714
1158
TITLE: Probabilistic First-Order Theory Revision from Examples
AUTHORS: Aline Paes; Kate Revoredo; Gerson Zaverucha; Vítor Santos Costa ;
PUBLISHED: 2005, SOURCE: ILP, VOLUME: 3625, PAGES: 295-311
1159
TITLE: ReGS: User-level reliability in a grid environment
AUTHORS: Sanches, JAL; Vargas, PFK; Dutra, ID ; Costa, VS ; Geyer, CFR;
PUBLISHED: 2005, SOURCE: 2005 IEEE International Symposium on Cluster Computing and the Grid, Vols 1 and 2, VOLUME: 2, PAGES: 718-725
1160
TITLE: Strategies to parallelize ILP systems
AUTHORS: Fonseca, NA ; Silva, F ; Camacho, R ;
PUBLISHED: 2005, SOURCE: 15th International Conference on Inductive Logic Programming (ILP 2005) in INDUCTIVE LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 3625, PAGES: 136-153

Results per Page: 20.
Page 58 of 64. Total results: 1277.