5785 search results - page 450 / 1157 » Approximability of Probability Distributions |
166
click to vote
CONCUR
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. In this paper we discuss the role of labels in transition systems with regard to bisimilarity and model checking problems. We suggest a general reduction from labelled tr...
185
click to vote
ICIP
2000
IEEE
15 years 11 months ago
2000
IEEE
Point Distribution Models are useful tools for modelling the variability of particular classes of shapes. A common approach is to apply a Principle Component Analysis to the data,...
208
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract— In this paper we propose centralized feedback control laws for mobile sensor networks so that sensor trajectories cover a given domain as uniformly as possible. The des...
188
click to vote
ATVA
2008
Springer
15 years 8 months ago
2008
Springer
We show how fault injection together with recent advances in stochastic model checking can be combined to form a crucial ingredient for improving quantitative safety analysis. Base...
157
click to vote
CONCUR
2008
Springer
15 years 8 months ago
2008
Springer
We consider nondeterministic and probabilistic termination problems in a process algebra that is equivalent to basic chemistry. We show that the existence of a terminating computat...