4341 search results - page 407 / 869 » Quantitative Model checking |
197
click to vote
EVOW
2009
Springer
15 years 4 months ago
2009
Springer
One of the purposes of Systems Biology is the quantitative modeling of biochemical networks. In this effort, the use of dynamical mathematical models provides for powerful tools in...
192
click to vote
COGSR
2010
15 years 1 months ago
2010
Emotion regulation describes how a subject can use certain strategies to affect emotion response levels. Usually, models for emotion regulation assume mechanisms based on feedback...
206
click to vote
CVPR
2012
IEEE
13 years 9 months ago
2012
IEEE
We present a machine learning framework that automatically generates a model set of landmarks for some class of registered 3D objects: here we use human faces. The aim is to repla...
211
click to vote
CVPR
2006
IEEE
16 years 8 months ago
2006
IEEE
The detection and tracking of three-dimensional human body models has progressed rapidly but successful approaches typically rely on accurate foreground silhouettes obtained using...
175
click to vote
IEEEIAS
2007
IEEE
16 years 1 months ago
2007
IEEE
Generative models of pattern individuality attempt to represent the distribution of observed quantitative features, e.g., by learning parameters from a database, and then use such...