Sciweavers

    6047 search results - page 28 / 1210
    » Modeling with Extend
    Sort
    View
    CADE
    2001
    Springer
    105views Logical Reasoning» more  CADE 2001»
    A Model-Based Completeness Proof of Extended Narrowing and Resolution
    15 years 10 months ago
    A Model-Based Completeness Proof of Extended Narrowing and Resolution
    Download  hal.archives-ouvertes.fr
    Jürgen Stuber
    claim paper
    Read More »
    COCOON
    1995
    Springer
    111views Combinatorics» more  COCOON 1995»
    Extending the Hong-Kung Model to Memory Hierarchies
    15 years 10 months ago
    Extending the Hong-Kung Model to Memory Hierarchies
    Download  www.cs.brown.edu
    John E. Savage
    claim paper
    Read More »
    STOC
    1995
    ACM
    86views Algorithms» more  STOC 1995»
    Fast protein folding in the hydrophobic-hydrophilic model within three-eights of optimal (Extended Abstract)
    15 years 10 months ago
    Fast protein folding in the hydrophobic-hydrophilic model within three-eights of optimal (Extended Abstract)
    Download  www.cs.brown.edu
    William E. Hart, Sorin Istrail
    claim paper
    Read More »
    122
    Voted
    EPIA
    1991
    Springer
    96views Artificial Intelligence» more  EPIA 1991»
    The Extended Stable Models of Contradiction Removal Semantics
    15 years 10 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 »
    GROUP
    1991
    ACM
    93views Applied Computing» more  GROUP 1991»
    Extending electronic mail with conceptual modeling to provide group decision support
    15 years 10 months ago
    Extending electronic mail with conceptual modeling to provide group decision support
    Download  pages.cpsc.ucalgary.ca
    : This paper reports an attempt to move computer-based techniques for supporting the analysis of group cognitive processes and decision-making from being specialist applications to...
    Mildred L. G. Shaw, Brian R. Gaines
    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.