Sciweavers

12032 search results - page 820 / 2407
» Simulation of Manufacturing Systems
Sort
View
RTCSA
1997
IEEE
15 years 12 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
CDC
2009
IEEE
156views Control Systems» more  CDC 2009»
15 years 11 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
WSC
2007
15 years 10 months ago
Single-stage multiple-comparison procedure for quantiles and other parameters
We present a single-stage multiple-comparison procedure for comparing parameters of independent systems, where the parameters are not necessarily means or steady-state means. We a...
Marvin K. Nakayama
ICAD
2004
15 years 9 months ago
Creating Functional and Livable Soundscapes for Peripheral Monitoring of Dynamic Data
Sonifications must be studied in order to match listener expectancies about data representation in the form of sound. In this study, a system was designed and implemented for dyna...
Brad S. Mauney, Bruce N. Walker
I3E
2001
196views Business» more  I3E 2001»
15 years 9 months ago
Security Modelling for Electronic Commerce: The Common Electronic Purse Specifications
: Designing security-critical systems correctly is very difficult. We present work on software engineering of security critical systems, supported by the CASE tool AUTOFOCUS. Secur...
Jan Jürjens, Guido Wimmel