470 search results - page 75 / 94 » Model generation for PRS-like agents |
CSFW
2002
IEEE
14 years 1 months ago
2002
IEEE
We carry forward the work described in our previous papers [3, 14, 12] on the application of data independence to the model checking of cryptographic protocols using CSP [13] and ...
DAGSTUHL
2007
13 years 10 months ago
2007
Abstract. In this paper, we consider the problem of filtering in relational hidden Markov models. We present a compact representation for such models and an associated logical par...
IVA
2007
Springer
14 years 2 months ago
2007
Springer
The current state of the art virtual characters fall far short of characters produced by skilled animators. One reason for this is that the physical behaviors of virtual characters...
PDCN
2004
13 years 9 months ago
2004
A new age of heterogeneous resource integration has begun. Next generation of integration systems will utilize different methods and techniques to achieve the vision of ubiquitous...
IFIPTCS
2010
13 years 6 months ago
2010
Abstract. We present a game-theoretic framework for modeling and solving routing problems in dynamically changing networks. The model covers the aspects of reactivity and non-termi...