3553 search results - page 37 / 711 » Association Computation for Information Access |
102
click to vote
CGO
2003
IEEE
15 years 7 months ago
2003
IEEE
In this paper we present the internal representation and optimizations used by the CASH compiler for improving the memory parallelism of pointer-based programs. CASH uses an SSA-b...
HICSS
2009
IEEE
15 years 8 months ago
2009
IEEE
Many institutions are currently investigating the feasibility of creating Computer Security Laboratory environments for their researchers and students. This paper compares four of...
110
click to vote
IADIS
2004
15 years 3 months ago
2004
Relevance feedback has been considered as a means of incorporating learning into information retrieval systems for quite sometime now. This paper discusses the research results of...
111
click to vote
TACAS
2010
Springer
15 years 9 months ago
2010
Springer
We address the problem of computing the information leakage of a system in an efficient way. We propose two methods: one based on reducing the problem to reachability, and the oth...
115
click to vote
TACAS
2009
Springer
15 years 8 months ago
2009
Springer
CEDAR (Counter Example Driven Antichain Refinement) is a new symbolic algorithm for computing weakest strategies for safety games of imperfect information. The algorithm computes ...