5216 search results - page 817 / 1044 » Planning as Model Checking |
174
click to vote
JMLR
2010
15 years 1 months ago
2010
Round-based games are an instance of discrete planning problems. Some of the best contemporary game tree search algorithms use random roll-outs as data. Relying on a good policy, ...
231
click to vote
VCBM
2010
15 years 1 months ago
2010
Virtual reality based therapy simulation meets a growing interest from the medical community due to its potential impact for the training of medical residents and the planning of ...
191
click to vote
VLUDS
2010
15 years 1 months ago
2010
In a manufacturing system (MS), a wide range of human activities are applied in production processes. The human factor plays a core role and should be incorporated into the design...
179
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
Recovering multiple point light sources from a sparse set of photographs in which objects of unknown texture can move is challenging. This is because both diffuse and specular ref...
166
click to vote
DAC
2008
ACM
16 years 7 months ago
2008
ACM
ng Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation Yan Chen Dept. of Computer Science Portland State University Portland, OR, 97207 chenyan@cs.pdx.e...