Sciweavers

    10435 search results - page 261 / 2087
    » Computational Biology and Language
    Sort
    View
    CORR
    2010
    Springer
    98views Education» more  CORR 2010»
    Extended Computation Tree Logic
    15 years 6 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 8 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 7 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 3 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 »
    CHI
    2010
    ACM
    163views Human Computer Interaction» more  CHI 2010»
    Visualizing language use in team conversations: designing through theory, experiments, and iterations
    16 years 1 months ago
    Visualizing language use in team conversations: designing through theory, experiments, and iterations
    Download  www.cs.cornell.edu
    Gilly Leshed, Dan Cosley, Jeffrey T. Hancock, Geri...
    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.