10500 search results - page 1929 / 2100 » Documentation for |
237
click to vote
ICDE
2004
IEEE
16 years 5 months ago
2004
IEEE
We study the problem of maintaining large replicated collections of files or documents in a distributed environment with limited bandwidth. This problem arises in a number of impo...
384
click to vote
ICDE
2003
IEEE
16 years 5 months ago
2003
IEEE
Analyzing sequence data has become increasingly important recently in the area of biological sequences, text documents, web access logs, etc. In this paper, we investigate the pro...
120
click to vote
ICPR
2006
IEEE
16 years 5 months ago
2006
IEEE
It is a well documented fact that, for human readers, familiar text is more legible than unfamiliar text. Current-generation computer vision systems also are able to exploit some ...
164
click to vote
ICPR
2004
IEEE
16 years 5 months ago
2004
IEEE
We propose a system that reads the text encountered in natural scenes with the aim to provide assistance to the visually impaired persons. This paper describes the system design a...
163
click to vote
DAC
2003
ACM
16 years 5 months ago
2003
ACM
We present an algorithm that checks behavioral consistency between an ANSI-C program and a circuit given in Verilog using Bounded Model Checking. Both the circuit and the program ...