Sciweavers

2116 search results - page 12 / 424
» On Probabilistic Alternating Simulations
Sort
View
IDA
2010
Springer
13 years 8 months ago
Three alternative combinatorial formulations of the theory of evidence
In this paper we introduce three alternative combinatorial formulations of the theory of evidence (ToE), by proving that both plausibility and commonality functions share the stru...
Fabio Cuzzolin
WSC
1998
13 years 11 months ago
Field Applications of CORSIM: I-40 Freeway Design Evaluation, Oklahoma City, OK
Simulation of traffic flow is an effective tool for evaluating alternative roadway designs, particularly in congested urban areas. CORSIM, a traffic simulation model with detailed...
Gene Daigle, Michelle Thomas, Meenakshy Vasudevan
ICCAD
1992
IEEE
148views Hardware» more  ICCAD 1992»
14 years 2 months ago
McPOWER: a Monte Carlo approach to power estimation
Excessive power dissipation in integrated circuits causes overheating and can lead to soft errors and or permanent damage. The severity of the problem increases in proportion to t...
Richard Burch, Farid N. Najm, Ping Yang, Timothy N...
CC
1998
Springer
100views System Software» more  CC 1998»
13 years 9 months ago
Symmetric Alternation Captures BPP
We introduce the natural class SP 2 containing those languages which may be expressed in terms of two symmetric quanti ers. This class lies between P 2 and P 2 P 2 and naturall...
Alexander Russell, Ravi Sundaram