2470 search results - page 131 / 494 » Liveness-Preserving Simulation Relations |
97
Voted
WSC
2007
15 years 3 months ago
2007
We study an approximation for the zero-variance change of measure to estimate the probability of a rare event in a continuous-time Markov chain. The rare event occurs when the cha...
114
Voted
WSC
2007
15 years 3 months ago
2007
Developing and analyzing schedules is essential for successfully controlling the time aspect of construction projects. The critical path method of scheduling is by far the most wi...
97
Voted
WSC
2008
15 years 3 months ago
2008
Demand forecast plays a critical role to determine capital investment for capacity planning. Given the involved uncertainties and long lead-time for capacity expansion, semiconduc...
93
Voted
WSC
2008
15 years 3 months ago
2008
Semiconductor industry is capital intensive and competitive, and thus efficiently utilizing resources to provide products and services is essential for maintaining competitive adv...
103
Voted
ATAL
2008
Springer
15 years 2 months ago
2008
Springer
We define the class of games called simulation-based games, in which the payoffs are available as an output of an oracle (simulator), rather than specified analytically or using a...