955 search results - page 78 / 191 » Model Checking Operator Procedures |
ALIFE
2011
13 years 11 days ago
2011
This paper presents an abstract computation model of the evolution of camouflage in nature. The 2d model uses evolved textures for prey, a background texture representing the envi...
CAV
2009
Springer
14 years 9 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...
SEFM
2009
IEEE
14 years 3 months ago
2009
IEEE
Interval temporal logics are based on interval structures over linearly (or partially) ordered domains, where time intervals, rather than time instants, are the primitive ontologi...
WIRTSCHAFTSINFORMATI
2007
13 years 10 months ago
2007
It has become common place in business life that companies with related operations engage in a so-called merger in order to benefit from synergies or from combined products and se...
DATE
2005
IEEE
14 years 2 months ago
2005
IEEE
As technology scales down, the static power is expected to become a significant fraction of the total power. The exponential dependence of static power with the operating temperat...