757 search results - page 84 / 152 » Monte Carlo Model Checking |
120
Voted
ICML
2005
IEEE
16 years 3 months ago
2005
IEEE
In this paper we consider sampling based fitted value iteration for discounted, large (possibly infinite) state space, finite action Markovian Decision Problems where only a gener...
142
Voted
ICIAP
2005
ACM
16 years 2 months ago
2005
ACM
This paper presents the scatter search particle filter (SSPF) algorithm and its application to real-time hands and face tracking. SSPF combines sequential Monte Carlo (particle fil...
114
click to vote
ISQED
2009
IEEE
15 years 9 months ago
2009
IEEE
A system-level statistical analysis methodology is described that captures the impact of inter- and intra-die process variations for read timing failures in SRAM circuit blocks. U...
89
Voted
DAC
2009
ACM
15 years 9 months ago
2009
ACM
This paper proposes an equation-based multi-scenario iterative robust optimization methodology for analog/mixed-signal circuits. We show that due to local circuit performance mono...
91
Voted
KBSE
2009
IEEE
15 years 9 months ago
2009
IEEE
SEESAW combines AI search tools, a Monte Carlo simulator, and some software process models. We show here that, when selecting technologies for a software project, SEESAW out-perfo...