In this paper, we present a system we have developed for automatic TV News video indexing that successfully combines results from the fields of speaker verification, acoustic anal...
This paper presents the Compliant Task Generator: a new approach for the automatic conversion of a geometric path generated by a compliant path planner to a force based task specif...
Wim Meeussen, Ernesto Staffetti, Herman Bruyninckx...
We present ACQUINE - Aesthetic Quality Inference Engine, a publicly accessible system which allows users to upload their photographs and have them rated automatically for aestheti...
Many approaches to software verification are currently semi-automatic: a human must provide key logical insights — e.g., loop invariants, class invariants, and frame axioms tha...
This paper introduces a methodology for adding color to grayscale images in a way that is completely automatic. Towards this goal, we build on a technique that was recently develo...
Luiz Filipe M. Vieira, Rafael D. Vilela, Erickson ...