Sciweavers

    1942 search results - page 262 / 389
    » Parse
    Sort
    View
    VL
    1996
    IEEE
    123views Visual Languages» more  VL 1996»
    GenEd - An Editor with Generic Semantics for Formal Reasoning about Visual Notations
    14 years 2 months ago
    GenEd - An Editor with Generic Semantics for Formal Reasoning about Visual Notations
    Download  kogs-www.informatik.uni-hamburg.de
    We describe the object-oriented editor GenEd supporting the design of specifications for visual notations. Prominent features of GenEd are (1) it is generic, i.e. domain-specific ...
    Volker Haarslev, Michael Wessel
    claim paper
    Read More »
    KI
    1994
    Springer
    111views Artificial Intelligence» more  KI 1994»
    Combining Spatial and Terminological Reasoning
    14 years 2 months ago
    Combining Spatial and Terminological Reasoning
    Download  www.sts.tu-harburg.de
    The paper presentsa method for terminological reasoningabout spatial objects on the basis of a KL-ONE-like framework (LOOM). We apply this method to the domain of deductive geograp...
    Volker Haarslev, Ralf Möller, Carsten Schr&ou...
    claim paper
    Read More »
    PPCP
    1993
    148views Programming Languages» more  PPCP 1993»
    Higher-Order Logic Programming as Constraint Logic Programming
    14 years 2 months ago
    Higher-Order Logic Programming as Constraint Logic Programming
    Download  www.cs.cmu.edu
    Higher-order logic programming (HOLP) languages are particularly useful for various kinds of metaprogramming and theorem proving tasks because of the logical support for variable ...
    Spiro Michaylov, Frank Pfenning
    claim paper
    Read More »
    SIGMOD
    1993
    ACM
    140views Database» more  SIGMOD 1993»
    Second-Order Signature: A Tool for Specifying Data Models, Query Processing, and Optimization
    14 years 2 months ago
    Second-Order Signature: A Tool for Specifying Data Models, Query Processing, and Optimization
    Download  dna.fernuni-hagen.de
    Abstract: We propose a framework for the specification of extensible database systems. A particular goal is to implement a software component for parsing and rule-based optimizatio...
    Ralf Hartmut Güting
    claim paper
    Read More »
    DLS
    2007
    138views Languages» more  DLS 2007»
    OMeta: an object-oriented language for pattern matching
    14 years 2 months ago
    OMeta: an object-oriented language for pattern matching
    Download  www.tinlizzie.org
    This paper introduces OMeta, a new object-oriented language for pattern matching. OMeta is based on a variant of Parsing Expression Grammars (PEGs) [5]--a recognitionbased foundat...
    Alessandro Warth, Ian Piumarta
    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.