2766 search results - page 9 / 554 » Hybridizing a Logical Framework |
ICRA
2007
IEEE
14 years 4 months ago
2007
IEEE
— Given a robot model and a class of admissible environments, this paper provides a framework for automatically and verifiably composing controllers that satisfy high level task...
HYBRID
2000
Springer
14 years 1 months ago
2000
Springer
Results from classical dynamical systems are generalized to hybrid dynamical systems. The concept of limit set is introduced for hybrid systems and is used to prove new results on...
ACL
2009
13 years 7 months ago
2009
This paper proposes a novel user intention simulation method which is a data-driven approach but able to integrate diverse user discourse knowledge together to simulate various ty...
CSL
2011
Springer
13 years 4 months ago
2011
Springer
This paper proposes a novel user intention simulation method which is data-driven but can integrate diverse user discourse knowledge to simulate various types of user behaviors. A...
AGI
2008
13 years 11 months ago
2008
Rich computer simulations or quantitative models can enable an agent to realistically predict real-world behavior with precision and performance that is difficult to emulate in log...