Sciweavers

    13866 search results - page 428 / 2774
    » Dynamical Systems Game
    Sort
    View
    ICTCS
    2007
    Springer
    107views Theoretical Computer Science» more  ICTCS 2007»
    Dichotomy Results for Fixed Point Counting in Boolean Dynamical Systems
    16 years 1 months ago
    Dichotomy Results for Fixed Point Counting in Boolean Dynamical Systems
    Download  www14.in.tum.de
    Sven Kosub, Christopher M. Homan
    claim paper
    Read More »
    SAS
    2007
    Springer
    82views Formal Methods» more  SAS 2007»
    Static Analysis of Dynamic Communication Systems by Partner Abstraction
    16 years 29 days ago
    Static Analysis of Dynamic Communication Systems by Partner Abstraction
    Download  www.model.in.tum.de
    Jörg Bauer, Reinhard Wilhelm
    claim paper
    Read More »
    165
    Voted
    TABLEAUX
    2007
    Springer
    116views Artificial Intelligence» more  TABLEAUX 2007»
    Differential Dynamic Logic for Verifying Parametric Hybrid Systems
    16 years 29 days ago
    Differential Dynamic Logic for Verifying Parametric Hybrid Systems
    Download  symbolaris.com
    André Platzer
    claim paper
    Read More »
    APCCAS
    2006
    IEEE
    249views Hardware» more  APCCAS 2006»
    Uncertainty Management for Estimation in Dynamical Systems
    16 years 28 days ago
    Uncertainty Management for Estimation in Dynamical Systems
    Download  hal.archives-ouvertes.fr
    — A novel black-box model for time series of prices analysis is proposed. It is constructed using the technique of “shaping filter”. The model identification is then propos...
    H. Baili
    claim paper
    Read More »
    ICAC
    2006
    IEEE
    112views Applied Computing» more  ICAC 2006»
    Risk-Aware Limited Lookahead Control for Dynamic Resource Provisioning in Enterprise Computing Systems
    16 years 27 days ago
    Risk-Aware Limited Lookahead Control for Dynamic Resource Provisioning in Enterprise Computing Systems
    Download  cs.gmu.edu
    Dara Kusic, Nagarajan Kandasamy
    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.