2593 search results - page 407 / 519 » Algorithms and Data Structures for Computer Topology |
113
click to vote
IPMI
2005
Springer
16 years 3 months ago
2005
Springer
Abstract. We present a new method for computing an optimal deformation between two arbitrary surfaces embedded in Euclidean 3-dimensional space. Our main contribution is in buildin...
110
click to vote
SPIRE
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. A compressed full-text self-index for a text T is a data structure requiring reduced space and able of searching for patterns P in T. Furthermore, the structure can repro...
88
Voted
SODA
2001
ACM
15 years 3 months ago
2001
ACM
Most information-retrieval systems preprocess the data to produce an auxiliary index structure. Empirically, it has been observed that there is a tradeoff between query response t...
116
Voted
BIOINFORMATICS
2006
15 years 2 months ago
2006
Motivation: Protein-protein interaction networks are one of the major post-genomic data sources available to molecular biologists. They provide a comprehensive view of the global ...
130
click to vote
ICTAC
2010
Springer
15 years 10 days ago
2010
Springer
We consider software verification of imperative programs by theorem proving in higher-order separation logic. Of particular interest are the difficulties of encoding and reasoning ...