Sciweavers

    2225 search results - page 353 / 445
    » Logical Structures in the Lexicon
    Sort
    View
    AIML
    2004
    90views Logical Reasoning» more  AIML 2004»
    On Notions of Completeness Weaker than Kripke Completeness
    13 years 9 months ago
    On Notions of Completeness Weaker than Kripke Completeness
    Download  www.jaist.ac.jp
    We are going to show that the standard notion of Kripke completeness is the strongest one among many provably distinct algebraically motivated completeness properties, some of whic...
    Tadeusz Litak
    claim paper
    Read More »
    CATA
    2001
    166views Computer Science» more  CATA 2001»
    Object-oriented image database model
    13 years 9 months ago
    Object-oriented image database model
    Download  paws.kettering.edu
    : In this paper we analyze some existing tools and approaches to image data modeling and we propose an Object-Oriented Image Data (OOID) model. It can be applied on a wide variety ...
    William I. Grosky, Peter L. Stanchev
    claim paper
    Read More »
    DLOG
    2001
    125views Automated Reasoning» more  DLOG 2001»
    Using Lazy Unfolding for the Computation of Least Common Subsumers
    13 years 9 months ago
    Using Lazy Unfolding for the Computation of Least Common Subsumers
    Download  www.inf.unibz.it
    For description logics with existential restrictions, the size of the least common subsumer (lcs) of concept descriptions may grow exponentially in the size of the concept descrip...
    Anni-Yasmin Turhan, Ralf Molitor
    claim paper
    Read More »
    CATA
    2003
    195views Computer Science» more  CATA 2003»
    A Genetic Algorithm Approach to Static Task Scheduling in a Reconfigurable Hardware Environment
    13 years 9 months ago
    A Genetic Algorithm Approach to Static Task Scheduling in a Reconfigurable Hardware Environment
    Download  coen.boisestate.edu
    This paper presents a basic framework for applying static task scheduling techniques to arbitrarily-structured task systems whose targeted execution environment is comprised of fi...
    Sin Ming Loo, B. Earl Wells, J. D. Winningham
    claim paper
    Read More »
    IJCAI
    2003
    95views Artificial Intelligence» more  IJCAI 2003»
    Spaces of Theories with Ideal Refinement Operators
    13 years 9 months ago
    Spaces of Theories with Ideal Refinement Operators
    Download  dli.iiit.ac.in
    Refinement operators for theories avoid the problems related to the myopia of many relational learning algorithms based on the operators that refine single clauses. However, the n...
    Nicola Fanizzi, Stefano Ferilli, Nicola Di Mauro, ...
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2024, USA.