Sciweavers

10935 search results - page 151 / 2187
» Neural Programming Language
Sort
View
CORR
2008
Springer
103views Education» more  CORR 2008»
15 years 6 months ago
Flatness of the Energy Landscape for Horn Clauses
Abstract The Little-Hopfield neural network programmed with Horn clauses is studied. We argue that the energy landscape of the system, corresponding to the inconsistency function f...
Saratha Sathasivam, Wan Ahmad Tajuddin Wan Abdulla...
141
Voted
PPDP
2007
Springer
16 years 13 days ago
Local reasoning about storable locks
Josh Berdine