4421 search results - page 529 / 885 » Libraries |
122
Voted
JCDL
2006
ACM
15 years 9 months ago
2006
ACM
Although recording of usage data is common in scholarly information services, its exploitation for the creation of valueadded services remains limited due to concerns regarding, a...
137
Voted
ML
2006
ACM
15 years 9 months ago
2006
ACM
Existing ML-like languages guarantee type-safety, ensuring memty and protecting the invariants of abstract types, but only within single executions of single programs. Distributed...
137
Voted
SIGUCCS
2006
ACM
15 years 9 months ago
2006
ACM
Figuring out the best way to communicate with and serve students is one of the paramount challenges facing library and technology organizations today, including Bucknell Universit...
135
Voted
TPHOL
2005
IEEE
15 years 9 months ago
2005
IEEE
Abstract. We present a set of problems that may support the development of calculi and theorem provers for classical higher-order logic. We propose to employ these test problems as...
124
Voted
JCDL
2005
ACM
15 years 9 months ago
2005
ACM
In this paper, we discuss the findings of an in-depth observational study of reading and within-document navigation and add to these findings the results of a second analysis of h...