ProfileOfResearchers

121

TÃTULO: Design, implementation, and evaluation of a dynamic compilation framework for the YAP system
AUTORES: Anderson Faustino da Silva; Vitor Santos Costa ;
PUBLICAÇÃO: 2007, FONTE: 23rd International Conference on Logic Programming (ICLP) in Logic Programming, Proceedings, VOLUME: 4670

INDEXADO EM:

Scopus

WOS

DBLP

CrossRef: 1

NO MEU:

ORCID |

DBLP

122

TÃTULO: Improving model construction of profile HMMs for remote homology detection through structural alignment Full Text
AUTORES: Juliana S Bernardes; Alberto Mr Davila; Vitor S Costa ; Gerson Zaverucha;
PUBLICAÇÃO: 2007, FONTE: BMC BIOINFORMATICS, VOLUME: 8, NÚMERO: 1

INDEXADO EM:

Scopus

WOS

DBLP

CrossRef: 13

NO MEU:

ORCID |

DBLP

123

TÃTULO: Inferring regulatory networks from time series expression data and relational data via inductive logic programming Full Text
AUTORES: Irene M Ong; Scott E Topper; David Page; Vitor Santos Costa ;
PUBLICAÇÃO: 2007, FONTE: 16th International Conference on Inductive Logic Programming in Inductive Logic Programming, VOLUME: 4455

INDEXADO EM:

Scopus

WOS

DBLP

CrossRef: 2

NO MEU:

ORCID |

DBLP

124

TÃTULO: Prolog performance on larger datasets Full Text
AUTORES: Vitor Santos Costa ;
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

CrossRef: 3

NO MEU:

ORCID |

DBLP

125

TÃTULO: Selected papers from SBLP 2007: The 11th Brazilian Symposium on Programming Languages J.UCS special issue
AUTORES: 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; ...Mais
PUBLICAÇÃO: 2007, FONTE: JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 13, NÚMERO: 6

INDEXADO EM:

Scopus

WOS

NO MEU:

ORCID

126

TÃTULO: A pipelined data-parallel algorithm for ILP
AUTORES: Fonseca, NA ; Silva, F ; Costa, VS ; Camacho, R ;
PUBLICAÇÃO: 2006, FONTE: IEEE International Conference on Cluster Computing in 2005 IEEE INTERNATIONAL CONFERENCE ON CLUSTER COMPUTING (CLUSTER)

INDEXADO EM:

Scopus

WOS

DBLP

CrossRef: 4

Handle

NO MEU:

ORCID |

DBLP

127

TÃTULO: Our experiences with optimizations in Sun's Java Just-In-Time compilers Full Text
AUTORES: Da Silva, AF; Costa, VS ;
PUBLICAÇÃO: 2006, FONTE: Journal of Universal Computer Science, VOLUME: 12, NÚMERO: 7

INDEXADO EM:

Scopus

DBLP

NO MEU:

ORCID |

DBLP

128

TÃTULO: PFORTE: Revising probabilistic FOL theories
AUTORES: Paes, A; Revoredo, K; Zaverucha, G; Costa, VS ;
PUBLICAÇÃO: 2006, FONTE: 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

INDEXADO EM:

Scopus

DBLP

CrossRef

NO MEU:

ORCID |

DBLP

129

TÃTULO: The design and implementation of the YAP compiler: An optimizing compiler for logic programming languages
AUTORES: Da Silva, AF; Costa, VS ;
PUBLICAÇÃO: 2006, FONTE: 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

INDEXADO EM:

Scopus

DBLP

CrossRef: 1

NO MEU:

ORCID |

DBLP

130