Sciweavers

3406 search results - page 109 / 682
» Computational models of classical conditioning
Sort
View
AI
2008
Springer
15 years 4 months ago
Semiring induced valuation algebras: Exact and approximate local computation algorithms
Local computation in join trees or acyclic hypertrees has been shown to be linked to a particular algebraic structure, called valuation algebra. There are many models of this alge...
Jürg Kohlas, Nic Wilson
GI
2004
Springer
15 years 9 months ago
A Scalable Architecture for Multiplayer Computer Games
: The concept of Massively Multiplayer Games (MMG) recently has spread into all classical genres of real-time computer games. This paper summarizes our work on a novel proxy server...
Jens Müller 0004, Sergei Gorlatch
ATVA
2010
Springer
284views Hardware» more  ATVA 2010»
15 years 5 months ago
YAGA: Automated Analysis of Quantitative Safety Specifications in Probabilistic B
Probabilistic B (pB) [2, 8] extends classical B [7] to incorporate probabilistic updates together with the specification of quantitative safety properties. As for classical B, prob...
Ukachukwu Ndukwu, A. K. McIver
RTSS
2003
IEEE
15 years 9 months ago
Periodic Resource Model for Compositional Real-Time Guarantees
We address the problem of providing compositional hard real-time guarantees in a hierarchy of schedulers. We first propose a resource model to characterize a periodic resource al...
Insik Shin, Insup Lee
120
Voted
ICPADS
2005
IEEE
15 years 10 months ago
Systematic Performance Modeling and Characterization of Heterogeneous IP Networks
Accurate measurement and modeling of IP networks is essential for network design, planning, and management. Efforts are being made to detect the state of the network from end-to-e...
Alessio Botta, Donato Emma, Antonio Pescapè...