4743 search results - page 634 / 949 » The PlusCal Algorithm Language |
141
click to vote
CASES
2010
ACM
15 years 5 days ago
2010
ACM
The performance of most embedded systems is critically dependent on the memory hierarchy performance. In particular, higher cache hit rate can provide significant performance boos...
207
click to vote
FOSSACS
2011
Springer
14 years 5 months ago
2011
Springer
Traditional automata accept or reject their input, and are therefore Boolean. In contrast, weighted automata map each word to a value from a semiring over a large domain. The speci...
163
click to vote
SIGIR
2011
ACM
14 years 5 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...
152
click to vote
ICCV
2011
IEEE
14 years 2 months ago
2011
IEEE
Rank correlation measures are known for their resilience to perturbations in numeric values and are widely used in many evaluation metrics. Such ordinal measures have rarely been ...
135
click to vote
CCS
2011
ACM
14 years 2 months ago
2011
ACM
We present the design, implementation and evaluation of an algorithm that checks audit logs for compliance with privacy and security policies. The algorithm, which we name reduce,...