12659 search results - page 452 / 2532 » The distributed breakout algorithms |
207
click to vote
FASE
2006
Springer
15 years 11 months ago
2006
Springer
We present an algorithm for automatic testing of distributed programs, such as Unix processes with inter-process communication and Web services. Specifically, we assume that a prog...
237
click to vote
ENTCS
2008
15 years 7 months ago
2008
The verification of quantitative aspects like performance and dependability by means of model checking has become an important and vivid area of research over the past decade. An ...
231
click to vote
DATAMINE
2006
15 years 7 months ago
2006
Efficiently detecting outliers or anomalies is an important problem in many areas of science, medicine and information technology. Applications range from data cleaning to clinica...
230
click to vote
ICASSP
2009
IEEE
16 years 2 months ago
2009
IEEE
Abstract –In this paper, a variational message passing framework is proposed for Markov random fields, which is computationally more efficient and admits wider applicability comp...
203
click to vote
ICC
2007
IEEE
16 years 2 months ago
2007
IEEE
— We consider the design of a sensor network for detecting an emitter who if present is known to be located in an interval but whose exact position is unknown. We seek to minimiz...