7167 search results - page 1429 / 1434 » A Technique for Invariant Generation |
162
click to vote
KCAP
2011
ACM
14 years 14 days ago
2011
ACM
Gold standard mappings created by experts are at the core of alignment evaluation. At the same time, the process of manual evaluation is rarely discussed. While the practice of ha...
96
Voted
NAR
2011
14 years 14 days ago
2011
High-throughput genomic technologies have been used to explore personal human genomes for the past few years. Although the integration of technologies is important for high-accura...
SIGMETRICS
2011
ACM
14 years 13 days ago
2011
ACM
The amount of charge stored in an SRAM cell shrinks rapidly with each technology generation thus increasingly exposing caches to soft errors. Benchmarking the FIT rate of caches d...
106
Voted
SIGMOD
2011
ACM
14 years 13 days ago
2011
ACM
Central to a data cleaning system are record matching and data repairing. Matching aims to identify tuples that refer to the same real-world object, and repairing is to make a dat...
AEOG
2011
13 years 9 months ago
2011
The generalization index system is one of the critical issues for computer-aided land use database generalization. This paper studies the scale and land use pattern effects on lan...