1974 search results - page 47 / 395 » A Library System for Small-Scale Library |
BIRTHDAY
2005
Springer
15 years 5 months ago
2005
Springer
The key notion for modelling calendar systems and many other periodic temporal notion is the mathematical concept of a partitioning of the real numbers. A partitioning of R splits ...
102
click to vote
CSFW
2004
IEEE
15 years 3 months ago
2004
IEEE
Recently we showed how to justify a Dolev-Yao type model of cryptography as used in virtually all automated protocol provers under active attacks and in arbitrary protocol environ...
134
click to vote
IRCDL
2008
15 years 1 months ago
2008
In this paper we present a prototype system to enrich audiovisual contents with annotations, which exploits existing technologies for automatic extraction of metadata (such as OCR...
DC
2001
15 years 1 months ago
2001
This paper provides a report of work in progress to implement integrated access to multiple digital collections that are described using a variety of metadata formats. Using the e...
TABLEAUX
2005
Springer
15 years 5 months ago
2005
Springer
The Intuitionistic Logic Theorem Proving (ILTP) Library provides a platfom for testing and benchmarking theorem provers for first-order intuitionistic logic. It includes a collect...