Sciweavers

2490 search results - page 170 / 498
» Complexity of Contextual Reasoning
Sort
View
IJCAI
1993
15 years 6 months ago
Situation Recognition: Representation and Algorithms
The situation recognition system, to which this paper is devoted, receives as input a stream of time-stamped events; it performs recognition of instances of occurring situations, ...
Christophe Dousson, Paul Gaborit, Malik Ghallab
118
Voted
GIS
2010
ACM
15 years 3 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
FOMI
2009
15 years 2 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...
CADE
2012
Springer
13 years 7 months ago
Taming Past LTL and Flat Counter Systems
Abstract. Reachability and LTL model-checking problems for flat counter systems are known to be decidable but whereas the reachability problem can be shown in NP, the best known c...
Stéphane Demri, Amit Kumar Dhar, Arnaud San...
IJCNN
2008
IEEE
15 years 11 months ago
Dynamic logic of phenomena and cognition
—Modeling of complex phenomena such as the mind presents tremendous computational complexity challenges. The neural modeling fields theory (NMF) addresses these challenges in a n...
Boris Kovalerchuk, Leonid I. Perlovsky