Sciweavers

    11784 search results - page 191 / 2357
    » Interpolation for data structures
    Sort
    View
    IPPS
    2007
    IEEE
    70views Distributed And Parallel Com...» more  IPPS 2007»
    An Automated Data Processing Pipeline for Virus Structure Determination at High Resolution
    15 years 9 months ago
    An Automated Data Processing Pipeline for Virus Structure Determination at High Resolution
    Download  www.hicomb.org
    Chen Yu, Dan C. Marinescu, John P. Morrison, Brian...
    claim paper
    Read More »
    87
    Voted
    AGILE
    2007
    Springer
    149views GIS» more  AGILE 2007»
    A Compact Topological DBMS Data Structure For 3D Topography
    15 years 9 months ago
    A Compact Topological DBMS Data Structure For 3D Topography
    Download  www.gdmc.nl
    Friso Penninga, Peter van Oosterom
    claim paper
    Read More »
    APN
    2007
    Springer
    141views Artificial Intelligence» more  APN 2007»
    Workcraft: A Static Data Flow Structure Editing, Visualisation and Analysis Tool
    15 years 9 months ago
    Workcraft: A Static Data Flow Structure Editing, Visualisation and Analysis Tool
    Download  www.cecs.uci.edu
    Workcraft is a framework for the simulation, conversion and analysis of the SDFS models. The plug-in based architecture with embedded scripting language makes the framework an eas...
    Ivan Poliakov, Danil Sokolov, Andrey Mokhov
    claim paper
    Read More »
    ICALP
    2007
    Springer
    105views Programming Languages» more  ICALP 2007»
    A Framework for Dynamizing Succinct Data Structures
    15 years 9 months ago
    A Framework for Dynamizing Succinct Data Structures
    Download  www.cs.duke.edu
    Ankur Gupta, Wing-Kai Hon, Rahul Shah, Jeffrey Sco...
    claim paper
    Read More »
    VMCAI
    2007
    Springer
    89views Software Engineering» more  VMCAI 2007»
    Using First-Order Theorem Provers in the Jahob Data Structure Verification System
    15 years 9 months ago
    Using First-Order Theorem Provers in the Jahob Data Structure Verification System
    Download  www.mit.edu
    Charles Bouillaguet, Viktor Kuncak, Thomas Wies, K...
    claim paper
    Read More »
    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.