Sciweavers

2490 search results - page 55 / 498
» Complexity of Contextual Reasoning
Sort
View
IPMI
2007
Springer
16 years 4 days ago
Spine Detection and Labeling Using a Parts-Based Graphical Model
Abstract. The detection and extraction of complex anatomical structures usually involves a trade-off between the complexity of local feature extraction and classification, and th...
Stefan Schmidt, Jörg H. Kappes, Martin Bergth...
CSL
1999
Springer
15 years 10 months ago
A Road-Map on Complexity for Hybrid Logics
Hybrid languages are extended modal languages which can refer to (or even quantify over) states. Such languages are better behaved proof theoretically than ordinary modal languages...
Carlos Areces, Patrick Blackburn, Maarten Marx
LPNMR
2009
Springer
16 years 17 days ago
The Complexity of Circumscriptive Inference in Post's Lattice
Circumscription is one of the most important formalisms for reasoning with incomplete information. It is equivalent to reasoning under the extended closed world assumption, which a...
Michael Thomas
AICOM
2005
97views more  AICOM 2005»
15 years 6 months ago
The Ants' Garden: Complex interactions between populations and the scalability of qualitative models
Ecological theories often explain the behaviour of communities in terms of the underlying interactions that take place between the species that are part of the community. This clos...
Bert Bredeweg, Paulo Salles
COSIT
2001
Springer
158views GIS» more  COSIT 2001»
15 years 10 months ago
Double-Crossing: Decidability and Computational Complexity of a Qualitative Calculus for Navigation
Abstract. The Double Cross calculus has been proposed for the purpose of navigation based on qualitative information about spatial configurations. Up until now, however, no result...
Alexander Scivos, Bernhard Nebel