Vítor Manuel de Morais Santos Costa


AuthID: R-000-HMB

Confirmed Publications: 208



111
TITLE: On the Efficient Execution of ProbLog Programs
AUTHORS: Angelika Kimmig; Vitor Santos Costa ; Ricardo Rocha ; Bart Demoen; Luc De Raedt;
PUBLISHED: 2008, SOURCE: 24th International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 5366
INDEXED IN: Scopus WOS DBLP CrossRef: 22
IN MY: ORCID | DBLP
112
TITLE: Revising first-order logic theories from examples through stochastic local search  Full Text
AUTHORS: Aline Paes; Gerson Zaverucha; Vitor Santos Costa ;
PUBLISHED: 2008, SOURCE: Joint Conference of the 17th International Conference on Inductive Logic Programming/24th International Conference on Machine Learning in INDUCTIVE LOGIC PROGRAMMING, VOLUME: 4894
INDEXED IN: Scopus WOS DBLP CrossRef: 5
IN MY: ORCID | DBLP
113
TITLE: RUSE-WARMR: Rule Selection for Classifier Induction in Multi-Relational Data-Sets
AUTHORS: Carlos Abreu Ferreira ; Joao Gama ; Vitor Santos Costa ;
PUBLISHED: 2008, SOURCE: 20th IEEE International Conference on Tools with Artificial Intelligence in 20TH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, VOL 1, PROCEEDINGS, VOLUME: 1
INDEXED IN: Scopus WOS DBLP CrossRef: 5
IN MY: ORCID | DBLP
114
TITLE: The Life of a Logic Programming System
AUTHORS: Vitor Santos Costa ;
PUBLISHED: 2008, SOURCE: 24th International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 5366
INDEXED IN: Scopus WOS DBLP CrossRef: 5
IN MY: ORCID | DBLP
115
TITLE: Towards Typed Prolog
AUTHORS: Tom Schrijvers; Vitor Santos Costa ; Jan Wielemaker; Bart Demoen;
PUBLISHED: 2008, SOURCE: 24th International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 5366
INDEXED IN: Scopus WOS DBLP CrossRef: 20
IN MY: ORCID | DBLP
116
TITLE: Transactional WaveCache: Towards Speculative and Out-of-Order DataFlow Execution of Memory Operations  Full Text
AUTHORS: Leandro A J Marzulo; Felipe M G Franca; Vitor Santos Costa ;
PUBLISHED: 2008, SOURCE: 20th International Symposium on Computer Architecture and High Performance Computing in 20th International Symposium on Computer Architecture and High Performance Computing, Proceedings
INDEXED IN: Scopus WOS DBLP CrossRef: 8
IN MY: ORCID | DBLP
117
TITLE: A study of structural properties on profiles HMMs PDF
AUTHORS: Juliana S. Bernardes; Alberto M. R. Dávila; Vítor Santos Costa ; Gerson Zaverucha;
PUBLISHED: 2007, SOURCE: CoRR, VOLUME: abs/0704.2010
INDEXED IN: DBLP arXiv
IN MY: ORCID | DBLP
118
TITLE: An integrated approach to feature invention and model construction for drug activity prediction
AUTHORS: Davis, J; Costa, VS ; Ray, S; Page, D;
PUBLISHED: 2007, SOURCE: 24th International Conference on Machine Learning, ICML 2007 in ACM International Conference Proceeding Series, VOLUME: 227
INDEXED IN: Scopus DBLP CrossRef: 11
IN MY: ORCID | DBLP
119
TITLE: Change of Representation for Statistical Relational Learning PDF
AUTHORS: Jesse Davis; Irene Ong; Jan Struyf; Elizabeth Burnside David Page; Vitor Santos Costa ;
PUBLISHED: 2007, SOURCE: 20th International Joint Conference on Artificial Intelligence in 20TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID | DBLP
120
TITLE: Demand-driven indexing of Prolog clauses
AUTHORS: Vitor Santos Costa ; Konstantinos Sagonas; Ricardo Lopes ;
PUBLISHED: 2007, SOURCE: 23rd International Conference on Logic Programming (ICLP) in Logic Programming, Proceedings, VOLUME: 4670
INDEXED IN: Scopus WOS DBLP CrossRef: 12
IN MY: ORCID | DBLP
Page 12 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