Vítor Manuel de Morais Santos Costa


AuthID: R-000-HMB

Confirmed Publications: 210



131
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 | CIÊNCIAVITAE
132
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 | CIÊNCIAVITAE
133
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 | CIÊNCIAVITAE
134
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 | CIÊNCIAVITAE
135
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 | CIÊNCIAVITAE
136
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 | CIÊNCIAVITAE
137
TITLE: An integrated approach to learning Bayesian networks of rules
AUTHORS: Davis, J; Burnside, E; Dutra, ID ; Page, D; Costa, VS ;
PUBLISHED: 2005, SOURCE: 16th European Conference on Machine Learning, ECML 2005 in MACHINE LEARNING: ECML 2005, PROCEEDINGS, VOLUME: 3720
INDEXED IN: Scopus WOS DBLP CrossRef: 20
IN MY: ORCID | DBLP | CIÊNCIAVITAE
138
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
INDEXED IN: Scopus WOS DBLP CrossRef: 6
IN MY: ORCID | DBLP | CIÊNCIAVITAE
139
TITLE: IMPACT: Innovative models for prolog with advanced control and tabling
AUTHORS: Rocha, R ; Lopes, R ; Silva, F ; Costa, VS ;
PUBLISHED: 2005, SOURCE: 21st International Conference on Logic Programming in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 3668
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP | CIÊNCIAVITAE
140
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
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP | CIÊNCIAVITAE
Page 14 of 21. Total results: 210.

footer slogan

Useful Links

Get Help

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