Sciweavers

    1711 search results - page 196 / 343
    » Completing pseudojump operators
    Sort
    View
    DLOG
    2007
    138views Automated Reasoning» more  DLOG 2007»
    Deciding ALBO with Tableau
    13 years 10 months ago
    Deciding ALBO with Tableau
    Download  sunsite.informatik.rwth-aachen.de
    Abstract. This paper presents a tableau approach for deciding description logics outside the scope of OWL DL and current state-of-the-art tableau-based description logic systems. I...
    Renate A. Schmidt, Dmitry Tishkovsky
    claim paper
    Read More »
    KRDB
    2003
    111views Database» more  KRDB 2003»
    A Framework for Answering Queries using Multiple Representation and Inference Techniques
    13 years 9 months ago
    A Framework for Answering Queries using Multiple Representation and Inference Techniques
    Download  sunsite.informatik.rwth-aachen.de
    The Polylog framework is designed to provide a language for efficiently automating complex queries of information represented in multiple formats. A Polylog program contains a set...
    Nicholas L. Cassimatis
    claim paper
    Read More »
    FSS
    2008
    94views more  FSS 2008»
    Lattices of convex normal functions
    13 years 8 months ago
    Lattices of convex normal functions
    Download  www.math.nmsu.edu
    The algebra of truth values of type-2 fuzzy sets is the set of all functions from the unit interval into itself, with operations de ned in terms of certain convolutions of these f...
    John Harding, Carol L. Walker, Elbert A. Walker
    claim paper
    Read More »
    INFSOF
    2008
    83views more  INFSOF 2008»
    A framework for ensuring consistency of Web Services Transactions
    13 years 8 months ago
    A framework for ensuring consistency of Web Services Transactions
    Download  nclab.kaist.ac.kr
    For efficiently managing Web Services (WS) transactions which are executed across multiple loosely-coupled autonomous organizations, isolation is commonly relaxed. A Web service o...
    Seunglak Choi, Hangkyu Kim, Hyukjae Jang, Jungsook...
    claim paper
    Read More »
    TOG
    2008
    90views more  TOG 2008»
    Interactive example-based urban layout synthesis
    13 years 8 months ago
    Interactive example-based urban layout synthesis
    Download  www.cs.purdue.edu
    We present an interactive system for synthesizing urban layouts by example. Our method simultaneously performs both a structurebased synthesis and an image-based synthesis to gene...
    Daniel G. Aliaga, Carlos A. Vanegas, Bedrich Benes
    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.