1616 search results - page 166 / 324 » A Framework for Hybrid Planning |
187
click to vote
CVPR
2004
IEEE
16 years 8 months ago
2004
IEEE
Copyright 2004 IEEE. Published in Conference on Computer Vision and Pattern Recognition (CVPR-2004), June 27 - July 2, 2004, Washington DC. Personal use of this material is permit...
161
click to vote
TVCG
2010
15 years 4 months ago
2010
—Many visualization applications benefit from displaying content on real-world objects rather than on a traditional display (e.g., a monitor). This type of visualization display ...
170
click to vote
ICRA
2003
IEEE
15 years 11 months ago
2003
IEEE
— This paper presents a general approach to specify and execute complex robot tasks considering uncertain environments. Robot tasks are defined by a precise definition of socal...
150
click to vote
ESAW
2006
Springer
15 years 10 months ago
2006
Springer
The rational agent community uses Michael Bratman's planning theory of intention as its theoretical foundation for the development of its agentoriented BDI languages. We prese...
141
click to vote
FASE
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. In this paper, we present an automata-theoretic approach to Hardware/Software (HW/SW) co-verification. We designed a co-specification framework describing HW/SW systems; ...