The approaches to automatic formal verification of UML models known up to now require a finite bound on the number of objects existing at each point in time. In [4] we have observ...
We derive a probabilistic multi-scale model for contour completion based on image statistics. The boundaries of human segmented images are used as "ground truth". A prob...
Abstract. We propose a robust method to extract silhouettes of foreground objects from color video sequences. To cope with various changes in the background, the background is mode...
Hansung Kim, Ryuuki Sakamoto, Itaru Kitahara, Tomo...
We present a novel discriminative training algorithm for n-gram language models for use in large vocabulary continuous speech recognition. The algorithm uses large margin estimati...
Scene labeling research has mostly focused on outdoor scenes, leaving the harder case of indoor scenes poorly understood. Microsoft Kinect dramatically changed the landscape, show...