1282 search results - page 191 / 257 » Practical Loss-Resilient Codes |
RECOMB
2006
Springer
14 years 9 months ago
2006
Springer
Micro-indels are small insertion or deletion events (indels) that occur during genome evolution. The study of micro-indels is important, both in order to better understand the unde...
CADE
2006
Springer
14 years 9 months ago
2006
Springer
The HOL Light prover is based on a logical kernel consisting of about 400 lines of mostly functional OCaml, whose complete formal verification seems to be quite feasible. We would ...
SIGMOD
2004
ACM
14 years 9 months ago
2004
ACM
Current day database applications, with large numbers of users, require fine-grained access control mechanisms, at the level of individual tuples, not just entire relations/views,...
PERCOM
2007
ACM
14 years 8 months ago
2007
ACM
Radio Frequency Identification (RFID) is an increasingly popular technology that uses radio signals for object identification. Tracking and authentication in RFID tags have raised...
DCC
2006
IEEE
14 years 8 months ago
2006
IEEE
We study the problem of distributed sampling and compression in sensor networks when the sensors are digital cameras that acquire a 3-D visual scene of interest from different vie...