3119 search results - page 306 / 624 » General Default Logic |
163
click to vote
GECCO
2007
Springer
16 years 27 days ago
2007
Springer
This paper shows that the evolutionary design of digital circuits which is conducted at the gate level is able to produce human-competitive circuits at the transistor level. In ad...
199
click to vote
LFCS
2007
Springer
16 years 26 days ago
2007
Springer
We present a general algorithm scheme for model checking logics of knowledge, common knowledge and linear time, based on simulations to a class of structures that capture the way t...
184
click to vote
PPDP
2007
Springer
16 years 26 days ago
2007
Springer
We give a denotational semantics to a region-based effect system tracking reading, writing and allocation in a higher-order language with dynamically allocated integer references....
191
click to vote
PPDP
2007
Springer
16 years 26 days ago
2007
Springer
We describe a semantic type soundness result, formalized in the Coq proof assistant, for a compiler from a simple imperative language with heap-allocated data into an idealized as...
181
click to vote
ACL2
2006
ACM
16 years 21 days ago
2006
ACM
We describe a new procedure for verifying ACL2 properties about finite state machines (FSMs) using satisfiability (SAT) solving. We present an algorithm for converting ACL2 conj...