535 search results - page 98 / 107 » Do we need dependent types |
ZUM
1991
Springer
13 years 11 months ago
1991
Springer
During 1990 and 1991 we carried out a survey of Z users in the UK; in this paper we present the results. Z is being used by a wide variety of companies for many different applicat...
AMR
2006
Springer
13 years 9 months ago
2006
Springer
Inaccurate or ambiguous expressions in queries lead to poor results in information retrieval. We assume that iterative user feedback can improve the quality of queries. To this end...
CASCON
1996
13 years 9 months ago
1996
In today's distributed computing environments, users are makingincreasing demands on the systems, networks, and applications they use. Users are coming to expect performance,...
IJDAR
2007
13 years 7 months ago
2007
In this paper, based on the study of the specificity of historical printed books, we first explain the main error sources in classical methods used for page layout analysis. We sho...
ECCV
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. Assessing the matching error rates of a biometric identification devices is integral to understanding its performance. Here we propose and evaluate several methods for cr...