4075 search results - page 436 / 815 » Modeling Distributed Algorithm Using B |
189
Voted
ATAL
2005
Springer
16 years 1 months 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...
204
Voted
DATE
2010
IEEE
16 years 17 days 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...
310
click to vote
ECCV
2008
Springer
15 years 9 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...
196
Voted
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...
201
Voted
CLUSTER
2005
IEEE
16 years 1 months 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...