9405 search results - page 325 / 1881 » Computing a Model of Set Theory |
118
click to vote
DATE
2006
IEEE
15 years 11 months ago
2006
IEEE
Abstract: This paper addresses the problem of equivalence veriļ¬cation of RTL descriptions that implement arithmetic computations (add, mult, shift) over bitvectors that have diļ¬...
140
Voted
IUI
2003
ACM
15 years 10 months ago
2003
ACM
We present a probabilistic model, based on Dynamic Decision Networks, to assess user affect from possible causes of emotional arousal. The model relies on the OCC cognitive theory...
142
Voted
AAAI
2010
15 years 6 months ago
2010
In this paper, we propose a translation from normal first-order logic programs under the answer set semantics to first-order theories on finite structures. Specifically, we introd...
147
Voted
SAC
2006
ACM
15 years 11 months ago
2006
ACM
: In chip design, one of the main objectives is to decrease its clock cycle; however, the existing approaches to timing analysis under uncertainty are based on fundamentally restri...
171
click to vote
SIGECOM
2006
ACM
15 years 11 months ago
2006
ACM
Games may be represented in many diļ¬erent ways, and diļ¬erent representations of games aļ¬ect the complexity of problems associated with games, such as ļ¬nding a Nash equilib...