5414 search results - page 927 / 1083 » Data representation synthesis |
133
click to vote
SEFM
2005
IEEE
15 years 9 months ago
2005
IEEE
Verification of programs requires reasoning about sets of program states. In case of programs manipulating pointers, program states are pointer graphs. Verification of such prog...
116
click to vote
SMI
2005
IEEE
15 years 9 months ago
2005
IEEE
We present an approach to hierarchically encode the topology of functions over triangulated surfaces. We describe the topology of a function by its Morse-Smale complex, a well kno...
139
Voted
VISUALIZATION
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper presents a novel approach for surface reconstruction from point clouds. The proposed technique is general in the sense that it naturally handles both manifold and non-m...
153
click to vote
WACV
2005
IEEE
15 years 9 months ago
2005
IEEE
We present an approach for persistent tracking of moving objects observed by non-overlapping and moving cameras. Our approach robustly recovers the geometry of non-overlapping vie...
147
Voted
GROUP
2005
ACM
15 years 9 months ago
2005
ACM
In distributed software development, two sorts of dependencies can arise. The structure of the software system itself can create dependencies between software elements, while the ...