2687 search results - page 168 / 538 » Formal Analysis of PKCS |
197
click to vote
POPL
2012
ACM
13 years 12 months ago
2012
ACM
Differential privacy is a notion of confidentiality that protects the privacy of individuals while allowing useful computations on their private data. Deriving differential priva...
143
click to vote
TPHOL
2005
IEEE
15 years 10 months ago
2005
IEEE
We describe a formalization of the elementary algebra, topology and analysis of finite-dimensional Euclidean space in the HOL Light theorem prover. (Euclidean space is RN with the...
115
click to vote
ECCV
2004
Springer
15 years 9 months ago
2004
Springer
—Cast shadows can be significant in many computer vision applications, such as lighting-insensitive recognition and surface reconstruction. Nevertheless, most algorithms neglect ...
176
click to vote
ISSTA
2012
ACM
13 years 6 months ago
2012
ACM
To avoid receiving incorrect arguments, a method specifies the expected type of each formal parameter. However, some parameter types are too general and have subtypes that the me...
152
click to vote
ICA
2007
Springer
15 years 10 months ago
2007
Springer
Functional Data Analysis (FDA) is used for datasets that are more meaningfully represented in the functional form. Functional principal component analysis, for instance, is used to...