Communication System / Formal Verification / Real Time / High performance / Formal Model / SDL / Embedded System / Real Time Operating System / SDL / Embedded System / Real Time Operating System
Natural Language Processing / Object Recognition / Template matching / Real Time / High Resolution / Sliding Window / Large Scale / Sliding Window / Large Scale
Signal Processing / Data acquisition / Algorithm Design / Real Time / Electrocardiogram / Digital Filter Design / Digital Filters / Design and Implementation / Digital Filter Design / Digital Filters / Design and Implementation
Computer Vision / Object Tracking / First-Order Logic / Real Time / Particle Filter / Data Association / Real Time Application / Markov chain / Cumulant / Data Association / Real Time Application / Markov chain / Cumulant