3D human detection and tracking on a mobile platform for situation awareness
A Bayesian network methodology for railway risk, safety and decision support
A garbage collector & free space compactor for the parallax storage system
A Graphical User Interface for the Hybrid Control of Multi-Robot Systems under Linear Temporal Logic
An adaptive admission control and load balancing algorithm for a QoS-aware Web system
Analytic Bipedal Walking with Fused Angles and Corrective Actions in the Tilt Phase Space
Assumptions in Synthesis : An Approach to Multi-Agent Planning from Spatio-Temporal Specifications