5012 search results - page 114 / 1003 » Distributed Error Correction |
141
Voted
ACL
2010
15 years 2 months ago
2010
This paper explores the use of clickthrough data for query spelling correction. First, large amounts of query-correction pairs are derived by analyzing users' query reformula...
126
click to vote
PPOPP
2006
ACM
15 years 10 months ago
2006
ACM
We study a family of implementations for linked lists using finegrain synchronisation. This approach enables greater concurrency, but correctness is a greater challenge than for ...
115
click to vote
IWSSD
2000
IEEE
15 years 9 months ago
2000
IEEE
Most software that most people use most of the time needs only moderate assurance of fitness for its intended purpose. Unlike high-assurance software, where the severe consequence...
179
click to vote
CONCUR
1991
Springer
15 years 8 months ago
1991
Springer
Abstract. A syntax-directed formal system for the development of totally correct programs with respect to an (unfair) shared-state parallel programming language is proposed. The pr...
117
click to vote
ISCAS
2006
IEEE
15 years 11 months ago
2006
IEEE
— In this paper, the performance of an exponentially modulated filter bank based multicarrier (FBMC) modulation is compared with a cyclic prefix based OFDM (CP-OFDM). Both fram...