98 search results - page 9 / 20 » Some Experiments with Real-time Decision Algorithms |
104
click to vote
DAC
2004
ACM
16 years 19 days ago
2004
ACM
Bounded Model Checking (BMC) relies on solving a sequence of highly correlated Boolean satisfiability (SAT) problems, each of which corresponds to the existence of counter-example...
ICANN
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. This article presents a comprehensive study of different ensemble pruning techniques applied to a bagging ensemble composed of decision stumps. Six different ensemble p...
100
click to vote
CIKM
2009
Springer
15 years 6 months ago
2009
Springer
Ranking is a key problem in many information retrieval (IR) applications, such as document retrieval and collaborative filtering. In this paper, we address the issue of learning ...
106
click to vote
CADE
2005
Springer
15 years 12 months ago
2005
Springer
We present a fully proof-producing implementation of a quantifier elimination procedure for real closed fields. To our knowledge, this is the first generally useful proof-producing...
118
click to vote
ICRA
2008
IEEE
15 years 6 months ago
2008
IEEE
— Social robots face the fundamental challenge of detecting and adapting their behavior to the current social mood. For example, robots that assist teachers in early education mu...