4810 search results - page 164 / 962 » Modeling Value Speculation |
197
click to vote
ATVA
2007
Springer
16 years 19 days ago
2007
Springer
This paper presents a bounded model checking algorithm for the verification of analog and mixed-signal (AMS) circuits using a satisfiability modulo theories (SMT) solver. The sys...
195
click to vote
ROBOCUP
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. Two main challenges of robot action planning in real domains are uncertain action effects and dynamic environments. In this paper, an instance-based action model is lear...
178
click to vote
JSSPP
2005
Springer
15 years 12 months ago
2005
Springer
User estimates of job runtimes have emerged as an important component of the workload on parallel machines, and can have a significant impact on how a scheduler treats different ...
154
click to vote
ATAL
2004
Springer
15 years 12 months ago
2004
Springer
Decision-theoretic models have become increasingly popular as a basis for solving agent and multiagent problems, due to their ability to quantify the complex uncertainty and prefe...
201
click to vote
EMS
2008
IEEE
15 years 8 months ago
2008
IEEE
Threat modeling plays an important role in the deployment of optimal security controls and a number of threat modeling techniques have been proposed. However, most of the existing...