Sciweavers

2214 search results - page 108 / 443
» Complexity of Reasoning
Sort
View
FOMI
2009
15 years 1 months ago
Supporting the Development of Medical Ontologies
Ontologies are widely used in the biomedical community, which has built standard reference ontologies for various aspects of medicine. These projects have produced broad descriptio...
David Corsar, Laura Moss, Derek H. Sleeman, Malcol...
150
Voted
LICS
2010
IEEE
15 years 1 months ago
On the Scope of the Universal-Algebraic Approach to Constraint Satisfaction
The universal-algebraic approach has proved a powerful tool in the study of the computational complexity of constraint satisfaction problems (CSPs). This approach has previously b...
Manuel Bodirsky, Martin Hils, Barnaby Martin
ICLP
1995
Springer
15 years 6 months ago
WAMCC: Compiling Prolog to C
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...
Philippe Codognet, Daniel Diaz
103
Voted
GIS
2010
ACM
15 years 1 months ago
Scalable shortest paths browsing on land surface
The growing popularity of online Earth visualization tools and geo-realistic games and the availability of high resolution terrain data have motivated a new class of queries to th...
Songhua Xing, Cyrus Shahabi
LOGCOM
2008
133views more  LOGCOM 2008»
15 years 3 months ago
Linking Semantic and Knowledge Representations in a Multi-Domain Dialogue System
We describe a two-layer architecture for supporting semantic interpretation and domain reasoning in dialogue systems. Building systems that support both semantic interpretation an...
Myroslava Dzikovska, James F. Allen, Mary D. Swift