5398 search results - page 246 / 1080 » Markov Face Models |
158
click to vote
ENTCS
2008
15 years 6 months ago
2008
This paper considers QLtl, a quantitative analagon of Ltl and presents algorithms for model checking QLtl over quantitative versions of Kripke structures and Markov chains.
170
click to vote
TRIER
2002
15 years 6 months ago
2002
In the present paper, the classical Brownian motion of a particle suspended in an homogeneous liquid is modeled as a piecewise
155
click to vote
SIGSOFT
2009
ACM
16 years 7 months ago
2009
ACM
In this paper, we present Reo2MC, a tool chain for the performance evaluation of coordination models. Given a coordination model represented by a stochastic Reo connector, Reo2MC ...
190
click to vote
DSN
2005
IEEE
15 years 8 months ago
2005
IEEE
In general, decision support is one of the main purposes of model-based analysis of systems. Response surface methodology (RSM) is an optimization technique that has been applied ...
258
click to vote
ICCV
2007
IEEE
16 years 8 months ago
2007
IEEE
Topic models have recently emerged as powerful tools for modeling topical trends in documents. Often the resulting topics are broad and generic, associating large groups of people...