4421 search results - page 124 / 885 » Libraries |
142
click to vote
MKM
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. The relationship between theorems and lemmas in mathematical reasoning is often vague. No system exists that formalizes the structure of theorems in a mathematical librar...
132
click to vote
CINQ
2004
Springer
15 years 7 months ago
2004
Springer
Frequent Pattern Mining (FPM) is a very powerful paradigm for mining informative and useful patterns in massive, complex datasets. In this paper we propose the Data Mining Templat...
ERCIMDL
2004
Springer
15 years 7 months ago
2004
Springer
Advanced personalization techniques are required to cope with novel challenges posed by attribute-rich MPEG-7 based digital libraries. At the heart of our deeply personalized news ...
JCDL
2003
ACM
15 years 6 months ago
2003
ACM
To support non-trivial clients, such as data exploration and analysis environments, digital libraries must be able to describe the access modes that their contents support. We pre...
129
click to vote
JCDL
2003
ACM
15 years 6 months ago
2003
ACM
Early modern books written in Latin contain many abbreviations of common words that are derived from earlier manuscript practice. While these abbreviations are usually easily deci...