Sciweavers

    57 search results - page 7 / 12
    » dls 2007
    Sort
    View
    DLS
    2007
    133views Languages» more  DLS 2007»
    Mirages: behavioral intercession in a mirror-based architecture
    13 years 11 months ago
    Mirages: behavioral intercession in a mirror-based architecture
    Download  www.dcc.uchile.cl
    Mirror-based systems are object-oriented reflective architectures built around a set of design principles that lead to reflective APIs which foster a high degree of reusability, l...
    Stijn Mostinckx, Tom Van Cutsem, Stijn Timbermont,...
    claim paper
    Read More »
    DLS
    2007
    159views Languages» more  DLS 2007»
    Relationally-parametric polymorphic contracts
    13 years 11 months ago
    Relationally-parametric polymorphic contracts
    Download  www.eecs.northwestern.edu
    The analogy between types and contracts raises the question of how many features of static type systems can be expressed as dynamic contracts. An important feature missing in prio...
    Arjun Guha, Jacob Matthews, Robert Bruce Findler, ...
    claim paper
    Read More »
    IJCAI
    2007
    227views Artificial Intelligence» more  IJCAI 2007»
    Conjunctive Query Answering for the Description Logic SHIQ
    13 years 9 months ago
    Conjunctive Query Answering for the Description Logic SHIQ
    Download  www.aaai.org
    Conjunctive queries play an important role as an expressive query language for Description Logics (DLs). Although modern DLs usually provide for transitive roles, conjunctive quer...
    Birte Glimm, Ian Horrocks, Carsten Lutz, Ulrike Sa...
    claim paper
    Read More »
    IRCDL
    2007
    99views Digital Library» more  IRCDL 2007»
    Semantic Routing for Effective Search in Heterogeneous and Distributed Digital Libraries
    13 years 9 months ago
    Semantic Routing for Effective Search in Heterogeneous and Distributed Digital Libraries
    Download  www.isgroup.unimo.it
    — Next generation Digital Libraries (DLs) will offer an entire ensemble of systems and services designed to help users to easily find and access the information they are looking...
    Federica Mandreoli, Riccardo Martoglia, Wilma Penz...
    claim paper
    Read More »
    DLOG
    2007
    75views Automated Reasoning» more  DLOG 2007»
    Inverse Roles Make Conjunctive Queries Hard
    13 years 9 months ago
    Inverse Roles Make Conjunctive Queries Hard
    Download  www.informatik.uni-bremen.de
    Abstract. Conjunctive query answering is an important DL reasoning task. Although this task is by now quite well-understood, tight complexity bounds for conjunctive query answering...
    Carsten Lutz
    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.