Sciweavers

    16616 search results - page 132 / 3324
    » Extending Extended Vacuity
    Sort
    View
    CADE
    2006
    Springer
    111views Logical Reasoning» more  CADE 2006»
    Extending the TPTP Language to Higher-Order Logic with Automated Parser Generation
    16 years 4 months ago
    Extending the TPTP Language to Higher-Order Logic with Automated Parser Generation
    Download  users.soe.ucsc.edu
    Allen Van Gelder, Geoff Sutcliffe
    claim paper
    Read More »
    CADE
    2004
    Springer
    114views Logical Reasoning» more  CADE 2004»
    Efficient Algorithms for Constraint Description Problems over Finite Totally Ordered Domains: Extended Abstract
    16 years 4 months ago
    Efficient Algorithms for Constraint Description Problems over Finite Totally Ordered Domains: Extended Abstract
    Download  users.info.unicaen.fr
    Àngel J. Gil, Bruno Zanuttini, Gernot Salze...
    claim paper
    Read More »
    CADE
    2004
    Springer
    90views Logical Reasoning» more  CADE 2004»
    Reasoning with large numbers of individuals moves on: extending the instance store
    16 years 4 months ago
    Reasoning with large numbers of individuals moves on: extending the instance store
    Download  sunsite.informatik.rwth-aachen.de
    Lei Li
    claim paper
    Read More »
    STOC
    2004
    ACM
    124views Algorithms» more  STOC 2004»
    Rational secret sharing and multiparty computation: extended abstract
    16 years 4 months ago
    Rational secret sharing and multiparty computation: extended abstract
    Download  theory.stanford.edu
    Joseph Y. Halpern, Vanessa Teague
    claim paper
    Read More »
    212
    Voted
    SIGMOD
    2009
    ACM
    134views Database» more  SIGMOD 2009»
    Extending autocompletion to tolerate errors
    16 years 4 months ago
    Extending autocompletion to tolerate errors
    Download  research.microsoft.com
    Autocompletion is a useful feature when a user is doing a look up from a table of records. With every letter being typed, autocompletion displays strings that are present in the t...
    Surajit Chaudhuri, Raghav Kaushik
    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.