780 search results - page 156 / 156 » Correctness of Component-Based Adaptation |
103
Voted
ICASSP
2011
IEEE
14 years 1 months ago
2011
IEEE
Recognizing the location and orientation of a mobile device from captured images is a promising application of image retrieval algorithms. Matching the query images to an existing...
174
Voted
CADE
2011
Springer
13 years 9 months ago
2011
Springer
Deduction modulo is a generic framework to describe proofs in a theory better than using raw axioms. This is done by presenting the theory through rules rewriting terms and proposi...
POPL
2012
ACM
13 years 5 months ago
2012
ACM
JavaScript has become the most widely used language for clientside web programming. The dynamic nature of JavaScript makes understanding its code notoriously difficult, leading t...
CCS
2007
ACM
15 years 3 months ago
2007
ACM
Spam filters often use the reputation of an IP address (or IP address range) to classify email senders. This approach worked well when most spam originated from senders with fix...
119
click to vote
MOBICOM
2004
ACM
15 years 2 months ago
2004
ACM
We demonstrate a system built using probabilistic techniques that allows for remarkably accurate localization across our entire office building using nothing more than the built-...