Sciweavers

    DAGSTUHL
    1998
    100views Software Engineering» more  DAGSTUHL 1998»
    A Practical Approach to Hypothetical Database Queries
    14 years 26 days ago
    A Practical Approach to Hypothetical Database Queries
    Download  akira.ruc.dk
    Hypothetical queries are queries embedding hypotheses about the database. The embedded hypothesis in a hypothetical query indicates, so to say, a state of the database intended for...
    Henning Christiansen, Troels Andreasen
    claim paper
    Read More »
    DAGSTUHL
    1998
    100views Software Engineering» more  DAGSTUHL 1998»
    Evolving Logical Specification in Information Systems
    14 years 26 days ago
    Evolving Logical Specification in Information Systems
    Download  wwwiti.cs.uni-magdeburg.de
    Stefan Conrad, Jaime Ramos, Gunter Saake, Cristina...
    claim paper
    Read More »
    DAGSTUHL
    1998
    91views Software Engineering» more  DAGSTUHL 1998»
    Temporal Logic in Information Systems
    14 years 26 days ago
    Temporal Logic in Information Systems
    Download  www.cs.uwaterloo.ca
    Jan Chomicki, David Toman
    claim paper
    Read More »
    DAGSTUHL
    1998
    95views Software Engineering» more  DAGSTUHL 1998»
    Introduction to Logics for Databases and Information Systems
    14 years 26 days ago
    Introduction to Logics for Databases and Information Systems
    Download  wwwiti.cs.uni-magdeburg.de
    Jan Chomicki, Gunter Saake
    claim paper
    Read More »
    DAGSTUHL
    1998
    106views Software Engineering» more  DAGSTUHL 1998»
    Description Logics for Conceptual Data Modeling
    14 years 26 days ago
    Description Logics for Conceptual Data Modeling
    Download  www.inf.unibz.it
    Diego Calvanese, Maurizio Lenzerini, Daniele Nardi
    claim paper
    Read More »
    DAGSTUHL
    1998
    71views Software Engineering» more  DAGSTUHL 1998»
    Results on Reasoning about Updates in Transaction Logic
    14 years 26 days ago
    Results on Reasoning about Updates in Transaction Logic
    Download  www.cs.sunysb.edu
    Anthony J. Bonner, Michael Kifer
    claim paper
    Read More »
    DAGSTUHL
    1998
    73views Software Engineering» more  DAGSTUHL 1998»
    The State of Change: A Survey
    14 years 26 days ago
    The State of Change: A Survey
    Download  www.cs.sunysb.edu
    Anthony J. Bonner, Michael Kifer
    claim paper
    Read More »
    DAGSTUHL
    1998
    168views Software Engineering» more  DAGSTUHL 1998»
    Active-U-Datalog: Integrating Active Rules in a Logical Update Language
    14 years 26 days ago
    Active-U-Datalog: Integrating Active Rules in a Logical Update Language
    Download  circe.di.unipi.it
    Deductive database technology represents an important step towards the goal of developing highly-declarative database programming languages. In order to make deductive databases a ...
    Elisa Bertino, Barbara Catania, Vincenzo Gervasi, ...
    claim paper
    Read More »
    DAGSTUHL
    1998
    97views Software Engineering» more  DAGSTUHL 1998»
    Segmented Iterators and Hierarchical Algorithms
    14 years 26 days ago
    Segmented Iterators and Hierarchical Algorithms
    Download  lafstern.org
    Abstract. Many data structures are naturally segmented. Generic algorithms that ignore that feature, and that treat every data structure as a uniform range of elements, are unneces...
    Matthew H. Austern
    claim paper
    Read More »
    DAGSTUHL
    1998
    63views Software Engineering» more  DAGSTUHL 1998»
    ISR: An Intelligent Service Robot
    14 years 26 days ago
    ISR: An Intelligent Service Robot
    Download  www.scs.ryerson.ca
    Magnus Andersson, Anders Orebäck, Matthias Li...
    claim paper
    Read More »
    « first‹ previous…789101112131415…next ›last »
    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.