549 search results - page 16 / 110 » Verification condition generation for conditional informatio... |
ICASSP
2011
IEEE
14 years 1 months ago
2011
IEEE
This work presents a new approach to discriminative speaker verification. Rather than estimating speaker models, or a model that discriminates between a speaker class and the cla...
CADE
2005
Springer
15 years 10 months ago
2005
Springer
In today's society, people have very little control over what kinds of personal data are collected and stored by various agencies in both the private and public sectors. We de...
ESOP
2007
Springer
15 years 2 months ago
2007
Springer
Abstract. While a rigorous information flow analysis is a key step in obtaining meaningful end-to-end confidentiality guarantees, one must also permit possibilities for declassific...
ENVSOFT
2000
14 years 10 months ago
2000
Atmospheric flow and pollutant dispersion over built-up areas are affected by phenomena occurring at different scales. Hence, scale interactions should also be considered in the m...
ICCV
2009
IEEE
16 years 3 months ago
2009
IEEE
When a curved mirror-like surface moves relative to its
environment, it induces a motion field—or specular flow—
on the image plane that observes it. This specular flow is
r...