1390 search results - page 177 / 278 » Computing the depth of a flat |
CC
2007
Springer
15 years 4 months ago
2007
Springer
We present a unification-based, context-sensitive escape and effect analysis that infers lightweight method summaries describing heap effects. The analysis is parameterized on two...
ICN
2007
Springer
15 years 4 months ago
2007
Springer
—PlanetLab is a globally distributed overlay platform that has been increasingly used by researchers to deploy and assess planetary-scale network services. This paper analyzes so...
3DPVT
2006
IEEE
15 years 4 months ago
2006
IEEE
We present an algorithm for generating panoramic images of complex scenes from a multi-sensor camera. We further present a programmable graphics hardware implementation to process...
3DPVT
2006
IEEE
15 years 4 months ago
2006
IEEE
In this paper we address the problem of recovering structure and motion from a large number of intrinsically calibrated perspective cameras. We describe a method that combines (1)...
LICS
2006
IEEE
15 years 4 months ago
2006
IEEE
Treewidth measures the ”tree-likeness” of structures. Many NP-complete problems, e.g., propositional satisfiability, are tractable on bounded-treewidth structures. In this wo...