Sciweavers

1596 search results - page 116 / 320
» Human-Guided Simple Search
Sort
View
MEDINFO
2007
126views Healthcare» more  MEDINFO 2007»
15 years 5 months ago
Knowledge Zone: A Public Repository of Peer-Reviewed Biomedical Ontologies
Reuse of ontologies is important for achieving better interoperability among health systems and relieving knowledge engineers from the burden of developing ontologies from scratch...
Kaustubh Supekar, Daniel L. Rubin, Natasha F. Noy,...
PSSS
2003
15 years 5 months ago
Extending Classical Theorem Proving for the Semantic Web
We investigate the applicability of classical resolution-based theorem proving methods for the Semantic Web. We consider several well-known search strategies, propose a general sch...
Tanel Tammet
AAAI
1994
15 years 5 months ago
Small is Beautiful: A Brute-Force Approach to Learning First-Order Formulas
We describe a method for learning formulas in firstorder logic using a brute-force, smallest-first search. The method is exceedingly simple. It generates all irreducible well-form...
Steven Minton, Ian Underwood
AAAI
1990
15 years 5 months ago
Symbolic Probabilistic Inference in Belief Networks
The Symbolic Probabilistic Inference (SPI) Algorithm [D'Ambrosio, 19891 provides an efficient framework for resolving general queries on a belief network. It applies the conc...
Ross D. Shachter, Bruce D'Ambrosio, Brendan Del Fa...
CLEF
2010
Springer
15 years 5 months ago
TALP at WePS-3 2010
In this paper we present our system and experiments at the Third Web People Search Workshop (WePS-3) task for clustering web people search documents in English. In our experiments ...
Daniel Ferrés, Horacio Rodríguez