1361 search results - page 5 / 273 » Simulation for recurring decisions |
DAM
2008
14 years 9 months ago
2008
We prove that binary decision diagrams [1] can be polynomially simulated by the extended resolution rule of [2]. More precisely, for any unsatisfiable formula , there exists an ex...
WSC
2008
14 years 12 months ago
2008
Tunnel construction are essentially infrastructure projects that includes many interfered and sophisticated tasks. This paper presents a decision support tool, Tunnel_Sim, for pla...
DATE
1999
IEEE
15 years 2 months ago
1999
IEEE
This paper addresses the problem of efficient functional simulation of synchronous digital systems. A technique based on the use of Decision Diagrams (DD) for representing the fun...
BPM
2007
Springer
15 years 3 months ago
2007
Springer
Contemporary business process simulation environments are geared towards design-time analysis, rather than operational decision support over already deployed and running processes....
WSC
2008
14 years 12 months ago
2008
In this paper we present the use of "what-if"-analysis in simulation games for spatial decision making by introducing the concept of multiple worlds. We expect that &quo...