Comments on "Digital tracking filters with high order correlated measurements" (and reply)
Human control strategy: abstraction, verification, and replication
A Formal Approach to Self-configurable Swarm-based Space-exploration Systems
Perseveration effects in detection tasks with correlated decision intervals
Engineering oriented dependability evaluation: MEADEP and its applications
The probability aspect of CALS (computer-aided logistic support)
Recognition and Segmentation of 3-D Human Action Using HMM and Multi-class AdaBoost
Reliability and safety analysis of a fault-tolerant controller
Improving model-based verification of embedded systems by analyzing component dependences
Reliability modeling and evaluation in real-time distributed multimedia systems
Scene-based traffic modelling and queueing analysis of MPEG video sequences
A new computerized approach to reliability assessment of complex satellite payloads
Aided navigation for disabled people: route recognition
Solution of an Optimal Sensing and Interception Problem Using Idempotent Methods
Application of Graphical Models in the Automotive Industry
A Comparative Study of Energy Minimization Methods for Markov Random Fields