Sciweavers

    4211 search results - page 98 / 843
    » Types as Abstract Interpretations
    Sort
    View
    87
    Voted
    POPL
    2012
    ACM
    257views Programming Languages» more  POPL 2012»
    Canonicity for 2-dimensional type theory
    13 years 11 months ago
    Canonicity for 2-dimensional type theory
    Download  www.cs.cmu.edu
    nvenient way of pattern-matching against abstract data types. Publications: Dissertation
    Daniel R. Licata, Robert Harper
    claim paper
    Read More »
    CCA
    2009
    Springer
    85views Theoretical Computer Science» more  CCA 2009»
    Realisability and Adequacy for (Co)induction
    15 years 10 months ago
    Realisability and Adequacy for (Co)induction
    Download  www.cs.swan.ac.uk
    Abstract. We prove the correctness of a formalised realisability interpretation of extensions of first-order theories by inductive and coinductive definitions in an untyped λ-ca...
    Ulrich Berger
    claim paper
    Read More »
    EACL
    2009
    ACL Anthology
    150views Natural Language Processing» more  EACL 2009»
    Deriving Generalized Knowledge from Corpora Using WordNet Abstraction
    16 years 4 months ago
    Deriving Generalized Knowledge from Corpora Using WordNet Abstraction
    Download  www.cs.rochester.edu
    ion Benjamin Van Durme, Phillip Michalak and Lenhart K. Schubert Department of Computer Science University of Rochester Rochester, NY 14627, USA Existing work in the extraction of...
    Benjamin Van Durme, Phillip Michalak, Lenhart Schu...
    claim paper
    Read More »
    113
    Voted
    FIWAC
    1993
    152views Cryptology» more  FIWAC 1993»
    Disjoint Systems (Extended Abstract)
    15 years 7 months ago
    Disjoint Systems (Extended Abstract)
    Download  www.cs.tau.ac.il
    Systems (Extended Abstract) Noga Alon ∗ Benny Sudakov Department of Mathematics Raymond and Beverly Sackler Faculty of Exact Sciences Tel Aviv University, Tel Aviv, Israel A dis...
    Noga Alon, Benny Sudakov
    claim paper
    Read More »
    SIAMJO
    2000
    69views more  SIAMJO 2000»
    A Truly Globally Convergent Newton-Type Method for the Monotone Nonlinear Complementarity Problem
    15 years 3 months ago
    A Truly Globally Convergent Newton-Type Method for the Monotone Nonlinear Complementarity Problem
    Download  pages.cs.wisc.edu
    Abstract. The Josephy
    Mikhail V. Solodov, Benar Fux Svaiter
    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.