Sciweavers

3765 search results - page 304 / 753
» Qualitative Action Systems
Sort
View
ECOOP
2012
Springer
13 years 9 months ago
Enhancing JavaScript with Transactions
Abstract. Transcript is a system that enhances JavaScript with support for transactions. Hosting Web applications can use transactions to demarcate regions that contain untrusted g...
Mohan Dhawan, Chung-chieh Shan, Vinod Ganapathy
ICC
2009
IEEE
127views Communications» more  ICC 2009»
16 years 2 months ago
Security Games with Incomplete Information
—We study two-player security games which can be viewed as sequences of nonzero-sum matrix games where at each stage of the iterations the players make imperfect observations of ...
Kien C. Nguyen, Tansu Alpcan, Tamer Basar
IROS
2009
IEEE
203views Robotics» more  IROS 2009»
16 years 2 months ago
CoMutaR: A framework for multi-robot coordination and task allocation
— In multi-robot systems, task allocation and coordination are two fundamental problems that share high synergy. Although multi-robot architectures typically separate them into d...
Pedro M. Shiroma, Maria Fernando Montenegro Campos
ICCBR
2007
Springer
16 years 1 months ago
Team Playing Behavior in Robot Soccer: A Case-Based Reasoning Approach
Abstract. This paper presents extensions and improvements of previous work, where we defined a CBR system for action selection in the robot soccer domain. We show empirical result...
Raquel Ros, Ramon López de Mántaras,...
GD
2004
Springer
16 years 24 days ago
Algorithms for Drawing Media
We describe algorithms for drawing media, systems of states, tokens and actions that have state transition graphs in the form of partial cubes. Our algorithms are based on two prin...
David Eppstein