Sciweavers

10454 search results - page 286 / 2091
» Modeling the Experience of Emotion
Sort
View
JAIR
2007
127views more  JAIR 2007»
15 years 6 months ago
Learning Symbolic Models of Stochastic Domains
In this article, we work towards the goal of developing agents that can learn to act in complex worlds. We develop a a new probabilistic planning rule representation to compactly ...
Hanna M. Pasula, Luke S. Zettlemoyer, Leslie Pack ...
ASE
2004
117views more  ASE 2004»
15 years 6 months ago
Model Checking for Combined Logics with an Application to Mobile Systems
In this paper, we develop model checking procedures for three ways of combining (temporal) logics: temporalization, independent combination, and join. We prove that they are termin...
Massimo Franceschet, Angelo Montanari, Maarten de ...
AUTOMATICA
2002
72views more  AUTOMATICA 2002»
15 years 6 months ago
Quantifying the accuracy of Hammerstein model estimation
: This paper investigates the accuracy of the linear model estimate that forms a part of an overall Hammerstein model structure. A key finding here is that the process of estimatin...
Brett Ninness, Stuart Gibson
CONNECTION
2002
82views more  CONNECTION 2002»
15 years 6 months ago
A model of absolute autonomy and power: toward group effects
We present a model of absolute autonomy and power in agent systems. This absolute sense of autonomy captures the agent's liberty over an agent's preferences. Our model ch...
Henry Hexmoor
RE
2002
Springer
15 years 6 months ago
Requirements-Level Semantics and Model Checking of Object-Oriented Statecharts
perfect technology assumption, which abstracts from limitations imposed by an implementation. Statecharts describe object life cycles. Our semantics includes synchronous and asynch...
Rik Eshuis, David N. Jansen, Roel Wieringa