3954 search results - page 71 / 791 » Image-based Model Completion |
98
Voted
ESANN
2008
15 years 4 months ago
2008
We test a selection of associative memory models built with different connection strategies, exploring the relationship between the structural properties of each network and its pa...
106
Voted
APAL
2010
15 years 2 months ago
2010
We introduce a notion of Kripke model for classical logic for which we constructively prove soundness and cut-free completeness. We discuss the meaning of the new notion and its a...
105
Voted
CADE
2006
Springer
16 years 2 months ago
2006
Springer
We present a proof procedure that is complete for first-order logic, but which can also be used when searching for finite models. The procedure uses a normal form which is based on...
112
Voted
UC
2005
Springer
15 years 8 months ago
2005
Springer
We present a theoretical model for self-assembling tiles with flexible branches motivated by DNA branched junction molecules. We encode an instance of a “problem” as a pot of ...
96
Voted
DAC
1999
ACM
15 years 7 months ago
1999
ACM
IC inductance extraction generally produces either port inductances based on simplified current path assumptions or a complete partial inductance matrix. Combining either of thes...