125
click to vote
SIGIR
2010
ACM
15 years 8 months ago
2010
ACM
It has been observed that precision increases with collection size. One explanation could be that the redundancy of information increases, making it easier to find multiple docum...
119
click to vote
SIGIR
2010
ACM
15 years 8 months ago
2010
ACM
In this paper, a language model adapted to graph-based representation of image content is proposed and assessed. The full indexing and retrieval processes are evaluated on two di...
SIGIR
2010
ACM
15 years 8 months ago
2010
ACM
155
click to vote
CSL
2009
Springer
15 years 8 months ago
2009
Springer
The aim of this paper is to understand the interplay between intersection, universally quantified, and reference types. Putting together the standard typing rules for intersection,...
185
click to vote
RTA
2010
Springer
15 years 8 months ago
2010
Springer
We present an automated approach to prove termination of Java Bytecode (JBC) programs by automatically transforming them to term rewrite systems (TRSs). In this way, the numerous t...