2333 search results - page 324 / 467 » Recursive Computational Depth |
SPIN
2010
Springer
13 years 6 months ago
2010
Springer
Pushdown systems provide a natural model of software with recursive procedure calls. We provide a tool implementing an algorithm for computing the winning regions of a pushdown par...
Book
"Artificial Intelligence (AI) is a big field, and this is a big book. We have tried to explore the full breadth of the field, which encompasses logic, probability, and continu...
CVPR
2009
IEEE
15 years 3 months ago
2009
IEEE
Multi-view stereo (MVS) algorithms now produce reconstructions
that rival laser range scanner accuracy. However,
stereo algorithms require textured surfaces, and therefore
work ...
CVPR
2009
IEEE
15 years 3 months ago
2009
IEEE
City environments often lack textured areas, contain
repetitive structures, strong lighting changes and therefore
are very difficult for standard 3D modeling pipelines.
We prese...
CVPR
1999
IEEE
14 years 10 months ago
1999
IEEE
Creating novel views by interpolating prestored images or view morphing has many applications in visual simulation. We present in this paper a new method of automatically interpol...