Performance Evaluation of IEEE 1609 WAVE for Vehicular Communications
Markov Chain Modeling and On-Board Identification for Automotive Vehicles
Traffic monitoring and accident detection at intersections
Markov Game Controller Design Algorithms
Partitioned QoS solution for tactical networks - addressing the of encryption
Availability of CAUTRA, a subset of the French air traffic control system
An Evacuation Decision Making Model for Firefighters in Ad Hoc Robot Network
A computer vision-based assistant system for the assembly of narrow cabin products
Developing aerospace applications with a reliable Web services paradigm
Trajectory-Based Modified Policy Iteration
Petri Net Based Safety Evaluation Approach for Aircraft under the Threats of Traditional Weapons
Analysis of (railway) vehicle behaviors on a CVS station model with Markov renewal theory
Application of Markov renewal theory to station models of the CVS
An adaptive localization system for outdoor/indoor navigation for autonomous robots
Understanding object relations in traffic scenes
A Point-based MDP for Robust Single-Lane Autonomous Driving Behavior under Uncertainties
A commute advisory system. II. Performance evaluation
Research of Vector Quantization Algorithm in Face Recognition System
A novel adaptive traffic controller based on Hidden Markov Model and answer set programming
Skill Metrics for Mobile Crane Operators Based on Gaze Fixation Pattern
Preventive traffic control with intelligent variable message signs
Key Frame-Based Activity Representation Using Antieigenvalues
Markovian Framework for Foreground-Background-Shadow Separation of Real World Video Scenes
Tracking Targets Via Particle Based Belief Propagation
Performance analysis of recoverable flight control systems using hybrid dynamical models
Comments on "Digital tracking filters with high order correlated measurements" (and reply)
Efficient Graph Cuts for Multiclass Interactive Image Segmentation
Vehicle speed prediction for driver assistance systems
A Multi-Layer MRF Model for Video Object Segmentation
Modeling system calls for intrusion detection with dynamic window sizes
Human control strategy: abstraction, verification, and replication
A Formal Approach to Self-configurable Swarm-based Space-exploration Systems
Online-Analyse von Fahrstrategien kognitiver autonomer Fahrzeuge
Reliability analysis of CAN nodes under electromagnetic interference
Perseveration effects in detection tasks with correlated decision intervals
The probability aspect of CALS (computer-aided logistic support)
Engineering oriented dependability evaluation: MEADEP and its applications
Recognition and Segmentation of 3-D Human Action Using HMM and Multi-class AdaBoost
Reliability and safety analysis of a fault-tolerant controller