819 search results - page 85 / 164 » Using Assumptions to Distribute CTL Model Checking |
139
click to vote
GLOBECOM
2010
IEEE
15 years 2 months ago
2010
IEEE
Motivated by the recent concept of Space-Time Shift Keying (STSK), we propose a novel cooperative STSK scheme, which is capable of achieving a flexible rate-diversity tradeoff, in ...
153
click to vote
MVA
2008
15 years 4 months ago
2008
To track objects in video sequences, many studies have been done to characterize the target with respect to its color distribution. Most often, the Gaussian Mixture Model (GMM) is ...
147
click to vote
CCS
2006
ACM
15 years 8 months ago
2006
ACM
A multi-signature scheme enables a group of signers to produce a compact, joint signature on a common document, and has many potential uses. However, existing schemes impose key s...
193
click to vote
CVPR
2008
IEEE
15 years 5 months ago
2008
IEEE
Recent studies have shown that embedding similarity/dissimilarity measures between distributions in the variational level set framework can lead to effective object segmentation/t...
130
click to vote
CONCUR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. For many cryptographic protocols, security relies on the assumption that adversarial entities have limited computational power. This type of security degrades progressive...