9219 search results - page 242 / 1844 » Dynamics Modeling and Culling |
177
click to vote
SPIN
2009
Springer
16 years 4 days ago
2009
Springer
While symmetry reduction has been established to be an important technique for reducing the search space in model checking, its application in concurrent software verification is ...
179
Voted
CMSB
2010
Springer
15 years 18 days ago
2010
Springer
Boolean modeling frameworks have long since proved their worth for capturing and analyzing essential characteristics of complex systems. Hybrid approaches aim at exploiting the ad...
138
click to vote
TWC
2010
15 years 8 days ago
2010
Abstract--In this paper, we propose a novel spectrum occupancy model designed to generate accurate temporal and frequency behavior of various wireless transmissions. Our proposed w...
189
click to vote
EDOC
2011
IEEE
14 years 5 months ago
2011
IEEE
—In this paper, we present a UML metamodel-based approach for creating and executing workflow models. The modeling language is introduced through its abstract syntax, and an eval...
199
click to vote
CSDA
2011
15 years 18 days ago
2011
Motivated by the application of seismic inversion in the petroleum industry we consider a hidden Markov model with two hidden layers. The bottom layer is a Markov chain and given ...