Sciweavers

    12115 search results - page 205 / 2423
    » Bisimulation of Dynamical Systems
    Sort
    View
    101
    Voted
    SAS
    2007
    Springer
    82views Formal Methods» more  SAS 2007»
    Static Analysis of Dynamic Communication Systems by Partner Abstraction
    15 years 10 months 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 »
    TABLEAUX
    2007
    Springer
    116views Artificial Intelligence» more  TABLEAUX 2007»
    Differential Dynamic Logic for Verifying Parametric Hybrid Systems
    15 years 10 months 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
    15 years 10 months 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
    15 years 10 months 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 »
    ICRA
    2006
    IEEE
    80views Robotics» more  ICRA 2006»
    Dynamic Regrasping using a High-speed Multifingered Hand and a High-speed vision System
    15 years 10 months ago
    Dynamic Regrasping using a High-speed Multifingered Hand and a High-speed vision System
    Download  www.k2.t.u-tokyo.ac.jp
    Noriatsu Furukawa, Akio Namiki, Taku Senoo, Masato...
    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.