Sciweavers

82 search results - page 10 / 17
» Parameter Synthesis in Nonlinear Dynamical Systems: Applicat...
Sort
View
FMSB
2008
130views Formal Methods» more  FMSB 2008»
13 years 10 months ago
Approximating Continuous Systems by Timed Automata
In this work we develop a new technique for over-approximating (in the sense of timed trace inclusion) continuous dynamical systems by timed auThis technique refines commonly-used ...
Oded Maler, Grégory Batt
ICCV
1999
IEEE
14 years 10 months ago
A Dynamic Bayesian Network Approach to Figure Tracking using Learned Dynamic Models
The human figure exhibits complex and rich dynamic behavior that is both nonlinear and time-varying. However, most work on tracking and synthesizing figure motion has employed eit...
Vladimir Pavlovic, James M. Rehg, Tat-Jen Cham, Ke...
PAMI
2008
182views more  PAMI 2008»
13 years 8 months ago
Gaussian Process Dynamical Models for Human Motion
We introduce Gaussian process dynamical models (GPDMs) for nonlinear time series analysis, with applications to learning models of human pose and motion from high-dimensional motio...
Jack M. Wang, David J. Fleet, Aaron Hertzmann
DAC
2007
ACM
14 years 9 months ago
Synthesizing Stochasticity in Biochemical Systems
Randomness is inherent to biochemistry: at each instant, the sequence of reactions that fires is a matter of chance. Some biological systems exploit such randomness, choosing betw...
Brian Fett, Jehoshua Bruck, Marc D. Riedel
CMSB
2011
Springer
12 years 8 months ago
Coloured stochastic multilevel multiset rewriting
From the phosphorylation state of a molecule to the volume of a cell, parameters are ubiquitous in systems biology. At the same time, most models involve static or dynamic compart...
Nicolas Oury, Gordon D. Plotkin