757 search results - page 10 / 152 » Monte Carlo Model Checking |
QEST
2009
IEEE
15 years 6 months ago
2009
IEEE
143
Voted
WSC
2007
15 years 2 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
15 years 5 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...
107
click to vote
CLIN
2001
15 years 1 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
15 years 1 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...