Sciweavers

    14190 search results - page 135 / 2838
    » Abstractions for hybrid systems
    Sort
    View
    ICLP
    2009
    Springer
    173views Automated Reasoning» more  ICLP 2009»
    Constraint Based Languages for Biological Reactions
    16 years 7 months ago
    Constraint Based Languages for Biological Reactions
    Download  www.ing.unife.it
    In this paper, we study the modelization of biochemical reaction by using concurrent constraint programming idioms. In particular we will consider the stochastic concurrent constra...
    Marco Bottalico, Stefano Bistarelli
    claim paper
    Read More »
    RP
    2009
    Springer
    89views Control Systems» more  RP 2009»
    Reachability for Continuous and Hybrid Systems
    16 years 1 months ago
    Reachability for Continuous and Hybrid Systems
    Download  www-verimag.imag.fr
    Oded Maler
    claim paper
    Read More »
    CDC
    2008
    IEEE
    127views Control Systems» more  CDC 2008»
    Application of reachability analysis for stochastic hybrid systems to aircraft conflict prediction
    16 years 28 days ago
    Application of reachability analysis for stochastic hybrid systems to aircraft conflict prediction
    Download  ifly.nlr.nl
    Maria Prandini, Jianghai Hu
    claim paper
    Read More »
    CDC
    2010
    IEEE
    102views Control Systems» more  CDC 2010»
    The fundamentals of hybrid systems modelers
    15 years 1 months ago
    The fundamentals of hybrid systems modelers
    Download  www.irisa.fr
    Albert Benveniste, Benoît Caillaud, Marc Pou...
    claim paper
    Read More »
    MICCAI
    2004
    Springer
    154views Medical Imaging» more  MICCAI 2004»
    An Uncertainty-Driven Hybrid of Intensity-Based and Feature-Based Registration with Application to Retinal and Lung CT Images
    16 years 7 months ago
    An Uncertainty-Driven Hybrid of Intensity-Based and Feature-Based Registration with Application to Retinal and Lung CT Images
    Download  www.vision.cs.rpi.edu
    Abstract. A new hybrid of feature-based and intensity-based registration is presented. The algorithm reflects a new understanding of the role of alignment error in the generation o...
    Charles V. Stewart, Ying-Lin Lee, Chia-Ling Tsai
    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.