177 search results - page 10 / 36 » Combining Proof-Producing Decision Procedures |
SDM
2007
SIAM
13 years 8 months ago
2007
SIAM
Decision lists (or ordered rule sets) have two attractive properties compared to unordered rule sets: they require a simpler classification procedure and they allow for a more co...
BMCBI
2010
13 years 1 months ago
2010
Background: Genome context methods have been introduced in the last decade as automatic methods to predict functional relatedness between genes in a target genome using the patter...
CSDA
2006
13 years 6 months ago
2006
The cost-complexity pruning generates nested subtrees and selects the best one. However, its computational cost is large since it uses holdout sample or cross-validation. On the o...
CADE
2005
Springer
14 years 7 months ago
2005
Springer
We present a combination method for generating interpolants for a class of first-order theories. Using interpolant-generation procedures for individual theories as black-boxes, our...
SCIA
2005
Springer
14 years 5 days ago
2005
Springer
This work proposes to learn visual encodings of attention patterns that enables sequential attention for object detection in real world environments. The system embeds a saccadic d...