9067 search results - page 844 / 1814 » Adaptive Model Checking |
166
click to vote
WSC
2000
15 years 9 months ago
2000
Defeat mechanisms are strategies for achieving victory over an opponent. Although defeat mechanisms often rely on influencing the opponent psychologically and emotionally, most si...
177
click to vote
JSW
2008
15 years 7 months ago
2008
The central idea in reference modeling is the reutilization of the business knowledge contained in a reference model. The user's task in reference model-based construction is ...
213
click to vote
IAT
2010
IEEE
15 years 5 months ago
2010
IEEE
-- In this paper it is explored whether personalisation of an existing computational model of attention can increase the model's validity. Computational models of attention ar...
212
click to vote
ISCA
2007
IEEE
16 years 2 months ago
2007
IEEE
With increasing speed and power density, high-performance memories, including FB-DIMM (Fully Buffered DIMM) and DDR2 DRAM, now begin to require dynamic thermal management (DTM) a...
215
click to vote
CAV
2009
Springer
16 years 8 months ago
2009
Springer
Quantifier reasoning in Satisfiability Modulo Theories (SMT) is a long-standing challenge. The practical method employed in modern SMT solvers is to instantiate quantified formulas...