232 search results - page 2 / 47 » Twenty Years Later |
TPHOL
2008
IEEE
13 years 11 months ago
2008
IEEE
JITE
2008
13 years 5 months ago
2008
BIRTHDAY
2008
Springer
13 years 7 months ago
2008
Springer
ility concepts in abstract data type specification, 30 years later Donald Sannella1 and Andrzej Tarlecki2,3 1 Laboratory for Foundations of Computer Science, University of Edinburg...
QSHINE
2009
IEEE
13 years 12 months ago
2009
IEEE
In 2003, we presented an architecture for a streaming video quality assessment system [1]. Six years later, many of the challenges outlined in that paper remain. This paper revisit...
CLEF
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. After participating in last year's CLEF IP (2009) evaluation benchmark, our scores were rather low. The CLEF IP 2010 PAC task enabled us to correct some experiments ...