927 search results - page 116 / 186 » A Data Abstraction Alternative to Data Structure Algorithm M... |
103
click to vote
FMCAD
2009
Springer
15 years 7 months ago
2009
Springer
—Boolean manipulation and existential quantification of numeric variables from linear arithmetic (LA) formulas is at the core of many program analysis and software model checkin...
109
click to vote
DAGSTUHL
2010
15 years 2 months ago
2010
Visualizations are well suited to communicate large amounts of complex data. With increasing resolution in the spatial and temporal domain simple imaging techniques meet their lim...
119
click to vote
VISUALIZATION
1998
IEEE
15 years 4 months ago
1998
IEEE
One common problem in the practical application of volume visualization is the proper choice of transfer functions in order to color different parts of the volume meaningfully. Th...
90
Voted
ECCV
2006
Springer
16 years 2 months ago
2006
Springer
Abstract. We are interested in diffusion PDE's for smoothing multi-valued images in an anisotropic manner. By pointing out the pros and cons of existing tensor-driven regulari...
103
click to vote
ISVC
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We present an appearance-based 3D hand posture estimation method that determines a ranked set of possible hand posture candidates from an unmarked hand image, based on an...