Sciweavers

    4573 search results - page 140 / 915
    » Automated Reasoning
    Sort
    View
    232
    Voted
    ICLP
    2009
    Springer
    122views Automated Reasoning» more  ICLP 2009»
    Optimizing Compilation and Computational Complexity of Constraint Handling Rules
    16 years 4 months ago
    Optimizing Compilation and Computational Complexity of Constraint Handling Rules
    Download  www.cs.kuleuven.be
    Jon Sneyers
    claim paper
    Read More »
    FLOPS
    2010
    Springer
    272views Automated Reasoning» more  FLOPS 2010»
    Automatic Parallelization of Recursive Functions Using Quantifier Elimination
    15 years 10 months ago
    Automatic Parallelization of Recursive Functions Using Quantifier Elimination
    Download  www.riec.tohoku.ac.jp
    Akimasa Morihata, Kiminori Matsuzaki
    claim paper
    Read More »
    FLOPS
    2010
    Springer
    246views Automated Reasoning» more  FLOPS 2010»
    Delimited Control in OCaml, Abstractly and Concretely: System Description
    15 years 10 months ago
    Delimited Control in OCaml, Abstractly and Concretely: System Description
    Download  okmij.org
    Oleg Kiselyov
    claim paper
    Read More »
    FLOPS
    2010
    Springer
    312views Automated Reasoning» more  FLOPS 2010»
    Haskell Type Constraints Unleashed
    15 years 10 months ago
    Haskell Type Constraints Unleashed
    Download  www.cl.cam.ac.uk
    Dominic A. Orchard, Tom Schrijvers
    claim paper
    Read More »
    202
    Voted
    GIS
    2009
    ACM
    347views Automated Reasoning» more  GIS 2009»
    Improved visibility computation on massive grid terrains
    15 years 10 months ago
    Improved visibility computation on massive grid terrains
    Download  www.win.tue.nl
    Jeremy Fishman, Herman J. Haverkort, Laura Toma
    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.