2116 search results - page 66 / 424 » On Probabilistic Alternating Simulations |
ENTCS
2006
13 years 10 months ago
2006
This paper gives an overview of recent results concerning the modular derivation of (i) modal specification logics, (ii) notions of simulation together with logical characterisati...
ADVCS
2004
13 years 10 months ago
2004
An urn-ball probabilistic model of the labor market is developed. Agents can be employed, (voluntary or involuntary) unemployed or entrepreneurs. The analytical long run equilibri...
WSC
2007
14 years 16 days ago
2007
Network reduction techniques are mainly used with exact approaches such as factoring to compute network reliability. However, exact computation of network reliability is feasible ...
BC
1999
13 years 10 months ago
1999
An ecient new method for the exact digital simulation of time-invariant linear systems is presented. Such systems are frequently encountered as models for neuronal systems, or as s...
WSC
2008
14 years 16 days ago
2008
Cluster tools have been one of the proposed alternatives to improve operations performance in semiconductor fabrication. The benefits include high yield throughput, less contamina...