421 search results - page 45 / 85 » Extension of Ontologies Assisted by Automated Reasoning Syst... |
103
click to vote
BMCBI
2006
14 years 11 months ago
2006
Background: The rapid proliferation of biomedical text makes it increasingly difficult for researchers to identify, synthesize, and utilize developed knowledge in their fields of ...
ICCBR
1999
Springer
15 years 3 months ago
1999
Springer
Case Based Reasoning has found increasing application on the Internet as an assistant in Internet commerce stores and as a reasoning agent for online technical support. The strengt...
ISTA
2004
15 years 14 days ago
2004
Abstract: This paper presents the evidential paradigm of computer-supported mathematical assistance in "doing" mathematics and in reasoning activity. At present, the evid...
69
Voted
ICRA
2007
IEEE
15 years 5 months ago
2007
IEEE
Abstract—Automation has long been recognized as an important goal in AFM (Atomic Force Microscope) nanomanipulation research. For the precise manipulation of small particles with...
ICLP
1995
Springer
15 years 2 months ago
1995
Springer
We present the wamcc system, a Prolog compiler that translates Prolog to C via the WAM. This approach has some interesting consequences: simplicity, efficiency, portability, exten...