Sciweavers

2996 search results - page 276 / 600
» Dynamic Traveling Repairperson Problem for dynamic systems
Sort
View
TC
2010
15 years 1 months ago
Generating Reliable Code from Hybrid-Systems Models
Hybrid systems have emerged as an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. Under this paradigm, distr...
Madhukar Anand, Sebastian Fischmeister, Yerang Hur...
HPDC
1998
IEEE
15 years 11 months ago
High-Speed, Wide Area, Data Intensive Computing: A Ten Year Retrospective
Modern scientific computing involves organizing, moving, visualizing, and analyzing massive amounts of data from around the world, as well as employing largescale computation. The...
William E. Johnston
RTCSA
1997
IEEE
15 years 11 months ago
Behavior verification of hybrid real-time requirements by qualitative formalism
Although modern control theories have been successfully applied to solve a variety of problems, they are often mathematically and physically too specific to describe and analyze t...
Jang-Soo Lee, Sung Deok Cha
CIARP
2006
Springer
15 years 10 months ago
Gender Classification of Faces Using Adaboost
In this work it is described a framework for classifying face images using Adaboost and domain-partitioning based classifiers. The most interesting aspect of this framework is the ...
Rodrigo Verschae, Javier Ruiz-del-Solar, Mauricio ...
CDC
2009
IEEE
156views Control Systems» more  CDC 2009»
15 years 10 months ago
An optimization approach to adaptive Kalman filtering
— In this paper, an optimization-based adaptive Kalman filtering method is proposed. The method produces an estimate of the process noise covariance matrix Q by solving an optim...
Maja Karasalo, Xiaoming Hu