— Given a robot model and a class of admissible environments, this paper provides a framework for automatically and verifiably composing controllers that satisfy high level task...
Hadas Kress-Gazit, Georgios E. Fainekos, George J....
Given a community-contributed set of photos of a crowded public event, this paper addresses the problem of finding all images of each person in the scene. This problem is very ch...
Rahul Garg, Deva Ramanan, Steve Seitz, Noah Snavel...
This paper shows that a feedforward Multilayer Perceptron (MLP) operating over a temporal sliding window of multispectral time series MODerate-resolution Imaging Spectroradiometer...
Brian P. Salmon, Jan C. Olivier, Waldo Kleynhans, ...