Sciweavers

    91
    Voted
    FOCS
    2004
    IEEE
    103views Theoretical Computer Science» more  FOCS 2004»
    The Price of Stability for Network Design with Fair Cost Allocation
    15 years 7 months ago
    The Price of Stability for Network Design with Fair Cost Allocation
    Download  www.cs.cornell.edu
    Elliot Anshelevich, Anirban Dasgupta, Jon M. Klein...
    claim paper
    Read More »
    CONCUR
    2006
    Springer
    112views Distributed And Parallel Com...» more  CONCUR 2006»
    Reachability in Recursive Markov Decision Processes
    15 years 7 months ago
    Reachability in Recursive Markov Decision Processes
    Download  www.fi.muni.cz
    Tomás Brázdil, Václav Brozek,...
    claim paper
    Read More »
    124
    Voted
    CONCUR
    2006
    Springer
    166views Distributed And Parallel Com...» more  CONCUR 2006»
    Controller Synthesis for MTL Specifications
    15 years 7 months ago
    Controller Synthesis for MTL Specifications
    Download  www.lsv.ens-cachan.fr
    Abstract. We consider the control problem for timed automata against specifications given as MTL formulas. The logic MTL is a linear-time timed temporal logic which extends LTL wit...
    Patricia Bouyer, Laura Bozzelli, Fabrice Chevalier
    claim paper
    Read More »
    FOCS
    2004
    IEEE
    96views Theoretical Computer Science» more  FOCS 2004»
    Adiabatic Quantum Computation is Equivalent to Standard Quantum Computation
    15 years 7 months ago
    Adiabatic Quantum Computation is Equivalent to Standard Quantum Computation
    Download  www.cs.princeton.edu
    Dorit Aharonov, Wim van Dam, Julia Kempe, Zeph Lan...
    claim paper
    Read More »
    FOCS
    2004
    IEEE
    88views Theoretical Computer Science» more  FOCS 2004»
    On the Streaming Model Augmented with a Sorting Primitive
    15 years 7 months ago
    On the Streaming Model Augmented with a Sorting Primitive
    Download  www-cs-students.stanford.edu
    The need to deal with massive data sets in many practical applications has led to a growing interest in computational models appropriate for large inputs. The most important quali...
    Gagan Aggarwal, Mayur Datar, Sridhar Rajagopalan, ...
    claim paper
    Read More »
    « first‹ previous…307053070630707307083070930710307113071230713…next ›last »
    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.