5205 search results - page 42 / 1041 » Tilings and model theory |
154
click to vote
FASE
2010
Springer
16 years 18 days ago
2010
Springer
Abstract. Abstraction is essential in the formal specification of programs. A common way of writing abstract specifications is to specify implementations in terms of basic mathem...
131
click to vote
DATE
2006
IEEE
16 years 5 days ago
2006
IEEE
— We present a probabilistic fault model that allows any number of gates in an integrated circuit to fail probabilistically. Tests for this fault model, determined using the theo...
188
click to vote
SAT
2007
Springer
16 years 6 days ago
2007
Springer
Abstract. A promising approach for model counting was recently introduced, which in theory requires the use of large random xor or parity constraints to obtain near-exact counts of...
149
Voted
KR
1994
Springer
15 years 10 months ago
1994
Springer
This paper analyzes a language for actions and the deontic modalities over actions -- i.e., the modalities permitted, forbidden and obligatory. The work is based on: (1) an action...
138
click to vote
ETS
2002
IEEE
15 years 5 months ago
2002
IEEE
There is interplay between emotions and learning, but this interaction is far more complex than previous learning theories have articulated--this interplay interacts with other re...