2142 search results - page 248 / 429 » Representing Time in Multimedia Systems |
177
click to vote
ICDCS
2009
IEEE
16 years 3 months ago
2009
IEEE
In distributed storage systems, erasure codes represent an attractive solution to add redundancy to stored data while limiting the storage overhead. They are able to provide the s...
194
click to vote
TPHOL
2007
IEEE
16 years 24 days ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
169
click to vote
KES
2004
Springer
15 years 12 months ago
2004
Springer
Aero engines are extremely reliable machines and operational failures are rare. However, currently great effort is being put into reducing the number of in-flight engine shutdowns,...
180
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
Circadian rhythms are biological processes found in all living organisms, from plants to insects to mammals that repeat with a period close to, but not exactly, 24 hours. In the ab...
205
click to vote
KDD
2010
ACM
15 years 8 months ago
2010
ACM
In this paper, we present a novel exploratory visual analytic system called TIARA (Text Insight via Automated Responsive Analytics), which combines text analytics and interactive ...