Sciweavers

    10666 search results - page 349 / 2134
    » Quantum programming languages
    Sort
    View
    APLAS
    2004
    ACM
    73views Programming Languages» more  APLAS 2004»
    A Type Theory for Krivine-Style Evaluation and Compilation
    16 years 25 days ago
    A Type Theory for Krivine-Style Evaluation and Compilation
    Download  www.jaist.ac.jp
    Kwanghoon Choi, Atsushi Ohori
    claim paper
    Read More »
    APLAS
    2004
    ACM
    108views Programming Languages» more  APLAS 2004»
    An Implementation of Subtyping Among Regular Expression Types
    16 years 25 days ago
    An Implementation of Subtyping Among Regular Expression Types
    Download  www.itu.dk
    Kenny Zhuo Ming Lu, Martin Sulzmann
    claim paper
    Read More »
    131
    Voted
    APLAS
    2004
    ACM
    114views Programming Languages» more  APLAS 2004»
    Controlled Declassification Based on Intransitive Noninterference
    16 years 25 days ago
    Controlled Declassification Based on Intransitive Noninterference
    Download  www.mais.informatik.tu-darmstadt.de
    Heiko Mantel, David Sands
    claim paper
    Read More »
    131
    Voted
    CP
    2004
    Springer
    86views Artificial Intelligence» more  CP 2004»
    Solving the Crane Scheduling Problem Using Intelligent Search Schemes
    16 years 24 days ago
    Solving the Crane Scheduling Problem Using Intelligent Search Schemes
    Download  acadepedia.com
    Andrew Lim, Brian Rodrigues, Zhou Xu
    claim paper
    Read More »
    148
    Voted
    CP
    2004
    Springer
    82views Artificial Intelligence» more  CP 2004»
    On-Demand Bound Computation for Best-First Constraint Optimization
    16 years 24 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 »
    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.