1390 search results - page 177 / 278 » Computing the depth of a flat |
128
click to vote
CC
2007
Springer
15 years 10 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...
112
click to vote
ICN
2007
Springer
15 years 10 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...
143
Voted
3DPVT
2006
IEEE
15 years 10 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...
126
click to vote
3DPVT
2006
IEEE
15 years 10 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)...
150
click to vote
LICS
2006
IEEE
15 years 10 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...