Sciweavers

    1008 search results - page 36 / 202
    » Canonicity!
    Sort
    View
    107
    Voted
    SIGMOD
    2004
    ACM
    110views Database» more  SIGMOD 2004»
    Canonical Abstraction for Outerjoin Optimization
    15 years 8 months ago
    Canonical Abstraction for Outerjoin Optimization
    Download  www.cs.uiuc.edu
    Jun Rao, Hamid Pirahesh, Calisto Zuzarte
    claim paper
    Read More »
    ICTAC
    2004
    Springer
    79views Applied Computing» more  ICTAC 2004»
    Nelson-Oppen, Shostak and the Extended Canonizer: A Family Picture with a Newborn
    15 years 8 months ago
    Nelson-Oppen, Shostak and the Extended Canonizer: A Family Picture with a Newborn
    Download  www.loria.fr
    Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tr...
    claim paper
    Read More »
    DSVIS
    2003
    Springer
    112views Human Computer Interaction» more  DSVIS 2003»
    Canonical Abstract Prototypes for Abstract Visual and Interaction
    15 years 8 months ago
    Canonical Abstract Prototypes for Abstract Visual and Interaction
    Download  www.foruse.com
    Larry L. Constantine
    claim paper
    Read More »
    DATE
    2002
    IEEE
    65views Hardware» more  DATE 2002»
    Taylor Expansion Diagrams: A Compact, Canonical Representation with Applications to Symbolic Verification
    15 years 8 months ago
    Taylor Expansion Diagrams: A Compact, Canonical Representation with Applications to Symbolic Verification
    Download  www.ecs.umass.edu
    Maciej J. Ciesielski, Priyank Kalla, Zhihong Zeng,...
    claim paper
    Read More »
    ISMVL
    2002
    IEEE
    90views Hardware» more  ISMVL 2002»
    A Conjunctive Canonical Expansion of Multiple-Valued Functions
    15 years 8 months ago
    A Conjunctive Canonical Expansion of Multiple-Valued Functions
    Download  web.it.kth.se
    A generalization of McMillan’s conjunctive expansion of Boolean functions [1] to the case of multiple-valued input binary-valued output functions is presented. It is based on th...
    Elena Dubrova, Petra Färm
    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.