4106 search results - page 616 / 822 » A Computational Model for Metric Spaces |
173
click to vote
B
2007
Springer
16 years 25 days ago
2007
Springer
Symmetry reduction is an established method for limiting the amount of states that have to be checked during exhaustive model checking. The idea is to only verify a single represen...
201
Voted
SCALESPACE
2005
Springer
16 years 4 days ago
2005
Springer
Level-Set methods have been successfully applied to 2D and 3D boundary detection problems. The geodesic active contour model has been particularly successful. Several algorithms fo...
178
click to vote
ICCV
2003
IEEE
15 years 12 months ago
2003
IEEE
The Crossed-Slits (X-Slits) camera is defined by two nonintersecting slits, which replace the pinhole in the common perspective camera. Each point in space is projected to the im...
166
click to vote
ICCS
2003
Springer
15 years 12 months ago
2003
Springer
Sparse Grids are the basis for efficient high dimensional approximation and have recently been applied successfully to predictive modelling. They are spanned by a collection of si...
184
Voted
IPPS
2002
IEEE
15 years 11 months ago
2002
IEEE
Multiple memory module architecture enjoys higher memory access bandwidth and thus higher performance. Two key problems in gaining high performance in this kind of architecture ar...