Sciweavers

2490 search results - page 55 / 498
» Complexity of Contextual Reasoning
Sort
View
IPMI
2007
Springer
15 years 10 months 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...
124
Voted
CSL
1999
Springer
15 years 8 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
124
Voted
LPNMR
2009
Springer
15 years 10 months 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
148
Voted
AICOM
2005
97views more  AICOM 2005»
15 years 3 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
135
Voted
COSIT
2001
Springer
158views GIS» more  COSIT 2001»
15 years 8 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