Sciweavers

3218 search results - page 468 / 644
» Tracking Climate Models
Sort
View
108
Voted
ENTCS
2007
101views more  ENTCS 2007»
15 years 3 months ago
Model-checking Distributed Components: The Vercors Platform
This article presents a component verification platform called Vercors providing means to analyse the behaviour properties of applications built from distributed components. From...
Tomás Barros, Antonio Cansado, Eric Madelai...
143
Voted
PAMI
2008
231views more  PAMI 2008»
15 years 3 months ago
Nonrigid Structure-from-Motion: Estimating Shape and Motion with Hierarchical Priors
This paper describes methods for recovering time-varying shape and motion of nonrigid 3D objects from uncalibrated 2D point tracks. For example, given a video recording of a talkin...
Lorenzo Torresani, Aaron Hertzmann, Christoph Breg...
117
Voted
CCE
2005
15 years 3 months ago
New rigorous one-step MILP formulation for heat exchanger network synthesis
In this paper, a rigorous MILP formulation for grass-root design of heat exchanger networks is developed. The methodology does not rely on traditional supertargeting followed by n...
Andrés F. Barbaro, Miguel J. Bagajewicz
140
Voted
JIRS
2007
116views more  JIRS 2007»
15 years 3 months ago
Recognition of Human Motion From Qualitative Normalised Templates
Abstract This paper proposes a Qualitative Normalised Templates (QNTs) framework for solving the human motion classification problem. In contrast to other human motion classifica...
Chee Seng Chan, Honghai Liu, David J. Brown
129
Voted
KES
2007
Springer
15 years 3 months ago
Adapting robot kinematics for human-arm motion recognition
Abstract. This paper presents a novel method to the analysis of human-arm motion, in particular improving the efficiency of conventional motion recognition algorithms. Contrary to...
Chee Seng Chan, Honghai Liu, David Brown