10909 search results - page 158 / 2182 » Evaluating Backup Algorithms |
127
click to vote
CAD
2004
Springer
15 years 3 months ago
2004
Springer
We present a system, ESOLID, that performs exact boundary evaluation of low-degree curved solids in reasonable amounts of time. ESOLID performs accurate Boolean operations using e...
150
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: There has been considerable effort focused on developing efficient programs for tagging single-nucleotide polymorphisms (SNPs). Many of these programs do not account f...
114
click to vote
CHARME
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. This paper describes a semantic connection between the symbolic trajectory evaluation model-checking algorithm and relational verification in higher-order logic. We prov...
158
click to vote
KDD
1998
ACM
15 years 8 months ago
1998
ACM
This paper presents an algorithm for discovering conjunction rules with high reliability from data sets. The discovery of conjunction rules, each of which is a restricted form of ...
130
click to vote
DAS
2006
Springer
15 years 7 months ago
2006
Springer
Text detection and tracking is an important step in a video content analysis system as it brings important semantic clues which is a vital supplemental source of index information....