3965 search results - page 162 / 793 » Effectivity of Regular Spaces |
165
click to vote
AMAST
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. State space explosion is the hardest challenge to the effective application of model checking methods. We present a new technique for achieving drastic state space reduct...
170
click to vote
DEXA
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Nearest neighbor search has a wide variety of applications. Unfortunately, the majority of search methods do not scale well with dimensionality. Recent efforts have been ...
231
click to vote
GRAPHICSINTERFACE
2004
15 years 7 months ago
2004
We propose a novel approach for a dense texture-based visualization of vector fields on curved surfaces. Our texture advection mechanism relies on a Lagrangian particle tracing th...
171
click to vote
GRAPHICSINTERFACE
2003
15 years 7 months ago
2003
Interactive fisheye views use distortion to show both local detail and global context in the same display space. Although fisheyes allow the presentation and inspection of large d...
161
click to vote
JGTOOLS
2008
15 years 6 months ago
2008
Interactive volume rendering methods such as texture-based slicing techniques and ray-casting have been well developed in recent years. The rendering performance is generally restr...