Sciweavers

    1578 search results - page 23 / 316
    » Induction of Stable Models
    Sort
    View
    ICCAD
    1995
    IEEE
    61views Hardware» more  ICCAD 1995»
    Stable and efficient reduction of substrate model networks using congruence transforms
    15 years 9 months ago
    Stable and efficient reduction of substrate model networks using congruence transforms
    Download  www.cs.york.ac.uk
    Kevin J. Kerns, Ivan L. Wemple, Andrew T. Yang
    claim paper
    Read More »
    ICDT
    1995
    ACM
    92views Database» more  ICDT 1995»
    A Stable Model Semantics for Behavioral Inheritance in Deductive Object Oriented Languages
    15 years 9 months ago
    A Stable Model Semantics for Behavioral Inheritance in Deductive Object Oriented Languages
    Download  integra.cs.wayne.edu
    Michele Bugliesi, Hasan M. Jamil
    claim paper
    Read More »
    118
    Voted
    EPIA
    1991
    Springer
    96views Artificial Intelligence» more  EPIA 1991»
    The Extended Stable Models of Contradiction Removal Semantics
    15 years 9 months ago
    The Extended Stable Models of Contradiction Removal Semantics
    Download  centria.di.fct.unl.pt
    Luís Moniz Pereira, José Júli...
    claim paper
    Read More »
    APBC
    2008
    213views Bioinformatics» more  APBC 2008»
    Structure-Approximating Design of Stable Proteins in 2D HP Model Fortified by Cysteine Monomers
    15 years 7 months ago
    Structure-Approximating Design of Stable Proteins in 2D HP Model Fortified by Cysteine Monomers
    Download  www.pims.math.ca
    Alireza Hadj Khodabakhshi, Ján Manuch, Aras...
    claim paper
    Read More »
    DEDS
    2007
    68views more  DEDS 2007»
    Stable Model Predictive Control for Constrained Max-Plus-Linear Systems
    15 years 5 months ago
    Stable Model Predictive Control for Constrained Max-Plus-Linear Systems
    Download  repository.tudelft.nl
    Ion Necoara, Bart De Schutter, Ton J. J. van den B...
    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.