503 search results - page 51 / 101 » Verifying Quantitative Properties Using Bound Functions |
113
Voted
DSVIS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
142
Voted
TIT
2010
14 years 9 months ago
2010
The significant and meaningful fraction of all the potential information residing in the molecules and structures of living systems is unknown. Sets of random molecular sequences o...
117
Voted
CP
2006
Springer
15 years 6 months ago
2006
Springer
We consider probabilistic constrained linear programs with general distributions for the uncertain parameters. These problems generally involve non-convex feasible sets. We develo...
158
Voted
LICS
2012
IEEE
13 years 5 months ago
2012
IEEE
—We study the logic of dynamical systems, that is, logics and proof principles for properties of dynamical systems. Dynamical systems are mathematical models describing how the s...
135
Voted
IJISTA
2008
15 years 2 months ago
2008
Data mining methods can be used for discovering interesting patterns in manufacturing databases. These patterns can be used to improve manufacturing processes. However, data accum...