Sciweavers

700 search results - page 68 / 140
» Combinations of Stit and Actions
Sort
View
FOSSACS
2009
Springer
14 years 4 months ago
Realizability of Concurrent Recursive Programs
Abstract. We define and study an automata model of concurrent recursive programs. An automaton consists of a finite number of pushdown systems running in parallel and communicati...
Benedikt Bollig, Manuela-Lidia Grindei, Peter Habe...
SARA
2009
Springer
14 years 4 months ago
Integrating Constraint Models for Sequential and Partial-Order Planning
Classical planning deals with finding a (shortest) sequence of actions transferring the world from its initial state to a state satisfying the goal condition. Traditional planning...
Roman Barták, Daniel Toropila
CNSR
2008
IEEE
126views Communications» more  CNSR 2008»
14 years 4 months ago
Distributed Exchange of Alerts for the Detection of Coordinated Attacks
Attacks and intrusions to information systems cause large revenue losses. The prevention of these attacks is not always possible by just considering information from isolated sour...
Joaquín García-Alfaro, Michael A. Ja...
ICRA
2008
IEEE
130views Robotics» more  ICRA 2008»
14 years 4 months ago
A natural gesture interface for operating robotic systems
Abstract— A gesture-based interaction framework is presented for controlling mobile robots. This natural interaction paradigm has few physical requirements, and thus can be deplo...
Anqi Xu, Gregory Dudek, Junaed Sattar
ICRA
2008
IEEE
128views Robotics» more  ICRA 2008»
14 years 4 months ago
Learning from human teachers with Socially Guided Exploration
— We present a learning mechanism, Socially Guided Exploration, in which a robot learns new tasks through a combination of self-exploration and social interaction. The system’s...
Cynthia Breazeal, Andrea Lockerd Thomaz