4075 search results - page 68 / 815 » Modeling Distributed Algorithm Using B |
ICASSP
2010
IEEE
13 years 9 months ago
2010
IEEE
A distributed set-membership-constrained particle filter (SMCPF) is developed for decentralized tracking applications using wireless sensor networks. Unlike existing PF alternati...
AAAI
2010
13 years 7 months ago
2010
Different solvers for computationally difficult problems such as satisfiability (SAT) perform best on different instances. Algorithm portfolios exploit this phenomenon by predicti...
WSC
1997
13 years 10 months ago
1997
This paper discusses the design, development, and use of a performance monitoring tool for Distributed Interactive Simulations (DIS). A typical DIS environment consists of hundred...
MODELS
2009
Springer
14 years 3 months ago
2009
Springer
We present a novel technique for applying two-level runtime models to distributed systems. Our approach uses graph rewriting rules to transform a high-level source model into one o...
ICIP
2006
IEEE
14 years 11 months ago
2006
IEEE
1 This paper addresses the problem of side information generation in distributed video compression (DVC) schemes. Intermediate frames constructed by motioncompensated interpolation...