7006 search results - page 1220 / 1402 » Approximation Algorithms |
125
click to vote
RECOMB
2006
Springer
16 years 5 months ago
2006
Springer
Micro-indels are small insertion or deletion events (indels) that occur during genome evolution. The study of micro-indels is important, both in order to better understand the unde...
131
click to vote
CADE
2008
Springer
16 years 5 months ago
2008
Springer
Tree automata completion is a technique for the verification of infinite state systems. It has already been used for the verification of cryptographic protocols and the prototyping...
146
click to vote
OSDI
2008
ACM
16 years 5 months ago
2008
ACM
Although queueing models have long been used to model the performance of computer systems, they are out of favor with practitioners, because they have a reputation for requiring u...
248
click to vote
SIGMOD
2009
ACM
16 years 5 months ago
2009
ACM
Whether beloved or despised, XML Schema is momentarily the only industrially accepted schema language for XML and is unlikely to become obsolete any time soon. Nevertheless, many ...
248
click to vote
SIGMOD
2006
ACM
16 years 5 months ago
2006
ACM
This paper introduces the Tuple Graph (TuG) synopses, a new class of data summaries that enable accurate selectivity estimates for complex relational queries. The proposed summari...