3168 search results - page 436 / 634 » Computing Event Dependencies in System Designs and Programs |
212
click to vote
ECCV
2010
Springer
15 years 4 months ago
2010
Springer
We investigate the spatio-temporal alignment of videos or features/signals extracted from them. Specifically, we formally define an alignment manifold and formulate the alignment p...
203
click to vote
MOBIHOC
2010
ACM
15 years 4 months ago
2010
ACM
In this paper, we address the problem of preserving generated data in a sensor network in case of node failures. We focus on the type of node failures that have explicit spatial s...
168
click to vote
FOSSACS
2005
Springer
15 years 12 months ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
157
click to vote
SIGMETRICS
2008
ACM
15 years 6 months ago
2008
ACM
Two schemes proposed to cope with unrecoverable or latent media errors and enhance the reliability of RAID systems are examined. The first scheme is the established, widely used d...
161
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
This paper describes the design, implementation, visualizations, results and lessons learned of a novel real-world socio-technical research system for the purpose of rescheduling ...