Sciweavers

    10575 search results - page 266 / 2115
    » Programming Languages
    Sort
    View
    APLAS
    2004
    ACM
    114views Programming Languages» more  APLAS 2004»
    Controlled Declassification Based on Intransitive Noninterference
    16 years 20 days ago
    Controlled Declassification Based on Intransitive Noninterference
    Download  www.mais.informatik.tu-darmstadt.de
    Heiko Mantel, David Sands
    claim paper
    Read More »
    127
    Voted
    CP
    2004
    Springer
    86views Artificial Intelligence» more  CP 2004»
    Solving the Crane Scheduling Problem Using Intelligent Search Schemes
    16 years 19 days ago
    Solving the Crane Scheduling Problem Using Intelligent Search Schemes
    Download  acadepedia.com
    Andrew Lim, Brian Rodrigues, Zhou Xu
    claim paper
    Read More »
    146
    Voted
    CP
    2004
    Springer
    82views Artificial Intelligence» more  CP 2004»
    On-Demand Bound Computation for Best-First Constraint Optimization
    16 years 19 days ago
    On-Demand Bound Computation for Best-First Constraint Optimization
    Download  people.csail.mit.edu
    Martin Sachenbacher, Brian C. Williams
    claim paper
    Read More »
    CP
    2004
    Springer
    93views Artificial Intelligence» more  CP 2004»
    A New Algorithm for Maintaining Arc Consistency After Constraint Retraction
    16 years 19 days ago
    A New Algorithm for Maintaining Arc Consistency After Constraint Retraction
    Download  iti.mff.cuni.cz
    Pavel Surynek, Roman Barták
    claim paper
    Read More »
    GPCE
    2004
    Springer
    104views Programming Languages» more  GPCE 2004»
    Optimising Embedded DSLs Using Template Haskell
    16 years 18 days ago
    Optimising Embedded DSLs Using Template Haskell
    Download  www.cse.unsw.edu.au
    Sean Seefried, Manuel M. T. Chakravarty, Gabriele ...
    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.