2142 search results - page 83 / 429 » Improved Conditional E-Payments |
ENTCS
2007
13 years 10 months ago
2007
Many modern program verifiers translate the program to be verified and its specification into a simple intermediate representation and then compute verification conditions on ...
ICASSP
2011
IEEE
13 years 1 months ago
2011
IEEE
For many realistic scenarios, there are multiple factors that affect the clean speech signal. In this work approaches to handling two such factors, speaker and background noise di...
ICASSP
2011
IEEE
13 years 1 months ago
2011
IEEE
The Independent Component Analysis (ICA) model is extended to the case where the components are not necessarily independent: depending on the value a hidden latent process at the ...
IPMI
2009
Springer
14 years 11 months ago
2009
Springer
As encoding spatial information into mutual information (MI) can improve the nonrigid registration against bias fields where the conventional MI is challenged, we propose to unify ...
ICML
2007
IEEE
14 years 11 months ago
2007
IEEE
We develop a mixture-based approach to robust density modeling and outlier detection for experimental multivariate data that includes measurement error information. Our model is d...