789 search results - page 108 / 158 » A Formal Model for Epistemic Interactions |
ENTCS
2006
13 years 8 months ago
2006
We deal with temporal aspects of distributed systems, introducing and studying a new model called timed distributed -calculus. This model extends distributed -calculus with timers...
IJDMB
2008
13 years 8 months ago
2008
: Recently lots of studies aim at modeling and inferring gene networks. Modeling tools propose graphical models having almost nothing about time description of events and regards t...
JMLR
2010
13 years 2 months ago
2010
We consider reinforcement learning as solving a Markov decision process with unknown transition distribution. Based on interaction with the environment, an estimate of the transit...
CSCWD
2001
Springer
14 years 14 days ago
2001
Springer
The authors have developed a new approach to database interoperability using the sketch data model. That technique has now been used in a number of applications, but an important ...
CGF
2011
12 years 11 months ago
2011
The complexity and detail of geometric scenes that are used in today’s computer animated films and interactive games have reached a level where the manual creation by tradition...