9572 search results - page 1804 / 1915 » Cover Algorithms and Their Combination |
97
Voted
ICFP
2007
ACM
16 years 23 days ago
2007
ACM
We present a model checker for verifying distributed programs written in the Erlang programming language. Providing a model checker for Erlang is especially rewarding since the la...
109
click to vote
ICDE
2010
IEEE
16 years 17 days ago
2010
IEEE
Abstract-- Mapping mashups are emerging Web 2.0 applications in which data objects such as blogs, photos and videos from different sources are combined and marked in a map using AP...
120
Voted
MOBISYS
2008
ACM
16 years 12 days ago
2008
ACM
Over the course of a day a human interacts with tens or hundreds of individual objects. Many of these articles are nomadic, relying on human memory to manually index, inventory, o...
90
Voted
WSDM
2010
ACM
15 years 10 months ago
2010
ACM
Modeling query concepts through term dependencies has been shown to have a significant positive effect on retrieval performance, especially for tasks such as web search, where rel...
155
Voted
PPOPP
2010
ACM
15 years 10 months ago
2010
ACM
Effective data placement strategies can enhance the performance of data-intensive applications implemented on high end computing clusters. Such strategies can have a significant i...