1219 search results - page 179 / 244 » Combining planning and motion planning |
ENTCS
2006
13 years 10 months ago
2006
We describe novel computational techniques for constructing induction rules for deductive synthesis proofs. Deductive synthesis holds out the promise of automated construction of ...
IJCSA
2008
13 years 9 months ago
2008
In this paper we present a practical implementation of a multiuser technical laboratory that combines Artificial Intelligence (AI) and Bluetooth (BT) techniques. The objective is ...
ICIDS
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. ENIGMA is an experimental platform for collaborative authoring of the behaviour of autonomous virtual characters in interactive narrative applications. The main objective...
ICRA
2010
IEEE
13 years 8 months ago
2010
IEEE
— The problem of simultaneous localization and mapping (SLAM) is one of the most studied in the robotics literature. Most existing approaches, however, focus on scenarios where l...
FECS
2009
13 years 7 months ago
2009
- Service Oriented Architecture (SOA) is finding increasing acceptance in industry for the design of enterprise-scale, networked applications. However, opportunities to study SOA i...