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...
"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...
Multi-view stereo (MVS) algorithms now produce reconstructions
that rival laser range scanner accuracy. However,
stereo algorithms require textured surfaces, and therefore
work ...
Brian Curless, Richard Szeliski, Steven M. Seitz, ...
City environments often lack textured areas, contain
repetitive structures, strong lighting changes and therefore
are very difficult for standard 3D modeling pipelines.
We prese...
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...