4075 search results - page 697 / 815 » Modeling Distributed Algorithm Using B |
213
click to vote
SIGIR
2011
ACM
14 years 9 months ago
2011
ACM
Pseudo-relevance feedback has proven effective for improving the average retrieval performance. Unfortunately, many experiments have shown that although pseudo-relevance feedback...
170
click to vote
MOBICOM
2009
ACM
16 years 27 days ago
2009
ACM
Wireless sensor networks (WSNs) have been increasingly available for critical applications such as security surveillance and environmental monitoring. An important performance mea...
160
click to vote
AINA
2010
IEEE
15 years 10 months ago
2010
IEEE
One important challenge in wireless ad hoc networks is to achieve collision free communication. Many MAC layer protocols have been proposed by considering various communication mod...
180
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
We introduce a novel case study in which a group of miniaturized robots screen an environment for undesirable agents, and destroy them. Because miniaturized robots are usually end...
181
click to vote
PODS
2011
ACM
14 years 9 months ago
2011
ACM
Scientific workflow systems increasingly store provenance information about the module executions used to produce a data item, as well as the parameter settings and intermediate...