Sciweavers

    15777 search results - page 552 / 3156
    » The Reformulation-Optimization Software Engine
    Sort
    View
    FSTTCS
    2005
    Springer
    109views Software Engineering» more  FSTTCS 2005»
    Computing the Expected Accumulated Reward and Gain for a Subclass of Infinite Markov Chains
    15 years 11 months ago
    Computing the Expected Accumulated Reward and Gain for a Subclass of Infinite Markov Chains
    Download  www.fi.muni.cz
    Tomás Brázdil, Antonín Kucera
    claim paper
    Read More »
    FSTTCS
    2005
    Springer
    102views Software Engineering» more  FSTTCS 2005»
    The Equivalence Problem for Deterministic MSO Tree Transducers Is Decidable
    15 years 11 months ago
    The Equivalence Problem for Deterministic MSO Tree Transducers Is Decidable
    Download  www.cse.unsw.edu.au
    Joost Engelfriet, Sebastian Maneth
    claim paper
    Read More »
    105
    Voted
    FSTTCS
    2005
    Springer
    99views Software Engineering» more  FSTTCS 2005»
    On Sampled Semantics of Timed Systems
    15 years 11 months ago
    On Sampled Semantics of Timed Systems
    Download  www.fi.muni.cz
    Pavel Krcál, Radek Pelánek
    claim paper
    Read More »
    118
    Voted
    FSTTCS
    2005
    Springer
    92views Software Engineering» more  FSTTCS 2005»
    Reachability of Hennessy-Milner Properties for Weakly Extended PRS
    15 years 11 months ago
    Reachability of Hennessy-Milner Properties for Weakly Extended PRS
    Download  www.fi.muni.cz
    Mojmír Kretínský, Vojtech Reh...
    claim paper
    Read More »
    FSTTCS
    2005
    Springer
    138views Software Engineering» more  FSTTCS 2005»
    On the Controller Synthesis for Finite-State Markov Decision Processes
    15 years 11 months ago
    On the Controller Synthesis for Finite-State Markov Decision Processes
    Download  www.fi.muni.cz
    Antonín Kucera, Oldrich Strazovský
    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.