32545 search results - page 450 / 6509 » Data Structures and Algorithms |
174
click to vote
VIS
2004
IEEE
16 years 8 months ago
2004
IEEE
In this article we explore techniques to detect and visualize features in data from molecular dynamics (MD) simulations. Although the techniques proposed are general, we focus on ...
178
click to vote
VLDB
1998
ACM
15 years 11 months ago
1998
ACM
Numerous applications such as stock market or medical information systems require that both historical and current data be logically integrated into a temporal database. The under...
157
click to vote
ICCV
2007
IEEE
16 years 1 months ago
2007
IEEE
We present a novel level-set method for evolving open surfaces embedded in three-dimensional volumes. We adapt the method for statistical detection and segmentation of cytoarchite...
186
click to vote
ECCV
2002
Springer
16 years 9 months ago
2002
Springer
Over the last decade, a number of methods for geometric matching based on a branch-and-bound approach have been proposed. Such algorithms work by recursively subdividing transforma...
187
click to vote
DAGSTUHL
2006
15 years 8 months ago
2006
This paper presents novel language and analysis techniques that significantly speed up software model checking of data structure properties. Consider checking a red-black tree imp...