390 search results - page 63 / 78 » Weather Report Translation Using a Translation Memory |
JMM2
2008
13 years 7 months ago
2008
The preservation of temporal dependencies among different media data, such as text, still images, video and audio, and which have simultaneous distributed sources as origin, is an ...
JANCL
2006
13 years 7 months ago
2006
We describe BDD-based decision procedures for the modal logic K. Our approach is inspired by the automata-theoretic approach, but we avoid explicit automata construction. Instead, ...
CONCURRENCY
2000
13 years 7 months ago
2000
Implementing efficient communication and I/O mechanisms in Java requires both fast access to lowlevel system resources (such as network and raw disk interfaces) and direct manipul...
TIT
2010
13 years 2 months ago
2010
We investigate error-correcting codes for a the rank-modulation scheme with an application to flash memory devices. In this scheme, a set of n cells stores information in the permu...
OSDI
2002
ACM
14 years 7 months ago
2002
ACM
Farsite is a secure, scalable file system that logically functions as a centralized file server but is physically distributed among a set of untrusted computers. Farsite provides ...