Sciweavers

    1008 search results - page 39 / 202
    » Canonicity!
    Sort
    View
    ASPDAC
    2005
    ACM
    122views Hardware» more  ASPDAC 2005»
    Block based statistical timing analysis with extended canonical timing model
    15 years 5 months ago
    Block based statistical timing analysis with extended canonical timing model
    Download  vlsi.ece.wisc.edu
    Lizheng Zhang, Yuhen Hu, Charlie Chung-Ping Chen
    claim paper
    Read More »
    IJCAI
    2001
    140views Artificial Intelligence» more  IJCAI 2001»
    Acquisition of Ontological Knowledge from Canonical Documents
    15 years 4 months ago
    Acquisition of Ontological Knowledge from Canonical Documents
    Download  SunSITE.Informatik.RWTH-Aachen.DE
    This paper describes experiences with quasiautomated creation of a computational ontology for maritime information from a mixed collection of source material. Based on these exper...
    Raphael M. Malyankar
    claim paper
    Read More »
    AIML
    1998
    123views Logical Reasoning» more  AIML 1998»
    Canonical Pseudo-Correspondence
    15 years 4 months ago
    Canonical Pseudo-Correspondence
    Download  staff.science.uva.nl
    Generalizing an example from (Fine 1975) and inspired by a theorem in (J
    Yde Venema
    claim paper
    Read More »
    MVA
    1990
    273views Computer Vision» more  MVA 1990»
    A Computer Vision System that Assembles Canonical Jigsaw Puzzles Using the Euclidean Skeleton and Isthmus Critical Points
    15 years 4 months ago
    A Computer Vision System that Assembles Canonical Jigsaw Puzzles Using the Euclidean Skeleton and Isthmus Critical Points
    Download  b2.cvl.iis.u-tokyo.ac.jp
    Roger W. Webster, Paul W. Ross, Paul LaFollette, R...
    claim paper
    Read More »
    CSL
    2010
    Springer
    120views Automated Reasoning» more  CSL 2010»
    Towards a Canonical Classical Natural Deduction System
    15 years 4 months ago
    Towards a Canonical Classical Natural Deduction System
    Download  w3.math.uminho.pt
    José Espírito Santo
    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.