16666 search results - page 26 / 3334 » Descriptive and Computational Complexity |
78
Voted
CSL
2010
Springer
14 years 11 months ago
2010
Springer
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 ...
CVIU
2004
14 years 11 months ago
2004
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...
ICLP
2007
Springer
15 years 5 months ago
2007
Springer
FSTTCS
1998
Springer
15 years 3 months ago
1998
Springer
ISAAC
1992
Springer
15 years 3 months ago
1992
Springer
