819 search results - page 58 / 164 » Using Assumptions to Distribute CTL Model Checking |
CVPR
2004
IEEE
16 years 2 months ago
2004
IEEE
Bayesian methods for visual tracking model the likelihood of image measurements conditioned on a tracking hypothesis. Image measurements may, for example, correspond to various fi...
AICT
2006
IEEE
15 years 6 months ago
2006
IEEE
In this paper, we propose a framework for QualityDriven Delivery (QDD) in distributed multimedia environments. Quality-driven delivery refers to the capacity of a system to delive...
77
Voted
ICIP
2005
IEEE
16 years 2 months ago
2005
IEEE
We propose a dynamic programming algorithm for finding optimal transmission policies for a single packet in ratedistortion optimized media streaming. The algorithm relies on an op...
SRDS
2006
IEEE
15 years 6 months ago
2006
IEEE
In a recent paper, we presented proactive resilience as a new approach to proactive recovery, based on architectural hybridization. We showed that, with appropriate assumptions ab...
ICDCS
2000
IEEE
15 years 5 months ago
2000
IEEE
Replication is an area of interest to both distributed systems and databases. The solutions developed from these two perspectives are conceptually similar but differ in many aspec...