Sciweavers

    177
    Voted
    PODS
    1994
    ACM
    138views Database» more  PODS 1994»
    Dyn-FO: A Parallel, Dynamic Complexity Class
    15 years 8 months ago
    Dyn-FO: A Parallel, Dynamic Complexity Class
    Download  www.cs.umass.edu
    Traditionally, computational complexity has considered only static problems. Classical Complexity Classes such as NC, P, and NP are de ned in terms of the complexity of checking {...
    Sushant Patnaik, Neil Immerman
    claim paper
    Read More »
    PODS
    1994
    ACM
    91views Database» more  PODS 1994»
    A Polymorphic Calculus for Views and Object Sharing
    15 years 8 months ago
    A Polymorphic Calculus for Views and Object Sharing
    Download  www.pllab.riec.tohoku.ac.jp
    We present a typed polymorphic calculus that supports a general mechanism for view definition and object sharing among classes. In this calculus, a class can contain inclusion spe...
    Atsushi Ohori, Keishi Tajima
    claim paper
    Read More »
    117
    Voted
    PODS
    1994
    ACM
    84views Database» more  PODS 1994»
    A Query Language for List-Based Complex Objects
    15 years 8 months ago
    A Query Language for List-Based Complex Objects
    Download  www.cs.indiana.edu
    Latha S. Colby, Edward L. Robertson, Lawrence V. S...
    claim paper
    Read More »
    PODS
    1994
    ACM
    95views Database» more  PODS 1994»
    Towards a Theory of Spatial Database Queries
    15 years 8 months ago
    Towards a Theory of Spatial Database Queries
    Download  homepages.inf.ed.ac.uk
    Jan Paredaens, Jan Van den Bussche, Dirk Van Gucht
    claim paper
    Read More »
    PODS
    1994
    ACM
    95views Database» more  PODS 1994»
    Making Object-Oriented Schemas More Expressive
    15 years 8 months ago
    Making Object-Oriented Schemas More Expressive
    Download  www.inf.unibz.it
    Diego Calvanese, Maurizio Lenzerini
    claim paper
    Read More »
    All Subjects
    Algorithms
    Applied Computing
    Artificial Intelligence
    Automated Reasoning
    Biometrics
    Combinatorics
    Communications
    Computational Biology
    Computational Geometry
    Computational Linguistics
    Computer Architecture
    Computer Graphics
    Computer Networks
    Computer Vision
    Control Systems
    Cryptology
    Data Mining
    Database
    Digital Library
    Discrete Geometry
    Distributed And Parallel Computing
    Document Analysis
    ECommerce
    Education
    Emerging Technology
    Formal Methods
    Fuzzy Logic
    GIS
    Graph Theory
    Hardware
    Human Computer Interaction
    Image Processing
    Information Technology
    Intelligent Agents
    Internet Technology
    Knowledge Management
    Logical Reasoning
    Machine Learning
    Mathematics
    Modeling And Simulation
    Multimedia
    Natural Language Processing
    Operating System
    Programming Languages
    Robotics
    Security Privacy
    Social Sciences
    Software Engineering
    System Software
    Theoretical Computer Science
    VHDL
    Visual Languages
    Visualization
    VLSI
    Database
    Top of PageReset Settings
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.