186
click to vote
LATIN
15 years 11 months ago
2004 Springer 
We address the problem of searching for a two-dimensional pattern in a two-dimensional text (or image), such that the pattern can be found even if it appears rotated and it is bri...
184
click to vote
LATIN
15 years 11 months ago
2004 Springer 
Time synchronization is necessary in many distributed systems, but achieving synchronization in sensornets, which combine stringent precision requirements with severe resource con...
178
click to vote
LATIN
15 years 11 months ago
2004 Springer 
Equality logic with or without uninterpreted functions is used for proving the equivalence or refinement between systems (hardware verification, compiler’s translation, etc). C...
162
click to vote
LATIN
15 years 11 months ago
2004 Springer
Abstract. We present a probability logic (essentially a first order language extended with quantifiers that count the fraction of elements in a model that satisfy a first order ...
159
click to vote
LATIN
15 years 11 months ago
2004 Springer
We study the problem of non-interactive correlation distillation (NICD). Suppose Alice and Bob each has a string, denoted by A = a0a1 · · · an−1 and B = b0b1 · · · bn−1,...
|
Information Technology