Sciweavers

    1711 search results - page 136 / 343
    » Completing pseudojump operators
    Sort
    View
    OPODIS
    2008
    78views Distributed And Parallel Com...» more  OPODIS 2008»
    On the Time-Complexity of Robust and Amnesic Storage
    13 years 9 months ago
    On the Time-Complexity of Robust and Amnesic Storage
    Download  www.deeds.informatik.tu-darmstadt.de
    We consider wait-free implementations of a regular read/ write register for unauthenticated data using a collection of 3t + k base objects, t of which can be subject to Byzantine ...
    Dan Dobre, Matthias Majuntke, Neeraj Suri
    claim paper
    Read More »
    IIS
    2003
    111views Information Technology» more  IIS 2003»
    The Development of the Inductive Database System VINLEN: A Review of Current Research
    13 years 9 months ago
    The Development of the Inductive Database System VINLEN: A Review of Current Research
    Download  www.mli.gmu.edu
    Current research on the VINLEN inductive database system is briefly reviewed and illustrated by selected results. The goal of research on VINLEN is to develop a methodology for de...
    Kenneth A. Kaufman, Ryszard S. Michalski
    claim paper
    Read More »
    JLP
    2006
    81views more  JLP 2006»
    Development graphs - Proof management for structured specifications
    13 years 8 months ago
    Development graphs - Proof management for structured specifications
    Download  www.informatik.uni-bremen.de
    Development graphs are a tool for dealing with structured specifications in a formal program development in order to ease the management of change and reusing proofs. In this work...
    Till Mossakowski, Serge Autexier, Dieter Hutter
    claim paper
    Read More »
    AFRIGRAPH
    2007
    ACM
    198views Virtual Reality» more  AFRIGRAPH 2007»
    Generic computation of bulletin boards into geometric kernels
    14 years 4 days ago
    Generic computation of bulletin boards into geometric kernels
    Download  www.lisi.ensma.fr
    Nowadays, many commercial CAD systems are built on proprietary geometric kernels which provide an API containing a set of high level geometric operations (boolean operations, slot...
    Mehdi Baba-ali, David Marcheix, Xavier Skapin, Yve...
    claim paper
    Read More »
    AAAI
    2004
    134views Intelligent Agents» more  AAAI 2004»
    Mixed-Initiative Workflow Composition
    13 years 9 months ago
    Mixed-Initiative Workflow Composition
    Download  www.aaai.org
    CAT's knowledge base contains abstract task or example "abstract flight reservation task," which can be included in a workflow as placeholders. CAT will gest that us...
    Marc Spraragen
    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.