Sciweavers

938 search results - page 137 / 188
» Dynamic QoS Control Based on the QoS-Ticket Model
Sort
View
COMPSAC
2004
IEEE
15 years 1 months ago
Protein Functional Motion Query and Visualization
Function is a dynamic property closely related to the conformational mechanisms of the protein structure in its physiological environment. Efficient methods and tools for predicti...
Xiong Liu, Hassan A. Karimi, Lee-Wei Yang, Ivet Ba...
ICONS
2008
IEEE
15 years 4 months ago
Analysis of Hybrid Systems Using HySAT
In this paper we describe the complete workflow of analyzing the dynamic behavior of safety-critical embedded systems with HySAT. HySAT is an arithmetic constraint solver with a ...
Christian Herde, Andreas Eggers, Martin Fränz...
ICIP
2006
IEEE
15 years 11 months ago
Image-Based Simulation of Gaseous Material
We present a method for real-time image based simulation of gaseous material such as fire and smoke. We model the kinematics of these phenomena by a mass-spring system, and their ...
Murat Balci, Mais Alnasser, Hassan Foroosh
SAB
2004
Springer
198views Optimization» more  SAB 2004»
15 years 3 months ago
A Review of Probabilistic Macroscopic Models for Swarm Robotic Systems
Abstract. In this paper, we review methods used for macroscopic modeling and analyzing collective behavior of swarm robotic systems. Although the behavior of an individual robot in...
Kristina Lerman, Alcherio Martinoli, Aram Galstyan
CDC
2009
IEEE
164views Control Systems» more  CDC 2009»
14 years 7 months ago
Real-time MPC - Stability through robust MPC design
Recent results have suggested that online Model Predictive Control (MPC) can be computed quickly enough to control fast sampled systems. High-speed applications impose a hard real-...
Melanie Nicole Zeilinger, Colin Neil Jones, Davide...