Sciweavers

4099 search results - page 489 / 820
» A Framework for Interactive Proof
Sort
View
IROS
2008
IEEE
172views Robotics» more  IROS 2008»
16 years 1 months ago
Motion planning in urban environments: Part II
— We present the motion planning framework for an autonomous vehicle navigating through urban environments. Such environments present a number of motion planning challenges, incl...
Dave Ferguson, Thomas M. Howard, Maxim Likhachev
SEAA
2008
IEEE
16 years 1 months ago
VieCAR - Enabling Self-adaptive Collaboration Services
Novel forms of collaboration increasingly distribute control among e-workers, thereby allowing agile and autonomous collaboration. However, this requires a novel blend of infrastr...
Daniel Schall, Christoph Dorn, Schahram Dustdar, I...
CEC
2007
IEEE
16 years 1 months ago
Design and construction of organic computing systems
Abstract— The next generation of embedded computing systems will have to meet new challenges. The systems are expected to act mainly autonomously, to dynamically adapt to changin...
Hella Seebach, Frank Ortmeier, Wolfgang Reif
WACV
2007
IEEE
16 years 29 days ago
Homography-based Analysis of People and Vehicle Activities in Crowded Scenes
This paper presents an new framework for homographybased analysis of pedestrian-vehicle activity in crowded scenes. Planar homography constraint is exploited to extract view-invar...
Sangho Park, Mohan M. Trivedi
ATAL
2007
Springer
16 years 27 days ago
Dynamic semantics for agent communication languages
This paper proposes dynamic semantics for agent communication languages (ACLs) as a method for tackling some of the fundamental problems associated with agent communication in ope...
Michael Rovatsos