33 search results - page 1 / 7 » What Else Is There |
GREC
2009
Springer
13 years 7 months ago
2009
Springer
This paper tries to sum up the discussions held during the sessions of GREC’09, as well as at the final panel session. As it is always good to know where you are coming from, th...
FOSSACS
2008
Springer
13 years 6 months ago
2008
Springer
We introduce a new decidable logic for reasoning about infinite arrays of integers. The logic is in the first-order fragment and allows (1) Presburger constraints on existentially...
CHI
2008
ACM
13 years 5 months ago
2008
ACM
Little is known about the strategies end-user programmers use in debugging their programs, and even less is known about gender differences that may exist in these strategies. With...
CACM
1998
13 years 4 months ago
1998
ECIR
2009
Springer
13 years 2 months ago
2009
Springer
This paper describes a study on diversity in image search results. One of the first test collections explicitly built to study diversity