Sciweavers

    29 search results - page 2 / 6
    » lics 2002
    Sort
    View
    132
    Voted
    LICS
    2002
    IEEE
    88views Automated Reasoning» more  LICS 2002»
    Semantic Subtyping
    16 years 10 days ago
    Semantic Subtyping
    Download  www.cduce.org
    Alain Frisch, Giuseppe Castagna, Véronique ...
    claim paper
    Read More »
    140
    Voted
    LICS
    2002
    IEEE
    94views Automated Reasoning» more  LICS 2002»
    Separability, Expressiveness, and Decidability in the Ambient Logic
    16 years 10 days ago
    Separability, Expressiveness, and Decidability in the Ambient Logic
    Download  www-lipn.univ-paris13.fr
    Daniel Hirschkoff, Étienne Lozes, Davide Sa...
    claim paper
    Read More »
    156
    Voted
    LICS
    2002
    IEEE
    108views Automated Reasoning» more  LICS 2002»
    Description Logics: Foundations for Class-based Knowledge Representation
    16 years 10 days ago
    Description Logics: Foundations for Class-based Knowledge Representation
    Download  www.inf.unibz.it
    Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...
    claim paper
    Read More »
    170
    Voted
    VISUALIZATION
    2002
    IEEE
    105views Visualization» more  VISUALIZATION 2002»
    Case Study: Hardware-Accelerated Selective LIC Volume Rendering
    16 years 10 days ago
    Case Study: Hardware-Accelerated Selective LIC Volume Rendering
    Download  www.evl.uic.edu
    Gordon Erlebacher, David A. Yuen, Fabien Dubuffet
    claim paper
    Read More »
    ICCAD
    2002
    IEEE
    100views Hardware» more  ICCAD 2002»
    On theoretical and practical considerations of path selection for delay fault testing
    16 years 4 months ago
    On theoretical and practical considerations of path selection for delay fault testing
    Download  cadlab.ece.ucsb.edu
    Jing-Jia Liou, Li-C. Wang, Kwang-Ting Cheng
    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.