Sciweavers

1993 search results - page 132 / 399
» On Action Theory Change
Sort
View
108
Voted
CDC
2010
IEEE
160views Control Systems» more  CDC 2010»
14 years 7 months ago
Adaptive bases for Q-learning
Abstract-- We consider reinforcement learning, and in particular, the Q-learning algorithm in large state and action spaces. In order to cope with the size of the spaces, a functio...
Dotan Di Castro, Shie Mannor
ESOP
2009
Springer
15 years 7 months ago
Global Principal Typing in Partially Commutative Asynchronous Sessions
We generalise a theory of multiparty session types for the π-calculus through asynchronous communication subtyping, which allows partial commutativity of actions with maximal fle...
Dimitris Mostrous, Nobuko Yoshida, Kohei Honda
95
Voted
LICS
2008
IEEE
15 years 7 months ago
On the Axiomatizability of Impossible Futures: Preorder versus Equivalence
We investigate the (in)equational theory of impossible futures semantics over the process algebra BCCSP. We prove that no finite, sound axiomatization for BCCSP modulo impossible...
Taolue Chen, Wan Fokkink
ABIALS
2008
Springer
15 years 7 months ago
Neural Pathways of Embodied Simulation
Simulation theories have in recent years proposed that a cognitive agent's "inner world" can at least partly be constituted by internal emulations or simulations of ...
Henrik Svensson, Anthony F. Morse, Tom Ziemke
77
Voted
ECIS
2004
15 years 2 months ago
Seeking legitimation for an information system: a preliminary process model
This research throws light on to the role of social issues in developing a successful information system. In a case study of a community health organization, we describe how IT ma...
Donal J. Flynn, Zahid Hussain