Abstract— We study the problem of designing control strategies for nondeterministic transitions systems enforcing the satisfaction of Linear Temporal Logic (LTL) formulas over th...
Existing approaches for optimizing queries in data integration use decoupled strategies–attempting to optimize coverage and cost in two separate phases. Since sources tend to ha...
Producing an accurate motion flow field is very difficult at motion boundaries. We present a novel, noniterative approach for segmentation from image motion, based on two voting p...
Virtual mannequins need to navigate in order to interact with their environment. Their autonomy to accomplish the navigation task is ensured by locomotion controllers. Control inp...
Abstract— Robots need to track object. Object tracking efficiency completely depends on the accuracy of the motion model and of the sensory information. Interestingly, when mult...