Sciweavers

3428 search results - page 90 / 686
» Making the Case
Sort
View
CORR
2006
Springer
140views Education» more  CORR 2006»
14 years 10 months ago
Nearly optimal exploration-exploitation decision thresholds
While in general trading off exploration and exploitation in reinforcement learning is hard, under some formulations relatively simple solutions exist. Optimal decision thresholds ...
Christos Dimitrakakis
62
Voted
WEA
2005
Springer
86views Algorithms» more  WEA 2005»
15 years 4 months ago
Optimal Competitive Online Ray Search with an Error-Prone Robot
We consider the problem of finding a door along a wall with a blind robot that neither knows the distance to the door nor the direction towards of the door. This problem can be so...
Thomas Kamphans, Elmar Langetepe
ISAAC
1999
Springer
107views Algorithms» more  ISAAC 1999»
15 years 2 months ago
Carrying Umbrellas: An Online Relocation Problem on Graphs
We introduce an online relocation problem on a graph, in which a player who walks around the nodes makes decisions on whether to relocate mobile resources, while not knowing the fu...
Jae-Ha Lee, Chong-Dae Park, Kyung-Yong Chwa
IJCAI
2007
14 years 12 months ago
Some Effects of a Reduced Relational Vocabulary on the Whodunit Problem
A key issue in artificial intelligence lies in finding the amount of input detail needed to do successful learning. Too much detail causes overhead and makes learning prone to ove...
Daniel T. Halstead, Kenneth D. Forbus
ENTCS
2008
106views more  ENTCS 2008»
14 years 10 months ago
Verifying Test-Hypotheses: An Experiment in Test and Proof
HOL-TestGen is a specification and test case generation environment extending the interactive theorem prover Isabelle/HOL. The HOL-TestGen method is two-staged: first, the origina...
Achim D. Brucker, Lukas Brügger, Burkhart Wol...