5216 search results - page 334 / 1044 » Planning as Model Checking |
169
click to vote
WSE
2005
IEEE
15 years 10 months ago
2005
IEEE
Many of existing criteria for evaluating web sites quality require methods such as heuristic evaluations, or/and empirical usability tests. This paper aims at defining a quality m...
157
click to vote
ICRA
2005
IEEE
15 years 10 months ago
2005
IEEE
— This paper proposes a method for a humanoid robot to generate 3D model of the environment using a stereo vision, find a movable space using it and plan feasible locomotion onl...
133
Voted
HICSS
2003
IEEE
15 years 10 months ago
2003
IEEE
In this paper we provide a detailed and comprehensive survey of proposed approaches for network design, charting the evolution of models and techniques for the automatic planning ...
140
click to vote
ICRA
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper proposes a novel path planning algorithm of 3-D articulated robots with moving bases based on a generalized potential field model. The approach computes, similar to th...
134
click to vote
FLAIRS
2001
15 years 6 months ago
2001
Partially Observable Markov Decision Process models (POMDPs) have been applied to low-level robot control. We show how to use POMDPs differently, namely for sensorplanning in the ...