Sciweavers

    8021 search results - page 7 / 1605
    » A Type System for Tom
    Sort
    View
    FMSD
    2008
    49views more  FMSD 2008»
    Verification of parametric concurrent systems with prioritised FIFO resource management
    15 years 4 months ago
    Verification of parametric concurrent systems with prioritised FIFO resource management
    Download  www.lsv.ens-cachan.fr
    Ahmed Bouajjani, Peter Habermehl, Tomás Voj...
    claim paper
    Read More »
    WS
    2008
    ACM
    142views Computer Networks» more  WS 2008»
    Collective knowledge systems: Where the Social Web meets the Semantic Web
    15 years 4 months ago
    Collective knowledge systems: Where the Social Web meets the Semantic Web
    Download  tomgruber.org
    Tom Gruber
    claim paper
    Read More »
    COMPUTER
    2010
    65views more  COMPUTER 2010»
    Evolving Software Architecture Descriptions of Critical Systems
    15 years 3 months ago
    Evolving Software Architecture Descriptions of Critical Systems
    Download  www.se-rwth.de
    Tom Mens, Jeff Magee, Bernhard Rumpe
    claim paper
    Read More »
    PLPV
    2009
    ACM
    101views Programming Languages» more  PLPV 2009»
    Type invariants for Haskell
    16 years 1 months ago
    Type invariants for Haskell
    Download  www.cs.kuleuven.be
    Haskell’s multi-parameter type classes, together with functional dependencies, allow the specification of complex type-level opera
    Tom Schrijvers, Louis-Julien Guillemette, Stefan M...
    claim paper
    Read More »
    INTERSPEECH
    2010
    135views Signal Processing» more  INTERSPEECH 2010»
    Automatic speech recognition for assistive writing in speech supplemented word prediction
    14 years 11 months ago
    Automatic speech recognition for assistive writing in speech supplemented word prediction
    Download  www.cslu.ogi.edu
    This paper describes a system for assistive writing, the Speech Supplemented Word Prediction Program (SSWPP). This system uses the first letter of a word typed by the user as well...
    John-Paul Hosom, Tom Jakobs, Allen Baker, Susan Fa...
    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.