Sciweavers

892 search results - page 87 / 179
» Action respecting embedding
Sort
View
APSEC
2002
IEEE
14 years 2 months ago
Symbolic Simulation of Hybrid Systems
Continuous action systems (CAS) is a formalism intended for modeling hybrid systems (systems that combine discrete control with continuous behavior), and proving properties about ...
Ralph-Johan Back, Cristina Cerschi Seceleanu, Jan ...
ECAL
1999
Springer
14 years 2 months ago
Exploiting the Power of Sensory-Motor Coordination
One important implication of embodiment is that, by acting, agents partially determine the sensory patterns they receive from the environment. The motor actions performed by an age...
Stefano Nolfi, Domenico Parisi
AINA
2007
IEEE
14 years 1 months ago
Considering Runtime Restrictions in Self-Healing Distributed Systems
Hardware failures in autonomous and distributed software systems create the need for self-healing activities. This work addresses the problem of redeploying software components af...
Christoph Danne, Viktor Dück, Benjamin Kl&oum...
ATAL
2006
Springer
14 years 1 months ago
Trust and honour in information-based agency
An argumentation based negotiation model is supported by information theory. Argumentative dialogues change the models of agents with respect to ongoing relationships between them...
Carles Sierra, John K. Debenham
ECAI
2008
Springer
13 years 11 months ago
Reasoning about Dynamic Depth Profiles
Reasoning about perception of depth and about spatial relations between moving physical objects is a challenging problem. We investigate the representation of depth and motion by m...
Mikhail Soutchanski, Paulo Santos