Sciweavers

1312 search results - page 113 / 263
» Formally Optimal Boxing
Sort
View
167
Voted
ECCV
2010
Springer
15 years 19 days 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
254
Voted
TKDE
2012
245views Formal Methods» more  TKDE 2012»
13 years 5 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
113
Voted
DAGM
2009
Springer
15 years 9 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
112
Voted
CEC
2007
IEEE
15 years 9 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
15 years 8 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