10500 search results - page 117 / 2100 » Documentation for |
CAIP
2009
Springer
14 years 28 days 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
14 years 20 days 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...
SIGIR
1999
ACM
14 years 18 days 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
14 years 14 days 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...
CRYPTO
1990
Springer
14 years 10 days 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...