6846 search results - page 1221 / 1370 » Developing an Active Observer |
117
click to vote
MOBIHOC
2008
ACM
16 years 22 days ago
2008
ACM
Mobile opportunistic networks are characterized by unpredictable mobility, heterogeneity of contact rates and lack of global information. Successful delivery of messages at low co...
116
click to vote
WSDM
2010
ACM
15 years 10 months ago
2010
ACM
Queries describe the users' search intent and therefore they play an essential role in the context of ranking for information retrieval and Web search. However, most of exist...
114
click to vote
WSDM
2010
ACM
15 years 10 months ago
2010
ACM
Sponsored search is a multi-billion dollar business that generates most of the revenue for search engines. Predicting the probability that users click on ads is crucial to sponsor...
118
click to vote
POPL
2010
ACM
15 years 10 months ago
2010
ACM
The method of logical relations is a classic technique for proving the equivalence of higher-order programs that implement the same observable behavior but employ different intern...
125
click to vote
PPOPP
2010
ACM
15 years 10 months ago
2010
ACM
Most modern Chip Multiprocessors (CMP) feature shared cache on chip. For multithreaded applications, the sharing reduces communication latency among co-running threads, but also r...