Sciweavers

    11065 search results - page 123 / 2213
    » Education
    Sort
    View
    CORR
    2010
    Springer
    58views Education» more  CORR 2010»
    Efficient Submodular Function Maximization under Linear Packing Constraints
    15 years 4 months ago
    Efficient Submodular Function Maximization under Linear Packing Constraints
    Download  www.cs.tau.ac.il
    Yossi Azar, Iftah Gamzu
    claim paper
    Read More »
    45
    Voted
    CORR
    2010
    Springer
    50views Education» more  CORR 2010»
    A Complete and Terminating Execution Model for Constraint Handling Rules
    15 years 4 months ago
    A Complete and Terminating Execution Model for Constraint Handling Rules
    Download  www.uni-ulm.de
    Hariolf Betz, Frank Raiser, Thom W. Frühwirth
    claim paper
    Read More »
    CORR
    2010
    Springer
    58views Education» more  CORR 2010»
    Transformations of Logic Programs on Infinite Lists
    15 years 4 months ago
    Transformations of Logic Programs on Infinite Lists
    Download  www.iasi.cnr.it
    Alberto Pettorossi, Maurizio Proietti, Valerio Sen...
    claim paper
    Read More »
    70
    Voted
    CORR
    2010
    Springer
    55views Education» more  CORR 2010»
    Known Algorithms on Graphs of Bounded Treewidth are Probably Optimal
    15 years 4 months ago
    Known Algorithms on Graphs of Bounded Treewidth are Probably Optimal
    Download  www.cs.bme.hu
    Daniel Lokshtanov, Dániel Marx, Saket Saura...
    claim paper
    Read More »
    CORR
    2010
    Springer
    51views Education» more  CORR 2010»
    The Coarsest Precongruences Respecting Safety and Liveness Properties
    15 years 4 months ago
    The Coarsest Precongruences Respecting Safety and Liveness Properties
    Download  www.cse.unsw.edu.au
    Rob J. van Glabbeek
    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.