Sciweavers

    180 search results - page 35 / 36
    » Self-Assembly of Infinite Structures
    Sort
    View
    FLAIRS
    2000
    135views Artificial Intelligence» more  FLAIRS 2000»
    Domain-Specific Knowledge Acquisition and Classification Using WordNet
    13 years 11 months ago
    Domain-Specific Knowledge Acquisition and Classification Using WordNet
    Download  www.aaai.org
    For manyknowledgeintensive applications, it is necessary to have extensive domain-specific knowledgein addition to general-purpose knowledge bases usually built around MachineRead...
    Dan I. Moldovan, Roxana Girju
    claim paper
    Read More »
    AAAI
    2008
    155views Intelligent Agents» more  AAAI 2008»
    Querying Sequential and Concurrent Horn Transaction Logic Programs Using Tabling Techniques
    13 years 10 months ago
    Querying Sequential and Concurrent Horn Transaction Logic Programs Using Tabling Techniques
    Download  www.aaai.org
    In this poster we describe the tabling techniques for Sequential and Concurrent Horn Transaction Logic. Horn Transaction Logic is an extension of classical logic programming with ...
    Paul Fodor
    claim paper
    Read More »
    ECAI
    2010
    Springer
    233views Artificial Intelligence» more  ECAI 2010»
    Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability
    13 years 10 months ago
    Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability
    Download  perseo.dif.um.es
    Abstract. Interval temporal logics formalize reasoning about interval structures over (usually) linearly ordered domains, where time intervals are the primitive ontological entitie...
    Davide Bresolin, Dario Della Monica, Valentin Gora...
    claim paper
    Read More »
    JLP
    2006
    138views more  JLP 2006»
    Algebraic-coalgebraic specification in CoCasl
    13 years 9 months ago
    Algebraic-coalgebraic specification in CoCasl
    Download  www.informatik.uni-bremen.de
    We introduce CoCasl as a light-weight but expressive coalgebraic extension of the algebraic specification language Casl. CoCasl allows the nested combination of algebraic datatype...
    Till Mossakowski, Lutz Schröder, Markus Rogge...
    claim paper
    Read More »
    QUESTA
    2006
    94views more  QUESTA 2006»
    Modeling teletraffic arrivals by a Poisson cluster process
    13 years 9 months ago
    Modeling teletraffic arrivals by a Poisson cluster process
    Download  legacy.orie.cornell.edu
    In this paper we consider a Poisson cluster process N as a generating process for the arrivals of packets to a server. This process generalizes in a more realistic way the infinite...
    Gilles Faÿ, Bárbara González-Ar...
    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.