Sciweavers

1312 search results - page 113 / 263
» Formally Optimal Boxing
Sort
View
ECCV
2010
Springer
13 years 7 months ago
Aligning Spatio-Temporal Signals on a Special Manifold
We investigate the spatio-temporal alignment of videos or features/signals extracted from them. Specifically, we formally define an alignment manifold and formulate the alignment p...
Ruonan Li, Rama Chellappa
TKDE
2012
245views Formal Methods» more  TKDE 2012»
11 years 11 months ago
Semi-Supervised Maximum Margin Clustering with Pairwise Constraints
—The pairwise constraints specifying whether a pair of samples should be grouped together or not have been successfully incorporated into the conventional clustering methods such...
Hong Zeng, Yiu-ming Cheung
DAGM
2009
Springer
14 years 3 months ago
A Closed-Form Solution for Image Sequence Segmentation with Dynamical Shape Priors
In this paper, we address the problem of image sequence segmentation with dynamical shape priors. While existing formulations are typically based on hard decisions, we propose a fo...
Frank R. Schmidt, Daniel Cremers
CEC
2007
IEEE
14 years 3 months ago
Convergence and rate of convergence of a foraging ant model
— We present an ant model that solves a discrete foraging problem. We describe simulations and provide a complete convergence analysis: we show that the ant population computes t...
Amine M. Boumaza, Bruno Scherrer
HYBRID
2007
Springer
14 years 3 months ago
Motion Programs for Puppet Choreography and Control
This paper presents a motion description language (MDLp) for specifying and encoding autonomous puppetry plays in a manner that is faithful to the way puppetry choreography is curr...
Magnus Egerstedt, Todd D. Murphey, Jon Ludwig