81
TÍTULO: An improved continuation call-based implementation of tabling
AUTORES: Pablo Chico de Guzman; Manuel Carro; Manuel V Hermenegildo; Claudio Silva; Ricardo Rocha ;
PUBLICAÇÃO: 2008, FONTE: 10th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 4902
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
82
TÍTULO: Compile the Hypothesis Space: Do it Once, Use it Often  Full Text
AUTORES: Nuno A Fonseca ; Rui Camacho ; Ricardo Rocha ; Vitor Santos Costa ;
PUBLICAÇÃO: 2008, FONTE: 18th European Conference on Machine Learning (ECML 2007)/11th European Conference on Principles and Practice of Knowledge Discovery in Databases (PKDD 2007) in FUNDAMENTA INFORMATICAE, VOLUME: 89, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP
83
TÍTULO: Global Storing Mechanisms for Tabled Evaluation
AUTORES: Jorge Costa; Ricardo Rocha ;
PUBLICAÇÃO: 2008, FONTE: 24th International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 5366
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
84
TÍTULO: ILP - Just Trie it  Full Text
AUTORES: Camacho, R ; Fonseca, NA ; Rocha, R ; Costa, VS ;
PUBLICAÇÃO: 2008, FONTE: Joint Conference of the 17th International Conference on Inductive Logic Programming/24th International Conference on Machine Learning in INDUCTIVE LOGIC PROGRAMMING, VOLUME: 4894
INDEXADO EM: Scopus WOS DBLP CrossRef Handle
NO MEU: ORCID | DBLP
85
TÍTULO: k-RNN: k-Relational Nearest Neighbour Algorithm. k-relational nearest neighbour algorithm
AUTORES: Fonseca, NA ; Costa, VS ; Rocha, R ; Camacho, R ;
PUBLICAÇÃO: 2008, FONTE: 23rd Annual ACM Symposium on Applied Computing in APPLIED COMPUTING 2008, VOLS 1-3
INDEXADO EM: Scopus WOS DBLP CrossRef Handle
NO MEU: ORCID
86
TÍTULO: On the Efficient Execution of ProbLog Programs
AUTORES: Angelika Kimmig; Vitor Santos Costa ; Ricardo Rocha ; Bart Demoen; Luc De Raedt;
PUBLICAÇÃO: 2008, FONTE: 24th International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 5366
INDEXADO EM: Scopus WOS DBLP CrossRef: 22
87
TÍTULO: Thread-Based Competitive Or-Parallelism
AUTORES: Paulo Moura ; Ricardo Rocha ; Sara C Madeira ;
PUBLICAÇÃO: 2008, FONTE: 24th International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 5366
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
88
TÍTULO: Efficient and scalable induction of logic programs using a deductive database system  Full Text
AUTORES: Michel Ferreira ; Nuno A Fonseca ; Ricardo Rocha ; Tiago Scares;
PUBLICAÇÃO: 2007, FONTE: 16th International Conference on Inductive Logic Programming in Inductive Logic Programming, VOLUME: 4455
INDEXADO EM: Scopus WOS DBLP CrossRef
89
TÍTULO: On applying program transformation to implement suspension-based tabling in Prolog
AUTORES: Ricardo Rocha ; Claudio Silva; Ricardo Lopes ;
PUBLICAÇÃO: 2007, FONTE: 23rd International Conference on Logic Programming (ICLP) in Logic Programming, Proceedings, VOLUME: 4670
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
90
TÍTULO: On improving the efficiency and robustness of table storage mechanisms for tabled evaluation  Full Text
AUTORES: Ricardo Rocha ;
PUBLICAÇÃO: 2007, FONTE: 9th International Symposium on Practical Aspects of Declarative Languages in Practical Aspects of Declarative Languages, VOLUME: 4354
INDEXADO EM: Scopus WOS DBLP
Página 9 de 11. Total de resultados: 109.