490 search results - page 17 / 98 » Operations on Records |
ICDAR
2003
IEEE
14 years 29 days ago
2003
IEEE
In this paper, a method based on part-of-speech tagging (PoS) is used for bibliographic reference structure. This method operates on a roughly structured ASCII file, produced by O...
DIAL
2004
IEEE
13 years 11 months ago
2004
IEEE
In this paper, a method based on part-of-speech tagging (PoS) is used for bibliographic reference structure. This method operates on a roughly structured ASCII file, produced by O...
JSC
2002
13 years 7 months ago
2002
We describe a framework of algebraic structures in the proof assistant Coq. We have developed this framework as part of the FTA project in Nijmegen, in which a constructive proof ...
FAST
2008
13 years 10 months ago
2008
An important threat to reliable storage of data is silent data corruption. In order to develop suitable protection mechanisms against data corruption, it is essential to understan...
MFCS
2007
Springer
14 years 1 months ago
2007
Springer
A private information retrieval scheme is a protocol whereby a client obtains a record from a database without the database operators learning anything about which record the clien...