832 search results - page 74 / 167 » Robust Spelling Correction |
150
click to vote
VLSID
2007
IEEE
16 years 6 months ago
2007
IEEE
The robustness of engines for ATPG has to be improved to cope with the growing size of circuits. Recently, SAT-based ATPG approaches have been shown to be very robust even on larg...
153
click to vote
CICLING
2005
Springer
15 years 12 months ago
2005
Springer
This paper presents the design and development of a system for the detection and correction of syntactic errors in free texts. The system is composed of three main modules: a) a ro...
183
click to vote
IPTPS
2003
Springer
15 years 11 months ago
2003
Springer
We introduce a distributed hash table (DHT) with logarithmic degree and logarithmic dilation. We show two lookup algorithms. The first has a message complexity of log n and is ro...
152
click to vote
ASIACRYPT
2000
Springer
15 years 10 months ago
2000
Springer
A MIX net takes a list of ciphertexts (c1, · · · , cN ) and outputs a permuted list of the plaintexts (m1, · · · , mN ) without revealing the relationship between (c1, · · ...
150
click to vote
OPODIS
2007
15 years 7 months ago
2007
Network overlays have been the subject of intensive research in recent years. The paper presents an overlay structure, S-Fireflies, that is self-stabilizing and is robust against ...