2280 search results - page 397 / 456 » Dependence cluster visualization |
118
Voted
CAV
2007
Springer
15 years 10 months ago
2007
Springer
We present Hector, a software tool for combining different abstraction methods to extract sound models of heap-manipulating imperative programs with recursion. Extracted models ma...
171
click to vote
CIVR
2007
Springer
15 years 10 months ago
2007
Springer
This paper deals with a new interest points detector. Unlike most standard detectors which concentrate on the local shape of the signal, the main objective of this new operator is...
143
Voted
SCIA
2007
Springer
15 years 10 months ago
2007
Springer
Non-photorealistic rendering (NPR) techniques aim to outline the shape of objects and reduce visual clutter such as shadows and inner texture edges. As the first phase result of ou...
136
click to vote
3DPVT
2006
IEEE
15 years 10 months ago
2006
IEEE
We recently proposed a new and efficient next-bestview algorithm for 3D reconstruction of indoor scenes using active range sensing. We overcome the computation difficulty of evalu...
149
click to vote
3DPVT
2006
IEEE
15 years 10 months ago
2006
IEEE
3D imaging is a popular method for acquiring accurate models for a variety of applications. However, the size of the geometric features that can be modeled in this manner is depen...