4516 search results - page 626 / 904 » Semantic Web and Education |
171
click to vote
ERCIMDL
1998
Springer
15 years 11 months ago
1998
Springer
As experimental digital library testbeds gain wider acceptance and develop significant user bases, it becomes important to investigate the ways in which users interact with the sys...
184
click to vote
ERCIMDL
2008
Springer
15 years 8 months ago
2008
Springer
We present iClusterDL, a self-organising overlay network that supports information retrieval and filtering functionality in a digital library environment. iClusterDL is able to han...
143
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
In our paper "Uniformity and the Taylor expansion of ordinary lambda-terms" (with Laurent Regnier), we studied a translation of lambda-terms as infinite linear combinati...
165
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We present a non-null annotations inferencer for the Java bytecode language. We previously proposed an analysis to infer non-null annotations and proved it soundness and completen...
146
Voted
CORR
2008
Springer
15 years 6 months ago
2008
Springer
In this paper we describe a new approach to data modelling called the concept-oriented model (CoM). This model is based on the formalism of nested ordered sets which uses inclusion...