955 search results - page 78 / 191 » Model Checking Operator Procedures |
143
click to vote
ALIFE
2011
14 years 4 months 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...
124
Voted
CAV
2009
Springer
16 years 1 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...
105
Voted
SEFM
2009
IEEE
15 years 7 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...
109
click to vote
WIRTSCHAFTSINFORMATI
2007
15 years 2 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...
83
Voted
DATE
2005
IEEE
15 years 6 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...