3690 search results - page 553 / 738 » Computation with classical sequents |
129
click to vote
IMC
2006
ACM
15 years 11 months ago
2006
ACM
Remote code injection exploits inflict a significant societal cost, and an active underground economy has grown up around these continually evolving attacks. We present a method...
124
click to vote
ISSTA
2006
ACM
15 years 11 months ago
2006
ACM
Test campaigns usually require only a restricted subset of paths in a program to be thoroughly tested. As random testing (RT) offers interesting fault-detection capacities at low ...
164
click to vote
IWCMC
2006
ACM
15 years 11 months ago
2006
ACM
In this paper, We mathematically model the In-Range localization scheme in the presence of a Mobile Beacon. In the In-Range localization scheme, a sensor with unknown location is ...
149
click to vote
SIGIR
2006
ACM
15 years 11 months ago
2006
ACM
Vector Space Model (VSM) has been at the core of information retrieval for the past decades. VSM considers the documents as vectors in high dimensional space. In such a vector spa...
134
click to vote
UIST
2006
ACM
15 years 11 months ago
2006
ACM
Navigation services (e.g., in-car navigation systems and online mapping sites) compute routes between two locations to help users navigate. However, these routes may direct users ...