Sciweavers

3084 search results - page 408 / 617
» Learning to Take Actions
Sort
View
BIRTHDAY
2005
Springer
15 years 11 months ago
Timing the Untimed: Terminating Successfully While Being Conservative
Abstract. There have been several timed extensions of ACP-style process algebras with successful termination. None of them, to our knowledge, are equationally conservative (ground-...
Jos C. M. Baeten, Mohammad Reza Mousavi, Michel A....
CONTEXT
2005
Springer
15 years 11 months ago
Gaps between rules and uses of the road
Regarding the high rate of transgressions of the Highway Code, the paper is about how do road users agree to be exposed to such risks? We consider that this issue must be addressed...
Mary Bazire, Patrick Brézillon, Brigitte Ca...
DALT
2005
Springer
15 years 11 months ago
Complete Axiomatizations of Finite Syntactic Epistemic States
An agent who bases his actions upon explicit logical formulae has at any given point in time a finite set of formulae he has computed. Closure or consistency conditions on this se...
Thomas Ågotnes, Michal Walicki
EMSOFT
2005
Springer
15 years 11 months ago
QoS control for optimality and safety
We propose a method for fine grain QoS control of real-time applications. The method allows adapting the overall system behavior by adequately setting the quality level parameter...
Jacques Combaz, Jean-Claude Fernandez, Thierry Lep...
IVA
2005
Springer
15 years 11 months ago
Using Real Objects to Communicate with Virtual Characters
We present an interactive installation with life-size virtual agents that inform, entertain, encourage, and assist visitors during the process of building a car. It will be install...
Patrick Gebhard, Martin Klesen