Sciweavers

93
Voted
TCOM
2008
108views more  TCOM 2008»
14 years 10 months ago
Two-relay distributed switch and stay combining
We study a distributed version of switch-and-stay combining (DSSC) for systems that utilize two relays. In particular, four different scenarios are considered, depending on a) whet...
Diomidis S. Michalopoulos, George K. Karagiannidis
109
Voted
ECML
1997
Springer
15 years 2 months ago
Parallel and Distributed Search for Structure in Multivariate Time Series
Abstract. E cient data mining algorithms are crucial fore ective knowledge discovery. We present the Multi-Stream Dependency Detection (msdd) data mining algorithm that performs a ...
Tim Oates, Matthew D. Schmill, Paul R. Cohen
90
Voted
SPIN
2001
Springer
15 years 2 months ago
Distributed LTL Model-Checking in SPIN
Abstract. In this paper we propose a distributed algorithm for modelchecking LTL. In particular, we explore the possibility of performing nested depth-first search algorithm in di...
Jiri Barnat, Lubos Brim, Jitka Stríbrn&aacu...