Sciweavers

16666 search results - page 26 / 3334
» Descriptive and Computational Complexity
Sort
View
CSL
2010
Springer
15 years 3 months ago
Randomisation and Derandomisation in Descriptive Complexity Theory
We study probabilistic complexity classes and questions of derandomisation from a logical point of view. For each logic L we introduce a new logic BPL, bounded error probabilistic ...
Kord Eickmeyer, Martin Grohe
126
Voted
CVIU
2004
125views more  CVIU 2004»
15 years 3 months ago
Automatic description of complex buildings from multiple images
We present an approach for detecting and describing complex buildings with flat or complex rooftops by using multiple, overlapping images of the scene. We find 3-D rooftop boundar...
Zu Whan Kim, Ramakant Nevatia
102
Voted
FSTTCS
1998
Springer
15 years 7 months ago
Descriptive Complexity and Model Checking
Neil Immerman
ISAAC
1992
Springer
82views Algorithms» more  ISAAC 1992»
15 years 7 months ago
Lowness and the Complexity of Sparse and Tally Descriptions
Vikraman Arvind, Johannes Köbler, Martin Mund...