7991 search results - page 111 / 1599 » Using More Reasoning to Improve |
151
click to vote
FPGA
2007
ACM
16 years 1 days ago
2007
ACM
Boolean matching (BM) is a widely used technique in FPGA resynthesis and architecture evaluation. In this paper we present several improvements to the recently proposed SAT-based ...
191
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Alternative splicing is a major contributor to the diversity of eukaryotic transcriptomes and proteomes. Currently, large scale detection of alternative splicing using...
217
click to vote
BMCBI
2011
14 years 9 months ago
2011
Background: Rapid annotation and comparisons of genomes from multiple isolates (pan-genomes) is becoming commonplace due to advances in sequencing technology. Genome annotations c...
159
click to vote
KDD
2008
ACM
16 years 6 months ago
2008
ACM
This paper addresses the repeated acquisition of labels for data items when the labeling is imperfect. We examine the improvement (or lack thereof) in data quality via repeated la...
172
click to vote
COMCOM
2007
15 years 5 months ago
2007
In these years, the security problem becomes more important to everyone using computers. However, vulnerabilities on computers are found so frequently that system managers can not...