438 search results - page 8 / 88 » New Search Heuristics for Max-CSP |
143
click to vote
CP
2007
Springer
16 years 4 days ago
2007
Springer
Constraints have played a central role in cp because they capture key substructures of a problem and efficiently exploit them to boost inference. This paper intends to do the same ...
160
click to vote
ITS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We describe a theorem prover that is used in the Why2Atlas tutoring system for the purposes of evaluating the correctness of a student’s essay and for guiding feedback ...
157
click to vote
JAIR
2007
15 years 5 months ago
2007
We present a new algorithm for probabilistic planning with no observability. Our algorithm, called Probabilistic-FF, extends the heuristic forward-search machinery of Conformant-F...
121
click to vote
ECAI
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. We introduce a new approach to spellchecking for languages with extreme phonetic irregularities. The spelling for such languages can be significantly improved if knowledg...
157
click to vote
IWANN
2005
Springer
15 years 11 months ago
2005
Springer
In this work, we suggest a new feature selection technique that lets us use the wrapper approach for finding a well suited feature set for distinguishing experiment classes in hig...