12194 search results - page 138 / 2439 » cans 2010 |
99
Voted
ITP
2010
15 years 4 months ago
2010
Abstract. The Satisfiability Modulo Theories (SMT) solver Z3 can generate proofs of unsatisfiability. We present independent reconstruction of these proofs in the theorem provers...
ASIACRYPT
2010
Springer
14 years 10 months ago
2010
Springer
We study security amplification for weak bit-commitment schemes and improve the efficiency of (black-box) transformations in both the information-theoretic and computational setti...
95
Voted
ICIP
2010
IEEE
14 years 10 months ago
2010
IEEE
This paper points out and attempts to remedy a serious discrepancy in results obtained by global calibration methods: The re-projection error can be rendered very small by these m...
84
Voted
CSR
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We introduce dynamic communicating automata (DCA), an extension of communicating finite-state machines that allows for dynamic creation of processes. Their behavior can ...
CORR
2010
Springer
14 years 11 months ago
2010
Springer
We use a generalization of the Lindeberg principle developed by Sourav Chatterjee to prove universality properties for various problems in communications, statistical learning and...