6399 search results - page 814 / 1280 » Display Models for Visualization |
201
click to vote
CAV
2007
Springer
16 years 1 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...
199
click to vote
ECML
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Clustering has recently enjoyed progress via spectral methods which group data using only pairwise affinities and avoid parametric assumptions. While spectral clustering ...
203
click to vote
FIMH
2007
Springer
16 years 1 months ago
2007
Springer
Placement of Implantable Cardiac Defibrillator (ICD) leads in children and some adults is challenging due to anatomical factors. As a result, novel ad hoc non-transvenous implant t...
207
click to vote
3DPVT
2006
IEEE
16 years 1 months ago
2006
IEEE
We describe an interactive system that models regions of an urban environment, such as a group of tall buildings. Traditional image-based modeling methods often cannot model such ...
206
click to vote
ISRR
2005
Springer
16 years 1 months ago
2005
Springer
A vision-based automatic tracking system for ocean animals in the midwater has been demonstrated in Monterey Bay, CA. Currently, the input to this system is a measurement of relati...