5216 search results - page 516 / 1044 » Planning as Model Checking |
195
click to vote
TRANSCI
2010
15 years 1 months ago
2010
We consider the Courier Delivery Problem, a variant of the Vehicle Routing Problem with time windows in which customers appear probabilistically and their service times are uncert...
248
click to vote
ACII
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. This paper presents an expressive gesture model that generates communicative gestures accompanying speech for the humanoid robot Nao. The research work focuses mainly on ...
137
click to vote
CHI
2003
ACM
16 years 7 months ago
2003
ACM
It is accepted that changes in technology, work practices and the general socio-economic environment affect the way we plan and perform tasks. Support, opportunity and pressure fo...
170
click to vote
KBSE
2009
IEEE
16 years 1 months ago
2009
IEEE
—The analysis of stakeholder requirements is a critical aspect of software engineering. A common way of specifying stakeholder requirements is in terms of a hierarchy of goals wh...
167
click to vote
ICRA
2006
IEEE
16 years 28 days ago
2006
IEEE
Abstract— An operational space dynamic model of a redundantly actuated wheeled mobile robot taking into account the wheel-ground interaction is derived based on vehicle dynamics....