1362 search results - page 122 / 273 » Means, Correlations and Bounds |
106
click to vote
DATE
1999
IEEE
15 years 6 months ago
1999
IEEE
Methods for performing component matching by expressing an arithmetic specification and a bit-level description of an implementation as word-level polynomials have been demonstrat...
APSEC
2004
IEEE
15 years 5 months ago
2004
IEEE
Reuse is one of the key benefits of components. It inherently means that the functionality of a component may be employed only partially. This triggers the issue whether all of th...
104
click to vote
COLT
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. In this paper we unify divergence minimization and statistical inference by means of convex duality. In the process of doing so, we prove that the dual of approximate max...
AAAI
2008
15 years 4 months ago
2008
In hand-sketched drawings, nearly identical strokes may have different meanings to a user. For instance, a scribble could signify either that a shape should be filled in or that i...
113
click to vote
FUIN
2006
15 years 1 months ago
2006
Abstract. We analyse different versions of the Dining Cryptographers protocol by means of automatic verification via model checking. Specifically we model the protocol in terms of ...