Sciweavers

    10156 search results - page 66 / 2032
    » Step by Step to Histories
    Sort
    View
    EURODAC
    1995
    IEEE
    294views VHDL» more  EURODAC 1995»
    A classification of design steps and their verification
    15 years 10 months ago
    A classification of design steps and their verification
    Download  www.cs.york.ac.uk
    Wolfgang Ecker
    claim paper
    Read More »
    VL
    1995
    IEEE
    154views Visual Languages» more  VL 1995»
    Bending the Rules: Steps Toward Semantically Enriched Graphical Rewrite Rules
    15 years 9 months ago
    Bending the Rules: Steps Toward Semantically Enriched Graphical Rewrite Rules
    Download  www.cs.colorado.edu
    Alexander Repenning
    claim paper
    Read More »
    ICML
    1991
    IEEE
    100views Machine Learning» more  ICML 1991»
    A Smallest Generalization Step Strategy
    15 years 9 months ago
    A Smallest Generalization Step Strategy
    Download  genome.jouy.inra.fr
    Claire Nedellec
    claim paper
    Read More »
    ISMIS
    1991
    Springer
    74views Artificial Intelligence» more  ISMIS 1991»
    Fully Deadline-Coupled Planning: One Step at a Time
    15 years 9 months ago
    Fully Deadline-Coupled Planning: One Step at a Time
    Download  www.cs.umd.edu
    Madhura Nirkhe, Sarit Kraus, Donald Perlis
    claim paper
    Read More »
    TPHOL
    1991
    IEEE
    108views Automated Reasoning» more  TPHOL 1991»
    First Steps Towards Automating Hardware Proofs in HOL
    15 years 9 months ago
    First Steps Towards Automating Hardware Proofs in HOL
    Download  rsg.informatik.uni-kl.de
    D ABSTRACT) Ramayya Kumar, Thomas Kropf, Klaus Schneider University of Karlsruhe,Institute of ComputerDesign and Fault Tolerance (Prof.Dr.D. Schmid) P.O. Box 6980, W-7500 Karlsruhe...
    Ramayya Kumar, Thomas Kropf, Klaus Schneider
    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.