A Formally Verified Conflict Detection Algorithm for Polynomial Trajectories
Head Pose Estimation Using Multilinear Subspace Analysis for Robot Human Awareness
Using a Filter-Based Sequential Quadratic Programming Algorithm in a Parallel Environment
Key Frame-Based Activity Representation Using Antieigenvalues
Performance Indicators for Measuring Pavement Maintenance Management
Development of a Coupled Expert System for the Spacecraft Attitude Control Problem
Transient Response of Butterworth Approximations of Ideal Low-Pass Filters