Sciweavers

4451 search results - page 53 / 891
» Continuous model synthesis
Sort
View
123
Voted
CVPR
2003
IEEE
15 years 6 months ago
Continuous Tracking Within and Across Camera Streams
This paper presents a new approach for continuous tracking of moving objects observed by multiple, heterogeneous cameras. Our approach simultaneously processes video streams from ...
Jinman Kang, Isaac Cohen, Gérard G. Medioni
FOSSACS
2012
Springer
13 years 8 months ago
Synthesizing Probabilistic Composers
Synthesis from components is the automated construction of a composite system from a library of reusable components such that the system satisfies the given specification. This i...
Sumit Nain, Moshe Y. Vardi
119
Voted
ICIP
2007
IEEE
15 years 2 months ago
Bayesian Example Based Segmentation using a Hybrid Energy Model
This paper describes a supervised segmentation algorithm which draws inspiration from recent advances in non-parametric texture synthesis. A set of example images which have been ...
Claire Gallagher, Anil C. Kokaram
87
Voted
CDC
2010
IEEE
137views Control Systems» more  CDC 2010»
14 years 7 months ago
Analysis of optimal control models for the human locomotion
In recent papers it has been suggested that human locomotion may be modeled as an inverse optimal control problem. In this paradigm, the trajectories are assumed to be solutions of...
Yacine Chitour, Francesca C. Chittaro, Fréd...
110
Voted
LICS
2009
IEEE
15 years 7 months ago
Applications of Game Semantics: From Program Analysis to Hardware Synthesis
After informally reviewing the main concepts from game semantics and placing the development of the field in a historical context we examine its main applications. We focus in pa...
Dan R. Ghica