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
    14 years 8 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
    14 years 27 days 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
    13 years 12 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
    13 years 11 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)
    13 years 5 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
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2024, USA.