1948 search results - page 165 / 390 » Formalizing Mirror Theory |
168
click to vote
ICCAD
2006
IEEE
16 years 3 months ago
2006
IEEE
In this paper, for the first time, a theory for evaluating dynamic noise margins of SRAM cells is developed analytically. The results allow predicting the transient error suscepti...
132
click to vote
TACAS
2010
Springer
16 years 1 months ago
2010
Springer
The theory BV of bit-vectors, i.e. fixed-size arrays of bits equipped with standard low-level machine instructions, is becoming very popular in formal verification. Standard solv...
180
click to vote
BIRTHDAY
2009
Springer
16 years 1 months ago
2009
Springer
Conversational dialogue systems cannot be evaluated in a fully formal manner, because dialogue is heavily dependent on context and current dialogue theory is not precise enough to ...
166
click to vote
CAV
2009
Springer
16 years 1 months ago
2009
Springer
Systems and Networks on Chips (NoCs) are a prime design focus of many hardware manufacturers. In addition to functional verification, which is a difficult necessity, the chip desi...
173
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
This paper introduces a multiagent reinforcement learning algorithm that converges with a given accuracy to stationary Nash equilibria in general-sum discounted stochastic games. ...