2686 search results - page 276 / 538 » Parallel object monitors |
128
click to vote
IPSN
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper describes two methodologies for performing distributed particle filtering in a sensor network. It considers the scenario in which a set of sensor nodes make m...
134
click to vote
ECBS
2003
IEEE
15 years 9 months ago
2003
IEEE
We present an algebraic framework for evidence exploration: the process of interpreting, manipulating, and navigating the proof structure or evidence produced by a model checker w...
142
click to vote
IOLTS
2003
IEEE
15 years 9 months ago
2003
IEEE
We discuss the design of a novel analog checker that monitors two duplicate signals and provides a digital error indication when their absolute difference is unacceptably large. Th...
114
click to vote
ICCS
2003
Springer
15 years 9 months ago
2003
Springer
In this paper we present the design of a multidisciplined problem solving environment (MPSE) for supporting an efficient prediction capability for the response of multiscale interd...
135
click to vote
IDA
2003
Springer
15 years 9 months ago
2003
Springer
The segmentation of time-series is a constrained clustering problem: the data points should be grouped by their similarity, but with the constraint that all points in a cluster mus...