Sciweavers

13603 search results - page 147 / 2721
» On the Computational Complexity of Cut-Reduction
Sort
View
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
ICALP
2001
Springer
15 years 10 months ago
The Complexity of Computing the Size of an Interval
Lane A. Hemaspaandra, Sven Kosub, Klaus W. Wagner