2686 search results - page 276 / 538 » Parallel object monitors |
168
click to vote
IPSN
2004
Springer
16 years 3 hour 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...
170
click to vote
ECBS
2003
IEEE
15 years 12 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...
174
click to vote
IOLTS
2003
IEEE
15 years 12 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...
146
click to vote
ICCS
2003
Springer
15 years 12 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...
178
click to vote
IDA
2003
Springer
15 years 12 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...