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
1161
TITLE: Topic 9 - Parallel Programming: Models, Methods and Languages
AUTHORS: Marco Danelutto; Denis Caromel; Duane Szafron; Fernando M A Silva ;
PUBLISHED: 2005, SOURCE: Euro-Par, PAGES: 685
1162
TITLE: View Learning for Statistical Relational Learning: With an Application to Mammography
AUTHORS: Davis, J; Burnside, E; Dutra, I ; Page, D; Ramakrishnan, R; Costa, VS ; Shavlik, J;
PUBLISHED: 2005, SOURCE: 19TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI-05), PAGES: 677-683
1163
TITLE: Weak linearization of the lambda calculus
AUTHORS: Alves, S ; Florido, M ;
PUBLISHED: 2005, SOURCE: 2nd Annual Meeting on Applied Semantics in THEORETICAL COMPUTER SCIENCE, VOLUME: 342, ISSUE: 1, PAGES: 79-103
1164
TITLE: Application partitioning and hierarchical management in grid environments
AUTHORS: Patrícia Kayser Vargas; Inês de Castro Dutra ; Cláudio F R Geyer;
PUBLISHED: 2004, SOURCE: Doctoral Symposium on Middleware, VOLUME: 79, PAGES: 314-318
1165
TITLE: Concurrent table accesses in parallel tabled logic programs
AUTHORS: Rocha, R ; Silva, F ; Costa, VS ;
PUBLISHED: 2004, SOURCE: 10th International Euro-Par Conference on Parallel Processing in EURO-PAR 2004 PARALLEL PROCESSING, PROCEEDINGS, VOLUME: 3149, PAGES: 662-670
1166
TITLE: Exploiting parallelism in the Extended Andorra Model
AUTHORS: Lopes, R ; Costa, VS ; Silva, F ;
PUBLISHED: 2004, SOURCE: IASTED International Conference on Parallel and Distributed Computing and Networks in PROCEEDINGS OF THE IASTED INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED COMPUTING AND NETWORKS, PAGES: 483-489
1167
TITLE: Extreme adaptivity
AUTHORS: Alves, MA; Jorge, A ; Leal, JP ;
PUBLISHED: 2004, SOURCE: 3rd International Conference on Adaptive Hypermedia and Adaptive Web-Based Systems in ADAPTIVE HYPERMEDIA AND ADAPTIVE WEB-BASED SYSTEMS, PROCEEDINGS, VOLUME: 3137, PAGES: 348-352
1168
TITLE: On avoiding redundancy in inductive logic programming
AUTHORS: Fonseca, N ; Costa, VS ; Silva, F ; Camacho, R ;
PUBLISHED: 2004, SOURCE: 14th International Conference on Inductive Logic Programming (ILP 2004) in INDUCTIVE LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 3194, PAGES: 132-146
1169
TITLE: Pruning in the extended Andorra model
AUTHORS: Lopes, R ; Costa, VS ; Silva, F ;
PUBLISHED: 2004, SOURCE: 6th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, VOLUME: 3057, PAGES: 120-134
1170
TITLE: Query transformations for improving the efficiency of ILP systems
AUTHORS: Costa, VS ; Srinivasan, A; Camacho, R ; Blockeel, H; Demoen, B; Janssens, G; Struyf, J; Vandecasteele, H; Van Laer, W;
PUBLISHED: 2004, SOURCE: 10th International Conference on Inductive Logic Programming (ILP2000) in JOURNAL OF MACHINE LEARNING RESEARCH, VOLUME: 4, ISSUE: 4, PAGES: 465-491
1171
TITLE: Speculative computations in or-parallel tabled logic programs
AUTHORS: Rocha, R ; Silva, F ; Costa, VS ;
PUBLISHED: 2004, SOURCE: 20th International Conference on Logic Programming in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 3132, PAGES: 254-268
1172
TITLE: Study of hybrid coherence protocols for parallel logic programming systems
AUTHORS: De Oliveira, EPG; Ramos, F; De Dutra, IC ; De Castro, MCS;
PUBLISHED: 2004, SOURCE: Proceedings of the 16th IASTED International Conference on Parallel and Distributed Computing and Systems in Proceedings of the IASTED International Conference on Parallel and Distributed Computing and Systems, VOLUME: 16, PAGES: 821-826
1173
TITLE: The MyYapDB deductive database system
AUTHORS: Ferreira, M ; Rocha, R ;
PUBLISHED: 2004, SOURCE: 9th European Conference on Logics in Artificial Intelligence (JELIA 04) in LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 3229, PAGES: 710-713
1174
TITLE: A CLP-based tool for computer aided generation and solving of maths exercises
AUTHORS: Tomás, AP ; Leal, JP ;
PUBLISHED: 2003, SOURCE: 5th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 2562, PAGES: 223-240
1175
TITLE: A multi-threaded asynchronous language
AUTHORS: Paulino, H ; Marques, P ; Lopes, L ; Vasconcelos, V ; Silva, F ;
PUBLISHED: 2003, SOURCE: 7th International Conference on Parallel Computing Technologies (PaCT 2003) in PARALLEL COMPUTING TECHNOLOGIES, PROCEEDINGS, VOLUME: 2763, PAGES: 316-323
1176
TITLE: An empirical evaluation of bagging in inductive logic programming
AUTHORS: Dutra, ID ; Page, D; Costa, VS ; Shavlik, J;
PUBLISHED: 2003, SOURCE: INDUCTIVE LOGIC PROGRAMMING, VOLUME: 2583, PAGES: 48-65
1177
TITLE: Applying scheduling by edge reversal to constraint partitioning
AUTHORS: Pereira, MR; Vargas, PK; França, FMG; de Castro, MCS; Dutra, ID ;
PUBLISHED: 2003, SOURCE: 15TH SYMPOSIUM ON COMPUTER ARCHITECTURE AND HIGH PERFORMANCE COMPUTING, PROCEEDINGS, VOLUME: 2003-January, PAGES: 134-141
1178
TITLE: CLP(BN): Constraint Logic Programming for Probabilistic Knowledge
AUTHORS: Vítor Santos Costa ; David Page; Maleeha Qazi; James Cussens;
PUBLISHED: 2003, SOURCE: UAI, PAGES: 517-524
1179
TITLE: Distributed typed concurrent objects: a programming language for distributed computations with mobile resources
AUTHORS: Figueira, AR ; Paulino, H ; Lopes, L ; Silva, F ;
PUBLISHED: 2003, SOURCE: 7th Brazilian Symposium on Programming Languages in JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 9, ISSUE: 8, PAGES: 745-760
1180
TITLE: Efficient data structures for inductive logic programming
AUTHORS: Fonseca, N ; Rocha, R ; Camacho, R ; Silva, F ;
PUBLISHED: 2003, SOURCE: 13th International Conference on Inductive Logic Programming in INDUCTIVE LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 2835, PAGES: 130-145

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