235
click to vote
LATIN
16 years 24 days 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...
234
click to vote
LATIN
16 years 24 days 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...
212
Voted
LATIN
16 years 24 days 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,...
212
Voted
LATIN
16 years 24 days 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...
209
click to vote
LATIN
16 years 24 days 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 ...
|
Information Technology