3174 search results - page 109 / 635 » An Exploration of the Permanent-Determinant Method |
214
click to vote
NN
2007
Springer
15 years 6 months ago
2007
Springer
Reinforcement learning is based on exploration of the environment and receiving reward that indicates which actions taken by the agent are good and which ones are bad. In many app...
156
click to vote
IJRR
2000
15 years 6 months ago
2000
This paper prescribes an incremental procedure to construct roadmaps of unknown environments. Recall that a roadmap is a geometric structure that a robot uses to plan a path betwe...
204
click to vote
SPIN
2000
Springer
15 years 10 months ago
2000
Springer
Systematic state-space exploration is a powerful technique for veri cation of concurrent software systems. Most work in this area deals with manually-constructed models of those sy...
177
click to vote
HIS
2004
15 years 7 months ago
2004
: A-scans from ultrasonic testing of long shafts are complex signals. The discrimination of different types of echoes is of importance for non-destructive testing and equipment mai...
208
click to vote
PSTV
1992
15 years 7 months ago
1992
We study the effect of three new reduction strategies for conventional reachability analysis, as used in automated protocol validation algorithms. The first two strategies are imp...