Sciweavers

    4839 search results - page 1 / 968
    » A survey of computational complexity results in systems and ...
    Sort
    View
    AUTOMATICA
    2000
    72views more  AUTOMATICA 2000»
    A survey of computational complexity results in systems and control
    13 years 5 months ago
    A survey of computational complexity results in systems and control
    Download  www.inma.ucl.ac.be
    Vincent D. Blondel, John N. Tsitsiklis
    claim paper
    Read More »
    BIRTHDAY
    2008
    Springer
    141views Applied Computing» more  BIRTHDAY 2008»
    Some Results on the Expressive Power and Complexity of LSCs
    13 years 7 months ago
    Some Results on the Expressive Power and Complexity of LSCs
    Download  www.wisdom.weizmann.ac.il
    Abstract. We survey some of the main results regarding the complexity and expressive power of Live Sequence Charts (LSCs). We first describe the two main semantics given to LSCs: a...
    David Harel, Shahar Maoz, Itai Segall
    claim paper
    Read More »
    FSTTCS
    2010
    Springer
    166views Software Engineering» more  FSTTCS 2010»
    On extracting computations from propositional proofs (a survey)
    13 years 3 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 »
    BMCBI
    2008
    104views more  BMCBI 2008»
    ReRep: Computational detection of repetitive sequences in genome survey sequences (GSS)
    13 years 5 months ago
    ReRep: Computational detection of repetitive sequences in genome survey sequences (GSS)
    Download  www.biomedcentral.com
    Background: Genome survey sequences (GSS) offer a preliminary global view of a genome since, unlike ESTs, they cover coding as well as non-coding DNA and include repetitive region...
    Thomas D. Otto, Leonardo H. F. Gomes, Marcelo Alve...
    claim paper
    Read More »
    ECCC
    2011
    234views ECommerce» more  ECCC 2011»
    On the complexity of computational problems regarding distributions (a survey)
    13 years 17 days ago
    On the complexity of computational problems regarding distributions (a survey)
    Download  www.wisdom.weizmann.ac.il
    We consider two basic computational problems regarding discrete probability distributions: (1) approximating the statistical difference (aka variation distance) between two given d...
    Oded Goldreich, Salil P. Vadhan
    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.