8431 search results - page 1204 / 1687 » Algorithmically Independent Sequences |
161
click to vote
APPROX
2005
Springer
16 years 13 days ago
2005
Springer
A q-ary error-correcting code C ⊆ {1, 2, . . . , q}n is said to be list decodable to radius ρ with list size L if every Hamming ball of radius ρ contains at most L codewords o...
181
click to vote
ATVA
2005
Springer
16 years 13 days ago
2005
Springer
Multi-Terminal Binary Decision Diagrams (MTBDDs) have been successfully applied in symbolic model checking of probabilistic systems. In this paper we propose an encoding method for...
129
click to vote
CIKM
2005
Springer
16 years 12 days ago
2005
Springer
Record deduplication is the task of merging database records that refer to the same underlying entity. In relational databases, accurate deduplication for records of one type is o...
182
click to vote
DAGM
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. In this paper we present a novel image-based 3D surface reconstruction technique that incorporates reflectance, polarisation, and defocus information into a variational ...
162
click to vote
WAIM
2005
Springer
16 years 10 days ago
2005
Springer
Researchers from the same lab often spend a considerable amount of time searching for published articles relevant to their current project. Despite having similar interests, they c...