5084 search results - page 228 / 1017 » Proving Possibility Properties |
169
click to vote
JCS
2010
15 years 5 months ago
2010
raction of cryptographic operations by term algebras, called Dolev-Yao models, is essential in almost all tool-supported methods for proving security protocols. Recently significa...
190
click to vote
CC
2010
Springer
15 years 4 months ago
2010
Springer
We prove that the concept class of disjunctions cannot be pointwise approximated by linear combinations of any small set of arbitrary real-valued functions. That is, suppose that t...
167
click to vote
SIAMNUM
2010
15 years 1 months ago
2010
A number of works concerning rigorous convergence theory for adaptive finite element methods (AFEM) for controlling global energy errors have appeared in recent years. However, man...
225
click to vote
ICDE
2004
IEEE
16 years 8 months ago
2004
IEEE
In this paper we propose an adaptive local pruning method for association rules. Our method exploits the exact mapping between a certain class of association rules, namely those w...
171
click to vote
ICIP
2009
IEEE
16 years 7 months ago
2009
IEEE
We provide an extension of the L2-spline pyramid (Unser et al., 1993) using polyharmonic splines. We analytically prove that the corresponding error pyramid behaves exactly as a m...