Vítor Manuel de Morais Santos Costa


AuthID: R-000-HMB

Confirmed Publications: 208



121
TITLE: Inferring regulatory networks from time series expression data and relational data via inductive logic programming  Full Text
AUTHORS: Irene M Ong; Scott E Topper; David Page; Vitor Santos Costa ;
PUBLISHED: 2007, SOURCE: 16th International Conference on Inductive Logic Programming in Inductive Logic Programming, VOLUME: 4455
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | DBLP
122
TITLE: Prolog performance on larger datasets  Full Text
AUTHORS: Vitor Santos Costa ;
PUBLISHED: 2007, SOURCE: 9th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, VOLUME: 4354
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID | DBLP
123
TITLE: Selected papers from SBLP 2007: The 11th Brazilian Symposium on Programming Languages J.UCS special issue
AUTHORS: Bigonha, RS; Musicante, MA; Pardo, A; Garcia, A; Martini, A; Moreira, AF; De Melo, ACV; Du Bois, AR; Santos, A; Camarao, C; Rubira, C; Braga, C; Naumann, D; Haeusler, EH; De Carvalho Junior, FH; Cafezeiro, I; Palsberg, J; Jeuring, J; Saraiva, J ; Guimaraes, J; Labra, J; Fiadeiro, JL; Figueiredo, L; Barbosa, LS ; Menezes, LC; Maia, M; De Valente, MTO; Bigonha, MAS; Benton, N; Rodriguez, N; Borba, P; Mosses, PD; Lins, RD; Cerqueira, R; Lima, RM; Ierusalimschy, R; Rigo, S; De Schneider, SM; Soares, S; Dascalu, S; Thompson, S; Vene, V; Costa, V ; Iorio, VD; ...More
PUBLISHED: 2007, SOURCE: JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 13, ISSUE: 6
INDEXED IN: Scopus WOS
IN MY: ORCID
124
TITLE: A pipelined data-parallel algorithm for ILP
AUTHORS: Nuno A Fonseca ; Fernando Silva ; Vitor Santos Costa ; Rui Camacho ;
PUBLISHED: 2006, SOURCE: IEEE International Conference on Cluster Computing in 2005 IEEE INTERNATIONAL CONFERENCE ON CLUSTER COMPUTING (CLUSTER)
INDEXED IN: Scopus WOS DBLP CrossRef: 4
IN MY: ORCID | DBLP
125
TITLE: Our experiences with optimizations in Sun's Java Just-In-Time compilers  Full Text
AUTHORS: Da Silva, AF; Costa, VS ;
PUBLISHED: 2006, SOURCE: Journal of Universal Computer Science, VOLUME: 12, ISSUE: 7
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
126
TITLE: PFORTE: Revising probabilistic FOL theories
AUTHORS: Paes, A; Revoredo, K; Zaverucha, G; Costa, VS ;
PUBLISHED: 2006, SOURCE: IBERAMIA-SBIA 2006 - 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 4140 LNAI
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
127
TITLE: The design and implementation of the YAP compiler: An optimizing compiler for logic programming languages
AUTHORS: Da Silva, AF; Costa, VS ;
PUBLISHED: 2006, SOURCE: 22nd International Conference on Logic Programming, ICLP 2006 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 4079 LNCS
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID | DBLP
128
TITLE: The design of the YAP compiler: An optimizing compiler for logic programming languages  Full Text
AUTHORS: Da Silva, AF; Costa, VS ;
PUBLISHED: 2006, SOURCE: Journal of Universal Computer Science, VOLUME: 12, ISSUE: 7
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
129
TITLE: A framework for set-oriented computation in inductive logic programming and its application in generalizing inverse entailment
AUTHORS: Bravo, HC; Page, D; Ramakrishnan, R; Shavlik, J; Costa, VS ;
PUBLISHED: 2005, SOURCE: 15th International Conference on Inductive Logic Programming, ILP 2005 in Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), VOLUME: 3625
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID | DBLP
130
TITLE: An experimental evaluation of JAVA JIT technology  Full Text
AUTHORS: Faustino Da Silva, A; Costa, VS ;
PUBLISHED: 2005, SOURCE: Journal of Universal Computer Science, VOLUME: 11, ISSUE: 7
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
Page 13 of 21. Total results: 208.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service