1547 search results - page 111 / 310 » The Isabelle Collections Framework |
130
click to vote
ECOOP
2005
Springer
15 years 9 months ago
2005
Springer
There are many algorithms for concurrent garbage collection, but they are complex to describe, verify, and implement. This has resulted in a poor understanding of the relationships...
149
click to vote
ERCIMDL
2005
Springer
15 years 9 months ago
2005
Springer
The Alexandria Digital Library (ADL) project has been working on automating the processes of building ADL collections and gathering the collection statistics on which ADL’s disco...
158
click to vote
ERCIMDL
2001
Springer
15 years 8 months ago
2001
Springer
Federated digital libraries are composed of distributed, autonomous, and often heterogeneous information services but provide users with a transparent, integrated view of collected...
108
Voted
KR
2000
Springer
15 years 7 months ago
2000
Springer
We consider the two-fold problem of representing collective beliefs and aggregating these beliefs. We propose a novel representation for collective beliefs that uses modular, tran...
138
Voted
AISC
2008
Springer
15 years 6 months ago
2008
Springer
Grid computing offers a promising approach to solving challenging computational problems in an environment consisting of a large number of easily accessible resources. In this pape...