757 search results - page 10 / 152 » Monte Carlo Model Checking |
107
Voted
QEST
2009
IEEE
15 years 10 months ago
2009
IEEE
180
Voted
WSC
2007
15 years 5 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...
117
Voted
SBACPAD
2006
IEEE
15 years 9 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...
142
Voted
CLIN
2001
15 years 4 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...
106
click to vote
AAAI
2006
15 years 4 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...