10500 search results - page 117 / 2100 » Documentation for |
120
click to vote
CAIP
2009
Springer
15 years 6 months ago
2009
Springer
In this paper, we propose an approach for the separation of overlapping and touching lines within handwritten Arabic documents. Our approach is based on the morphology analysis of ...
ICMCS
2000
IEEE
15 years 6 months ago
2000
IEEE
This paper presents a formal approach based on the RTLOTOS formal description technique for the semantic verification of SMIL documents. The reachability analysis of RT-LOTOS spec...
115
Voted
SIGIR
1999
ACM
15 years 6 months ago
1999
ACM
This paper claims that Belief Revision can be seen as a theoretical framework for document ranking in Extended Boolean Models. For a model of Information Retrieval based on propos...
HT
1997
ACM
15 years 6 months ago
1997
ACM
Hypermedia documents are most often created with a particular presentation environment in mind. This requires the authoring of one document per presentation platform. As pointed o...
93
Voted
CRYPTO
1990
Springer
15 years 6 months ago
1990
Springer
The prospect of a world in which all text, audio, picture, and video documents are in digital form on easily modi able media raises the issue of how to certify when a document was...