757 search results - page 10 / 152 » Monte Carlo Model Checking |
QEST
2009
IEEE
14 years 3 months ago
2009
IEEE
WSC
2007
13 years 11 months ago
2007
I will review the role that Monte Carlo methods play in the physical sciences. They are very widely used for a number of reasons: they permit the rapid and faithful transformation...
SBACPAD
2006
IEEE
14 years 2 months ago
2006
IEEE
Performance evaluation of contemporary processors is becoming increasingly difficult due to the lack of proper frameworks. Traditionally, cycle-accurate simulators have been exte...
CLIN
2001
13 years 10 months ago
2001
Two major stages stages in language identification systems can be identified: the language modeling stage, where the distinctive features of languages are determined and stored in...
AAAI
2006
13 years 10 months ago
2006
Localization is a fundamental challenge for autonomous robotics. Although accurate and efficient techniques now exist for solving this problem, they require explicit probabilistic...