10146 search results - page 83 / 2030 » Fast FAST |
106
click to vote
CAV
2006
Springer
15 years 6 months ago
2006
Springer
Fast is a tool designed for the analysis of counter systems, i.e. automata extended with unbounded integer variables. Despite the reachability set is not recursive in general, Fast...
87
Voted
ICSC
1995
Springer
15 years 5 months ago
1995
Springer
Abstract. We present a fast resampling scheme using vector quantization. Our method di ers from prior work applying vector quantization to speeding up image and volume processing i...
131
click to vote
DAGM
2006
Springer
15 years 4 months ago
2006
Springer
In the last twenty years many approaches for contact-free measurement techniques for object surfaces and approaches for 3d object reconstruction have been proposed; but often they ...
128
click to vote
CNSR
2008
IEEE
15 years 4 months ago
2008
IEEE
The communication performance in wireless networks is often heavily influenced by failures caused by node mobility and radio disturbance. Proactive linkstate routing protocols lik...
123
click to vote
VMV
2008
15 years 3 months ago
2008
Visualization of flow on boundary surfaces from computational flow dynamics (CFD) is challenging due to the complex, adaptive resolution nature of the meshes used in the modeling ...