5316 search results - page 1041 / 1064 » Which Search Problems Are Random |
92
Voted
CAV
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Contract-based property checkers hold the potential for precise, scalable, and incremental reasoning. However, it is difficult to apply such checkers to large program mod...
103
Voted
CAV
2009
Springer
16 years 1 months ago
2009
Springer
Counter Abstraction for Concurrent Software G?erard Basler1 , Michele Mazzucchi1 , Thomas Wahl1,2 , Daniel Kroening1,2 1 Computer Systems Institute, ETH Zurich, Switzerland 2 Compu...
102
Voted
KDD
2005
ACM
16 years 1 months ago
2005
ACM
Dyadic data matrices, such as co-occurrence matrix, rating matrix, and proximity matrix, arise frequently in various important applications. A fundamental problem in dyadic data a...
87
Voted
RECOMB
2002
Springer
16 years 1 months ago
2002
Springer
There has been considerable recent interest in the use of haplotype structure to aid in the design and analysis of case-control association studies searching for genetic predictors...
180
Voted
SIGMOD
2007
ACM
16 years 26 days ago
2007
ACM
Sensor networks are widely used in many applications for collecting information from the physical environment. In these applications, it is usually necessary to track the relation...