1624 search results - page 138 / 325 » Modelling Variability for System Families |
124
click to vote
ECCV
2004
Springer
15 years 8 months ago
2004
Springer
Stochastic tracking of structured models in monolithic state spaces often requires modeling complex distributions that are difficult to represent with either parametric or sample...
114
click to vote
GI
2009
Springer
15 years 1 months ago
2009
Springer
: The evolution and structuring of plant communities is governed by local plant-to-plant interaction. It has been shown that the individual variability of the organisms and the spa...
157
Voted
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract-- An inverse modeling problem for systems governed by first-order, hyperbolic partial differential equations subject to periodic forcing is investigated. The problem is de...
110
click to vote
HYBRID
2007
Springer
15 years 9 months ago
2007
Springer
We consider the problem of verifying reachability properties of stochastic real-time systems modeled as generalized semi-Markov processes (GSMPs). The standard simulation-based tec...
128
click to vote
ATVA
2005
Springer
15 years 9 months ago
2005
Springer
We introduce a family of temporal logics to specify the behavior of systems with Zeno behaviors. We extend linear-time temporal logic LTL to authorize models admitting Zeno sequen...