Search

Your search keyword '"Costa, Vitor"' showing total 1,011 results

Search Constraints

Start Over You searched for: Author "Costa, Vitor" Remove constraint Author: "Costa, Vitor"
1,011 results on '"Costa, Vitor"'

Search Results

153. On Just in Time Indexing of Dynamic Predicates in Prolog

154. Comparative Study of Classification Algorithms Using Molecular Descriptors in Toxicological DataBases

155. User Defined Indexing

156. Visually Guiding and Controlling the Search While Mining Chemical Structures

157. Partitional Clustering of Protein Sequences – An Inductive Logic Programming Approach

158. Towards Typed Prolog

159. On the Efficient Execution of ProbLog Programs

160. The Life of a Logic Programming System

163. ILP :- Just Trie It

164. Demand-Driven Indexing of Prolog Clauses

165. Design, Implementation, and Evaluation of a Dynamic Compilation Framework for the YAP System

167. Prolog Performance on Larger Datasets

169. PFORTE: Revising Probabilistic FOL Theories

170. Do all roads lead to maximal lactate steady state? Systematic reviews and multilevel Bayesian meta-analyses approach

171. Effect of warm-up in the performance of cyclic sports - Systematic review and meta-analysis

172. Different outcome of T cell acute lymphoblastic leukemia with translocation t(11;14) treated in two consecutive children leukemia group EORTC trials

173. Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs

174. A Framework for Set-Oriented Computation in Inductive Logic Programming and Its Application in Generalizing Inverse Entailment

175. Probabilistic First-Order Theory Revision from Examples

176. On Applying Tabling to Inductive Logic Programming

177. Mode Directed Path Finding

178. An Integrated Approach to Learning Bayesian Networks of Rules

179. Improving Memory Usage in the BEAM

181. On Avoiding Redundancy in Inductive Logic Programming

182. Concurrent Table Accesses in Parallel Tabled Logic Programs

183. Speculative Computations in Or-Parallel Tabled Logic Programs

184. Pruning in the Extended Andorra Model

190. Experimental Evaluation of a Caching Technique for ILP

191. On the BEAM Implementation

196. O Papel da Unidade de Ação Fiscal no combate ao Trade-Based Money Laundering

197. Avaliação da qualidade de vida de estudantes universitários brasileiros: uma revisão bibliométrica

198. Supportive care in pediatric acute myeloid leukemia:Expert-based recommendations of the NOPHO-DB-SHIP consortium

Catalog

Books, media, physical & digital resources