1095 search results - page 192 / 219 » Automatic Processing of Document Annotations |
JLP
2007
14 years 9 months ago
2007
Several induction theorem provers were developed to verify functional programs mechanically. Unfortunately, automatic verification often fails for functions with accumulating arg...
KI
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. The accurate extraction of scholarly reference information from scientific publications is essential for many useful applications like BIBTEX management systems or citati...
JCDL
2006
ACM
15 years 3 months ago
2006
ACM
Measurements of the impact and history of research literature provide a useful complement to scientific digital library collections. Bibliometric indicators have been extensively...
AWIC
2003
Springer
15 years 2 months ago
2003
Springer
Automatic and non-invasive web personalization seems to be a challenge for nowadays web sites. Many web mining techniques are used to achieve this goal. Since current web sites evo...
89
Voted
APVIS
2008
14 years 11 months ago
2008
Large amounts of time-varying datasets create great challenges for users to understand and explore them. This paper proposes an efficient visualization method for observing overal...