Sciweavers

    3228 search results - page 42 / 646
    » Computationally Sound Proofs
    Sort
    View
    ICPR
    2006
    IEEE
    120views computer vision» more  ICPR 2006»
    Association of Sound to Motion in Video using Perceptual Organization
    16 years 5 months ago
    Association of Sound to Motion in Video using Perceptual Organization
    Download  www.csee.usf.edu
    Sunil Ravulapalli, Sudeep Sarkar
    claim paper
    Read More »
    CHI
    2010
    ACM
    138views Human Computer Interaction» more  CHI 2010»
    Recognizing shapes and gestures using sound as feedback
    15 years 9 months ago
    Recognizing shapes and gestures using sound as feedback
    Download  delivery.acm.org
    Javier Sanchez
    claim paper
    Read More »
    ASM
    1998
    ASM
    92views Computational Biology» more  ASM 1998»
    A Sound and Complete SOS-Semantics for Non-Distributed Deterministic Abstract State Machines
    15 years 8 months ago
    A Sound and Complete SOS-Semantics for Non-Distributed Deterministic Abstract State Machines
    Download  www.eecs.umich.edu
    Hans Tonino
    claim paper
    Read More »
    CHI
    2007
    ACM
    138views Human Computer Interaction» more  CHI 2007»
    The sound of touch
    15 years 8 months ago
    The sound of touch
    Download  tangible.media.mit.edu
    David Merrill, Hayes Raffle
    claim paper
    Read More »
    FSTTCS
    2010
    Springer
    166views Software Engineering» more  FSTTCS 2010»
    On extracting computations from propositional proofs (a survey)
    15 years 2 months ago
    On extracting computations from propositional proofs (a survey)
    Download  www.math.cas.cz
    This paper describes a project that aims at showing that propositional proofs of certain tautologies in weak proof system give upper bounds on the computational complexity of func...
    Pavel Pudlák
    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.