Search Sciweavers | Sciweavers

1026 search results - page 2 / 206

» A Methodology for Equational Reasoning

click to vote

FTP
1998
Springer

214views Automated Reasoning» more FTP 1998»

An Equational Re-engineering of Set Theories

13 years 11 months ago

Download www.settheory.com

Andrea Formisano, Eugenio G. Omodeo

claim paper

Read More »

click to vote

CADE
1994
Springer

161views Logical Reasoning» more CADE 1994»

The Complexity of Counting Problems in Equational Matching

13 years 11 months ago

Download www.lix.polytechnique.fr

Miki Hermann, Phokion G. Kolaitis

claim paper

Read More »

click to vote

PLILP
1992
Springer

86views Programming Languages» more PLILP 1992»

UCG-E: An Equational Logic Programming System

13 years 11 months ago

Download homepage.cs.uri.edu

Lutz H. Hamel

claim paper

Read More »

click to vote

ICONIP
2009

107views Information Technology» more ICONIP 2009»

Application-Driven Parameter Tuning Methodology for Dynamic Neural Field Equations

13 years 4 months ago

Download www.metz.supelec.fr

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

claim paper

Read More »

click to vote

ICCBR
1999
Springer

83views Automated Reasoning» more ICCBR 1999»

A Case-Based Methodology for Planning Individualized Case Oriented Tutoring

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers