4075 search results - page 436 / 815 » Modeling Distributed Algorithm Using B |
168
click to vote
ATAL
2005
Springer
16 years 11 days ago
2005
Springer
Cooperation among autonomous agents involves an inherent degree of uncertainty. Agents determine for themselves when to initiate cooperation or to assist others, when to rescind c...
190
click to vote
DATE
2010
IEEE
15 years 12 months ago
2010
IEEE
—We present a new technique for statistical static timing analysis (SSTA) based on Markov chain Monte Carlo (MCMC), that allows fast and accurate estimation of the right-hand tai...
281
click to vote
ECCV
2008
Springer
15 years 8 months ago
2008
Springer
Pedestrian detection in still image should handle the large appearance and stance variations arising from the articulated structure, various clothing of human as well as viewpoints...
167
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
We propose a simple and energy efficient distributed Change Detection scheme for sensor networks based on Page’s parametric CUSUM algorithm. The sensor observations are IID ove...
175
click to vote
CLUSTER
2005
IEEE
16 years 13 days ago
2005
IEEE
In the area of Grid computing, there is a growing need to process large amounts of data. To support this trend, we need to develop efficient parallel storage systems that can prov...