724 search results - page 85 / 145 » Color, context, and compositionality |
TELSYS
2002
14 years 10 months ago
2002
Formal description techniques, verification methods, and their tool-based automated application meanwhile provide valuable support for the formal analysis of communication protocol...
IEE
2010
14 years 9 months ago
2010
A key problem in compositional model checking of software systems is that typical model checkers accept only closed systems (runnable programs) and therefore a component cannot be ...
IJBIS
2010
14 years 8 months ago
2010
Fingerprinting is a well known approach for identifying multimedia data without having the original data present but what amounts to its essence or "DNA". Current approa...
121
click to vote
CVPR
2011
IEEE
14 years 6 months ago
2011
IEEE
In this paper we introduce visual phrases, complex visual composites like “a person riding a horse”. Visual phrases often display significantly reduced visual complexity comp...
ICASSP
2011
IEEE
2011
IEEE
Phoneme selective speech enhancement using the generalized parametric spectral subtraction estimator
14 years 2 months ago
In this study, the generalized parametric spectral subtraction estimator is employed in the context of a ROVER speech enhancement framework to develop a robust phoneme class selec...