Sciweavers

2013 search results - page 148 / 403
» Happy New Year
Sort
View
ERCIMDL
2005
Springer
113views Education» more  ERCIMDL 2005»
16 years 2 days ago
The DSpace Open Source Digital Asset Management System: Challenges and Opportunities
Last year at the ECDL 2004 conference, we reported some initial progress and experiences developing DSpace as an open source community-driven project [8], particularly as seen from...
Robert Tansley, MacKenzie Smith, Julie Harford Wal...
FASE
2005
Springer
16 years 2 days ago
Iterative Circular Coinduction for CoCasl in Isabelle/HOL
Abstract. Coalgebra has in recent years been recognized as the framework of choice for the treatment of reactive systems at an appropriate level of generality. Proofs about the rea...
Daniel Hausmann, Till Mossakowski, Lutz Schrö...
FSE
2005
Springer
116views Cryptology» more  FSE 2005»
16 years 2 days ago
Narrow T-Functions
T-functions were introduced by Klimov and Shamir in a series of papers during the last few years. They are of great interest for cryptography as they may provide some new building ...
Magnus Daum
HT
2004
ACM
15 years 12 months ago
Dynamically growing hypertext collections
Many approaches have been pursued over the years to facilitate creating, organizing, and sharing collections of materials extracted from large information spaces. Little attention...
Pratik Dave, Paul Logasa Bogen II, Unmil Karadkar,...
ECCV
2004
Springer
15 years 12 months ago
Cone-Beam Image Reconstruction by Moving Frames
In this paper, we present a new algorithmic paradigm for cone-beam image reconstruction. The new class of algorithms, referred to as cone-beam reconstruction by moving frames, enab...
Xiaochun Yang 0002, Berthold K. P. Horn