Sciweavers

    28888 search results - page 307 / 5778
    » Computability and complexity in analysis
    Sort
    View
    FOCS
    2000
    IEEE
    72views Theoretical Computer Science» more  FOCS 2000»
    Pseudorandom Generators in Propositional Proof Complexity
    15 years 11 months ago
    Pseudorandom Generators in Propositional Proof Complexity
    Download  www.math.ias.edu
    Michael Alekhnovich, Eli Ben-Sasson, Alexander A. ...
    claim paper
    Read More »
    147
    Voted
    FOCS
    1998
    IEEE
    118views Theoretical Computer Science» more  FOCS 1998»
    The Complexity of the Approximation of the Bandwidth Problem
    15 years 11 months ago
    The Complexity of the Approximation of the Bandwidth Problem
    Download  www.cs.ust.hk
    d Abstract) Walter Unger Lehrstuhl f
    Walter Unger
    claim paper
    Read More »
    139
    Voted
    ARITH
    1997
    IEEE
    95views Applied Computing» more  ARITH 1997»
    Arithmetic Co-transformations in the Real and Complex Logarithmic Number Systems
    15 years 11 months ago
    Arithmetic Co-transformations in the Real and Complex Logarithmic Number Systems
    Download  www.acsel-lab.com
    Mark G. Arnold, Thomas A. Bailey, John R. Cowles, ...
    claim paper
    Read More »
    135
    Voted
    RANDOM
    1997
    Springer
    88views Theoretical Computer Science» more  RANDOM 1997»
    Average-Case Complexity of Shortest-Paths Problems in the Vertex-Potential Model
    15 years 10 months ago
    Average-Case Complexity of Shortest-Paths Problems in the Vertex-Potential Model
    Download  www.mpi-inf.mpg.de
    Colin Cooper, Alan M. Frieze, Kurt Mehlhorn, Volke...
    claim paper
    Read More »
    DEBS
    2007
    ACM
    92views Distributed And Parallel Com...» more  DEBS 2007»
    Seamless formal verification of complex event processing applications
    15 years 10 months ago
    Seamless formal verification of complex event processing applications
    Download  www.ics.uci.edu
    AnnMarie Ericsson, Paul Pettersson, Mikael Berndts...
    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.