Sciweavers

    2143 search results - page 8 / 429
    » corr 2010
    Sort
    View
    51
    Voted
    CORR
    2010
    Springer
    41views Education» more  CORR 2010»
    Roomy: A System for Space Limited Computations
    15 years 3 months ago
    Roomy: A System for Space Limited Computations
    Download  www.ccs.neu.edu
    Daniel Kunkle
    claim paper
    Read More »
    CORR
    2010
    Springer
    104views Education» more  CORR 2010»
    Does Treewidth Help in Modal Satisfiability?
    15 years 3 months ago
    Does Treewidth Help in Modal Satisfiability?
    Download  www.kr.tuwien.ac.at
    M. Praveen
    claim paper
    Read More »
    CORR
    2010
    Springer
    106views Education» more  CORR 2010»
    Controlling program extraction in Elementary Linear Logic
    15 years 3 months ago
    Controlling program extraction in Elementary Linear Logic
    Download  perso.ens-lyon.fr
    Marc Lasson
    claim paper
    Read More »
    CORR
    2010
    Springer
    41views Education» more  CORR 2010»
    Functional Answer Set Programming
    15 years 3 months ago
    Functional Answer Set Programming
    Download  www.dc.fi.udc.es
    Pedro Cabalar
    claim paper
    Read More »
    49
    Voted
    CORR
    2010
    Springer
    47views Education» more  CORR 2010»
    Observation-Driven Configuration of Complex Software Systems
    15 years 3 months ago
    Observation-Driven Configuration of Complex Software Systems
    Download  www.cs.st-andrews.ac.uk
    Aled Sage
    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.