Sciweavers

    1026 search results - page 2 / 206
    » A Methodology for Equational Reasoning
    Sort
    View
    FTP
    1998
    Springer
    214views Automated Reasoning» more  FTP 1998»
    An Equational Re-engineering of Set Theories
    15 years 8 months ago
    An Equational Re-engineering of Set Theories
    Download  www.settheory.com
    Andrea Formisano, Eugenio G. Omodeo
    claim paper
    Read More »
    110
    Voted
    CADE
    1994
    Springer
    161views Logical Reasoning» more  CADE 1994»
    The Complexity of Counting Problems in Equational Matching
    15 years 8 months ago
    The Complexity of Counting Problems in Equational Matching
    Download  www.lix.polytechnique.fr
    Miki Hermann, Phokion G. Kolaitis
    claim paper
    Read More »
    116
    Voted
    PLILP
    1992
    Springer
    86views Programming Languages» more  PLILP 1992»
    UCG-E: An Equational Logic Programming System
    15 years 8 months ago
    UCG-E: An Equational Logic Programming System
    Download  homepage.cs.uri.edu
    Lutz H. Hamel
    claim paper
    Read More »
    ICONIP
    2009
    107views Information Technology» more  ICONIP 2009»
    Application-Driven Parameter Tuning Methodology for Dynamic Neural Field Equations
    15 years 1 months ago
    Application-Driven Parameter Tuning Methodology for Dynamic Neural Field Equations
    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 »
    102
    Voted
    ICCBR
    1999
    Springer
    83views Automated Reasoning» more  ICCBR 1999»
    A Case-Based Methodology for Planning Individualized Case Oriented Tutoring
    15 years 8 months ago
    A Case-Based Methodology for Planning Individualized Case Oriented Tutoring
    Download  www.docs-n-drugs.de
    Alexander Seitz
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.