Sciweavers

    1253 search results - page 6 / 251
    » order 2000
    Sort
    View
    IANDC
    2000
    53views more  IANDC 2000»
    On the Undecidability of Second-Order Unification
    15 years 2 months ago
    On the Undecidability of Second-Order Unification
    Download  www.iiia.csic.es
    Jordi Levy, Margus Veanes
    claim paper
    Read More »
    INFORMS
    2000
    46views more  INFORMS 2000»
    An Ant Colony System Hybridized with a New Local Search for the Sequential Ordering Problem
    15 years 2 months ago
    An Ant Colony System Hybridized with a New Local Search for the Sequential Ordering Problem
    Download  www.idsia.ch
    Luca Maria Gambardella, Marco Dorigo
    claim paper
    Read More »
    JAR
    2000
    87views more  JAR 2000»
    Managing Structural Information by Higher-Order Colored Unification
    15 years 2 months ago
    Managing Structural Information by Higher-Order Colored Unification
    Download  kwarc.info
    Dieter Hutter, Michael Kohlhase
    claim paper
    Read More »
    JSYML
    2000
    45views more  JSYML 2000»
    Topological Completeness for Higher-Order Logic
    15 years 2 months ago
    Topological Completeness for Higher-Order Logic
    Download  www.brics.dk
    Steven Awodey, Carsten Butz
    claim paper
    Read More »
    NECO
    2000
    55views more  NECO 2000»
    Clustering Irregular Shapes Using High-Order Neurons
    15 years 2 months ago
    Clustering Irregular Shapes Using High-Order Neurons
    Download  www.cs.umass.edu
    Hod Lipson, Hava T. Siegelmann
    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.