2116 search results - page 43 / 424 » On Probabilistic Alternating Simulations |
WSC
2007
14 years 14 days ago
2007
During service engagements, project managers frequently encounter resource constraint issues. For each resource shortfall encountered, a project manager must decide among a narrow...
WSC
2008
14 years 14 days ago
2008
Life cycle cost is an essential approach to decide on alternative rehabilitation strategies for infrastructure systems. Monte Carlo simulation approach is used to develop a stocha...
IWEC
2008
13 years 11 months ago
2008
The ability to simulate a seaport environment, including illicit cargo and the sensors designed to detect such cargo, allows the evaluation of alternative detection methods in orde...
IANDC
2006
13 years 10 months ago
2006
We propose a modular approach to defining notions of simulation, and modal logics which characterise them. We use coalgebras to model state-based systems, relators to define notio...
WSCG
2004
13 years 11 months ago
2004
The classical formulation of large displacement visco-elasticity requires the geometrically nonlinear Green tensor. Keeping track of the rotational part of strain permits alternat...