3384 search results - page 341 / 677 » More Testable Properties |
178
click to vote
AAAI
1993
15 years 8 months ago
1993
Roughly speaking, adequatness is the property of a theorem proving method to solve simpler problems faster than more difficult ones. Automated inferencing methods are often not ad...
161
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
In this paper, we study a maximum likelihood estimation (MLE) approach to preference aggregation and voting when the set of alternatives has a multi-issue structure, and the voter...
178
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Feature selection techniques are critical to the analysis of high dimensional datasets. This is especially true in gene selection from microarray data which are common...
168
click to vote
COMCOM
2008
15 years 6 months ago
2008
Peer-to-peer (P2P) dissemination systems are vulnerable to attacks that may impede nodes from receiving data in which they are interested. The same properties that lead P2P system...
179
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Benchmarking algorithms in structural bioinformatics often involves the construction of datasets of proteins with given sequence and structural properties. The SCOP da...