562 search results - page 100 / 113 » Ordered Sets in the Calculus of Data Structures |
SIGMOD
2004
ACM
15 years 9 months ago
2004
ACM
The rich dependency structure found in the columns of real-world relational databases can be exploited to great advantage, but can also cause query optimizers--which usually assum...
CSL
2010
Springer
14 years 10 months ago
2010
Springer
Deduction modulo consists in presenting a theory through rewrite rules to support automatic and interactive proof search. It induces proof search methods based on narrowing, such a...
EDBT
2008
ACM
15 years 9 months ago
2008
ACM
By comparing genomes among both closely and distally related species, comparative genomics analysis characterizes structures and functions of different genomes in both conserved a...
111
click to vote
CCCG
1998
14 years 11 months ago
1998
Molecular surface computations are often necessary in order to perform synthetic drug design. A critical step in this process is the computation and update of an exact boundary re...
CGF
2005
14 years 9 months ago
2005
In this paper we explore the algorithmic space in which stripification, simplification and geometric compression of triangulated 2-manifolds overlap. Edge-collase/uncollapse based...