Sciweavers

    JACM
    2010
    51views more  JACM 2010»
    XML with incomplete information
    12 years 11 months ago
    XML with incomplete information
    Download  www.lsv.ens-cachan.fr
    Pablo Barceló, Leonid Libkin, Antonella Pog...
    claim paper
    Read More »
    JACM
    2010
    55views more  JACM 2010»
    Newtonian program analysis
    12 years 11 months ago
    Newtonian program analysis
    Download  www7.in.tum.de
    Javier Esparza, Stefan Kiefer, Michael Luttenberge...
    claim paper
    Read More »
    JACM
    2010
    120views more  JACM 2010»
    The structure of inverses in schema mappings
    12 years 11 months ago
    The structure of inverses in schema mappings
    Download  www.almaden.ibm.com
    A schema mapping is a specification that describes how data structured under one schema (the source schema) is to be transformed into data structured under a different schema (the...
    Ronald Fagin, Alan Nash
    claim paper
    Read More »
    JACM
    2010
    137views more  JACM 2010»
    Reconciling description logics and rules
    13 years 2 months ago
    Reconciling description logics and rules
    Download  www.dis.uniroma1.it
    Description logics (DLs) and rules are formalisms that emphasize different aspects of knowledge representation: whereas DLs are focused on specifying and reasoning about conceptual...
    Boris Motik, Riccardo Rosati
    claim paper
    Read More »
    JACM
    2010
    92views more  JACM 2010»
    Routing betweenness centrality
    13 years 2 months ago
    Routing betweenness centrality
    Download  www.cs.bgu.ac.il
    Shlomi Dolev, Yuval Elovici, Rami Puzis
    claim paper
    Read More »
    JACM
    2010
    104views more  JACM 2010»
    Tight failure detection bounds on atomic object implementations
    13 years 2 months ago
    Tight failure detection bounds on atomic object implementations
    Download  www.liafa.jussieu.fr
    This article determines the weakest failure detectors to implement shared atomic objects in a distributed system with crash-prone processes. We first determine the weakest failure...
    Carole Delporte-Gallet, Hugues Fauconnier, Rachid ...
    claim paper
    Read More »
    JACM
    2010
    111views more  JACM 2010»
    Finding a maximum matching in a sparse random graph in O(n) expected time
    13 years 2 months ago
    Finding a maximum matching in a sparse random graph in O(n) expected time
    Download  www.math.cmu.edu
    We present a linear expected time algorithm for finding maximum cardinality matchings in sparse random graphs. This is optimal and improves on previous results by a logarithmic f...
    Prasad Chebolu, Alan M. Frieze, Páll Melste...
    claim paper
    Read More »
    JACM
    2010
    78views more  JACM 2010»
    A discriminative model for semi-supervised learning
    13 years 2 months ago
    A discriminative model for semi-supervised learning
    Download  www.cs.cmu.edu
    Maria-Florina Balcan, Avrim Blum
    claim paper
    Read More »
    JACM
    2010
    135views more  JACM 2010»
    A dynamic data structure for 3-D convex hulls and 2-D nearest neighbor queries
    13 years 2 months ago
    A dynamic data structure for 3-D convex hulls and 2-D nearest neighbor queries
    Download  www.cs.uwaterloo.ca
    We present a fully dynamic randomized data structure that can answer queries about the convex hull of a set of n points in three dimensions, where insertions take O(log3 n) expect...
    Timothy M. Chan
    claim paper
    Read More »
    JACM
    2010
    99views more  JACM 2010»
    Transitive closure logic, nested tree walking automata, and XPath
    13 years 2 months ago
    Transitive closure logic, nested tree walking automata, and XPath
    Download  www.lsv.ens-cachan.fr
    Balder ten Cate, Luc Segoufin
    claim paper
    Read More »
    12next ›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.