Sciweavers

    15614 search results - page 291 / 3123
    » The State of State
    Sort
    View
    ECML
    1993
    Springer
    94views Machine Learning» more  ECML 1993»
    Decision Tree Pruning as a Search in the State Space
    15 years 10 months ago
    Decision Tree Pruning as a Search in the State Space
    Download  www.di.uniba.it
    Floriana Esposito, Donato Malerba, Giovanni Semera...
    claim paper
    Read More »
    FSTTCS
    1994
    Springer
    115views Software Engineering» more  FSTTCS 1994»
    Finite-State Strategies in Regular Infinite Games
    15 years 10 months ago
    Finite-State Strategies in Regular Infinite Games
    Download  www.win.tue.nl
    Abstract. This paper surveys work on the synthesis of reactive programs which implement winning strategies in infinite two-person games. The representation of such games by Muller ...
    Wolfgang Thomas
    claim paper
    Read More »
    IFIP
    1994
    Springer
    137views Programming Languages» more  IFIP 1994»
    Linear Speed-Up, Information Vicinity, and Finite-State Machines
    15 years 10 months ago
    Linear Speed-Up, Information Vicinity, and Finite-State Machines
    Download  www.cse.buffalo.edu
    Kenneth W. Regan
    claim paper
    Read More »
    LFCS
    1994
    Springer
    123views Artificial Intelligence» more  LFCS 1994»
    On Model Checking Infinite-State Systems
    15 years 10 months ago
    On Model Checking Infinite-State Systems
    Download  www.configit.com
    Henrik Reif Andersen
    claim paper
    Read More »
    REX
    1993
    121views Logical Reasoning» more  REX 1993»
    Verification Tools for Finite-State Concurrent Systems
    15 years 10 months ago
    Verification Tools for Finite-State Concurrent Systems
    Download  www-2.cs.cmu.edu
    Edmund M. Clarke, Orna Grumberg, David E. Long
    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.