Sciweavers

    12052 search results - page 126 / 2411
    » computing 2010
    Sort
    View
    86
    Voted
    SOFSEM
    2010
    Springer
    105views Theoretical Computer Science» more  SOFSEM 2010»
    Symbolic OBDD-Based Reachability Analysis Needs Exponential Space
    15 years 11 months ago
    Symbolic OBDD-Based Reachability Analysis Needs Exponential Space
    Download  www.sofsem.cz
    Beate Bollig
    claim paper
    Read More »
    99
    Voted
    STACS
    2010
    Springer
    145views Theoretical Computer Science» more  STACS 2010»
    Alternation-Trading Proofs, Linear Programming, and Lower Bounds
    15 years 9 months ago
    Alternation-Trading Proofs, Linear Programming, and Lower Bounds
    Download  www.cs.cmu.edu
    Ryan Williams
    claim paper
    Read More »
    94
    Voted
    STACS
    2010
    Springer
    156views Theoretical Computer Science» more  STACS 2010»
    Collapsible Pushdown Graphs of Level 2 are Tree-Automatic
    15 years 9 months ago
    Collapsible Pushdown Graphs of Level 2 are Tree-Automatic
    Download  www.mathematik.tu-darmstadt.de
    Alexander Kartzow
    claim paper
    Read More »
    228
    Voted
    ACHI
    2010
    IEEE
    262views Human Computer Interaction» more  ACHI 2010»
    Towards Cognitively Accessible Web Pages
    15 years 9 months ago
    Towards Cognitively Accessible Web Pages
    Download  publications.nr.no
    Till Halbach
    claim paper
    Read More »
    74
    Voted
    CHI
    2010
    ACM
    146views Human Computer Interaction» more  CHI 2010»
    Constant connectivity, selective participation: mobile-social interaction of students and faculty
    15 years 9 months ago
    Constant connectivity, selective participation: mobile-social interaction of students and faculty
    Download  www.terpconnect.umd.edu
    Dana Rotman
    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.