Sciweavers

844 search results - page 167 / 169
» Reachability in Linear Dynamical Systems
Sort
View
BMCBI
2008
86views more  BMCBI 2008»
14 years 10 months ago
Piecewise multivariate modelling of sequential metabolic profiling data
Background: Modelling the time-related behaviour of biological systems is essential for understanding their dynamic responses to perturbations. In metabolic profiling studies, the...
Mattias Rantalainen, Olivier Cloarec, Timothy M. D...
CORR
2010
Springer
109views Education» more  CORR 2010»
14 years 10 months ago
Towards the Development of a Simulator for Investigating the Impact of People Management Practices on Retail Performance
Models to understand the impact of management practices on retail performance are often simplistic and assume low levels of noise and linearity. Of course, in real-life, retail op...
Peer-Olaf Siebers, Uwe Aickelin, Helen Celia, Chri...
PAMI
2006
358views more  PAMI 2006»
14 years 10 months ago
Recovering 3D Human Pose from Monocular Images
We describe a learning based method for recovering 3D human body pose from single images and monocular image sequences. Our approach requires neither an explicit body model nor pri...
Ankur Agarwal, Bill Triggs
ASE
2005
137views more  ASE 2005»
14 years 10 months ago
Rewriting-Based Techniques for Runtime Verification
Techniques for efficiently evaluating future time Linear Temporal Logic (abbreviated LTL) formulae on finite execution traces are presented. While the standard models of LTL are i...
Grigore Rosu, Klaus Havelund
AROBOTS
2002
131views more  AROBOTS 2002»
14 years 10 months ago
Automated Derivation of Primitives for Movement Classification
Abstract. We describe a new method for representing human movement compactly, in terms of a linear superimposition of simpler movements termed primitives. This method is a part of ...
Ajo Fod, Maja J. Mataric, Odest Chadwicke Jenkins