Sciweavers

    7661 search results - page 87 / 1533
    » Languages and the Computing Profession
    Sort
    View
    IFIP
    2003
    Springer
    84views Programming Languages» more  IFIP 2003»
    Mobile Ad Hoc Communication Issues in Ubiquitous Computing - The Smart-Its Experimentation Platforms
    15 years 10 months ago
    Mobile Ad Hoc Communication Issues in Ubiquitous Computing - The Smart-Its Experimentation Platforms
    Download  www.vs.inf.ethz.ch
    Albrecht Schmidt, Frank Siegemund, Michael Beigl, ...
    claim paper
    Read More »
    CORR
    2010
    Springer
    98views Education» more  CORR 2010»
    Extended Computation Tree Logic
    15 years 5 months ago
    Extended Computation Tree Logic
    Download  www.comlab.ox.ac.uk
    We introduce a generic extension of the popular branching-time logic CTL which refines the temporal until and release operators with formal languages. For instance, a language may ...
    Roland Axelsson, Matthew Hague, Stephan Kreutzer, ...
    claim paper
    Read More »
    ICCV
    1999
    IEEE
    184views Computer Vision» more  ICCV 1999»
    Parallel Hidden Markov Models for American Sign Language Recognition
    16 years 6 months ago
    Parallel Hidden Markov Models for American Sign Language Recognition
    Download  gri.gallaudet.edu
    Christian Vogler, Dimitris N. Metaxas
    claim paper
    Read More »
    ICPR
    2002
    IEEE
    137views computer vision» more  ICPR 2002»
    Automatic Detection of Relevant Head Gestures in American Sign Language Communication
    16 years 6 months ago
    Automatic Detection of Relevant Head Gestures in American Sign Language Communication
    Download  www.cs.bu.edu
    Ugur Murat Erdem, Stan Sclaroff
    claim paper
    Read More »
    SOFSEM
    2009
    Springer
    116views Theoretical Computer Science» more  SOFSEM 2009»
    A Machine Checked Soundness Proof for an Intermediate Verification Language
    16 years 1 months ago
    A Machine Checked Soundness Proof for an Intermediate Verification Language
    Download  www.ksi.mff.cuni.cz
    Frédéric Vogels, Bart Jacobs 0002, F...
    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.