3560 search results - page 430 / 712 » Low-Fidelity Algorithm Visualization |
139
click to vote
FMCAD
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. Model checking is an automated approach to the formal verification of hardware and software. To allow model checking tools to be used by the hardware or software designer...
176
click to vote
ADC
2008
Springer
15 years 8 months ago
2008
Springer
The usefulness of a video database depends on whether the video of interest can be easily located. In this paper, we propose a video retrieval algorithm based on the integration o...
191
click to vote
MVA
2007
15 years 7 months ago
2007
In this paper we propose an image segmentation algorithm that combines region merging with spectral-based techniques. An initial partitioning of the image into primitive regions i...
175
click to vote
EGITALY
2006
15 years 7 months ago
2006
In this paper a novel algorithm for raster to vector conversion is presented. The technique is mainly devoted to vectorize digital picture maintaining an high degree of photoreali...
175
click to vote
GRAPHICSINTERFACE
2001
15 years 7 months ago
2001
We introduce a new acceleration to the standard splatting volume rendering algorithm. Our method achieves full colour (32-bit), depth-sorted and shaded volume rendering significan...