Sciweavers

1026 search results - page 2 / 206
» A Methodology for Equational Reasoning
Sort
View
137
Voted
FTP
1998
Springer
15 years 9 months ago
An Equational Re-engineering of Set Theories
Andrea Formisano, Eugenio G. Omodeo
130
Voted
CADE
1994
Springer
15 years 9 months ago
The Complexity of Counting Problems in Equational Matching
Miki Hermann, Phokion G. Kolaitis
131
Voted
PLILP
1992
Springer
15 years 9 months ago
UCG-E: An Equational Logic Programming System
Lutz H. Hamel
110
Voted
ICONIP
2009
15 years 3 months ago
Application-Driven Parameter Tuning Methodology for Dynamic Neural Field Equations
In this paper, a method is introduced in order to qualify the performance of dynamic neural fields (DNF). The method is applied to Amari's DNF equations, in order to drive the...
Lucian Alecu, Hervé Frezza-Buet