3646 search results - page 132 / 730 » Voice search for development |
236
click to vote
IJCAI
2003
15 years 7 months ago
2003
Maximum satisfiability (Max-SAT) is more general and more difficult to solve than satisfiability (SAT). In this paper, we first investigate the effectiveness of Walksat, one of th...
196
click to vote
AAAI
2010
15 years 7 months ago
2010
Bayesian inference is an appealing approach for leveraging prior knowledge in reinforcement learning (RL). In this paper we describe an algorithm for discovering different classes...
149
click to vote
CLEF
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We design and validate simulators for generating queries and relevance judgments for retrieval system evaluation. We develop a simulation framework that incorporates exis...
175
click to vote
ENTCS
2002
15 years 6 months ago
2002
Declarative debugging has been proposed as a suitable technique for developing debuggers in the context of declarative languages. However, to become really useful debuggers must b...
162
click to vote
KDD
2002
ACM
16 years 6 months ago
2002
ACM
This paper promotes the use of supervised machine learning in laboratory settings where chemists have a large number of samples to test for some property, and are interested in id...