4962 search results - page 554 / 993 » Stochastic Model Checking |
166
click to vote
KDD
2010
ACM
15 years 8 months ago
2010
ACM
We propose an online topic model for sequentially analyzing the time evolution of topics in document collections. Topics naturally evolve with multiple timescales. For example, so...
184
click to vote
CVPR
2004
IEEE
15 years 8 months ago
2004
IEEE
In this paper, we propose a generative model for representing complex motion, such as wavy river, dancing fire and dangling cloth. Our generative method consists of four component...
134
click to vote
WSC
2008
15 years 7 months ago
2008
We develop a model of golfer putting skill and combine it with physics-based putt trajectory and holeout models to study the impact of doubling the radius of the hole on the putti...
158
click to vote
GECCO
2008
Springer
15 years 5 months ago
2008
Springer
In this work we present a new methodology for structure and parameter estimation in cell systems biology modelling. Our modelling framework is based on P systems, an unconl comput...
129
click to vote
ENTCS
2010
15 years 4 months ago
2010
Molecular biological models usually suffer from a large combinatorial explosion. Indeed, proteins form complexes and modify each others, which leads to the formation of a huge num...