Sciweavers

19130 search results - page 3314 / 3826
» Modelling multi-path problems
Sort
View
COLT
2004
Springer
15 years 11 months ago
Performance Guarantees for Regularized Maximum Entropy Density Estimation
Abstract. We consider the problem of estimating an unknown probability distribution from samples using the principle of maximum entropy (maxent). To alleviate overfitting with a v...
Miroslav Dudík, Steven J. Phillips, Robert ...
CRYPTO
2004
Springer
127views Cryptology» more  CRYPTO 2004»
15 years 11 months ago
IPAKE: Isomorphisms for Password-Based Authenticated Key Exchange
Abstract. In this paper we revisit one of the most popular passwordbased key exchange protocols, namely the OKE (for Open Key Exchange) scheme, proposed by Luck in 1997. Our result...
Dario Catalano, David Pointcheval, Thomas Pornin
173
Voted
CSL
2004
Springer
15 years 11 months ago
A Dependent Type Theory with Names and Binding
We consider the problem of providing formal support for working tract syntax involving variable binders. Gabbay and Pitts have shown in their work on Fraenkel-Mostowski (FM) set th...
Ulrich Schöpp, Ian Stark
151
Voted
DAGM
2004
Springer
15 years 11 months ago
Building a Motion Resolution Pyramid by Combining Velocity Distributions
Abstract. Velocity distributions are an enhanced representation of image velocity implying more velocity information than velocity vectors. Velocity distributions allow the represe...
Julian Eggert, Volker Willert, Edgar Körner
DNA
2004
Springer
15 years 11 months ago
DNA-Based Computation Times
Abstract. Speed of computation and power consumption are the two main parameters of conventional computing devices implemented in microelectronic circuits. As performance of such d...
Yuliy M. Baryshnikov, Edward G. Coffman Jr., Petar...
« Prev « First page 3314 / 3826 Last » Next »