626 search results - page 79 / 126 » When Can Formal Methods Make a Real Difference |
144
Voted
KDD
2012
ACM
13 years 6 months ago
2012
ACM
Online reviews provide consumers with valuable information that guides their decisions on a variety of fronts: from entertainment and shopping to medical services. Although the pr...
176
Voted
SIGIR
2011
ACM
14 years 6 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...
139
click to vote
ECCV
2002
Springer
16 years 5 months ago
2002
Springer
We present a new method for the detection and estimation of multiple illuminants, using one image of any object with known geometry and Lambertian reflectance. Our method obviates ...
156
click to vote
CAV
2004
Springer
15 years 7 months ago
2004
Springer
We study the problem of formally verifying shared memory multiprocessor executions against memory consistency models--an important step during post-silicon verification of multipro...
117
Voted
WIOPT
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract— In this paper, we study the performance of clientAccess Point (AP) association policies in IEEE 802.11 based WLANs. In many scenarios, clients have a choice of APs with...