Sciweavers

4421 search results - page 272 / 885
» Libraries
Sort
View
ERCIMDL
2004
Springer
113views Education» more  ERCIMDL 2004»
15 years 9 months ago
Incorporating Physical and Digital Artifacts into Growing Personal Collections
We have produced a system that automatically incorporates syndicated materials from sources including library acquisition records and online news sites to form growing hypertextual...
Pratik Dave, Luis Francisco-Revilla, Unmil Karadka...
ESORICS
2004
Springer
15 years 9 months ago
A Cryptographically Sound Dolev-Yao Style Security Proof of the Otway-Rees Protocol
We present the first cryptographically sound security proof of the well-known Otway-Rees protocol. More precisely, we show that the protocol is secure against arbitrary active att...
Michael Backes
NMR
2004
Springer
15 years 9 months ago
Plan reversals for recovery in execution monitoring
In this paper, we introduce a new method to recover from discrepancies in a general monitoring framework where the agent finds some explanations (points of failure) for discrepan...
Thomas Eiter, Esra Erdem, Wolfgang Faber
PDP
2003
IEEE
15 years 9 months ago
Automatic Optimisation of Parallel Linear Algebra Routines in Systems with Variable Load
Abstract. In this work an architecture of an automatically tuned linear algebra library proposed in previous works is extended in order to adapt it to platforms where both the CPU ...
Javier Cuenca, Domingo Giménez, José...
JCDL
2003
ACM
160views Education» more  JCDL 2003»
15 years 9 months ago
Automatic Document Metadata Extraction Using Support Vector Machines
Automatic metadata generation provides scalability and usability for digital libraries and their collections. Machine learning methods offer robust and adaptable automatic metadat...
Hui Han, C. Lee Giles, Eren Manavoglu, Hongyuan Zh...