Sciweavers

11397 search results - page 200 / 2280
» A Relational Abstraction for Functions
Sort
View
MCU
2004
95views Hardware» more  MCU 2004»
15 years 8 months ago
Algorithmic Randomness, Quantum Physics, and Incompleteness
Abstract. Is randomness in quantum mechanics "algorithmically random"? Is there any relation between Heisenberg's uncertainty relation and G
Cristian Calude
CIE
2006
Springer
15 years 11 months ago
Phase Transition Thresholds for Some Natural Subclasses of the Computable Functions
In this paper we first survey recent advances on phase transition phenomena which are related to natural subclasses of the recursive functions. Special emphasis is put on descent ...
Andreas Weiermann
EUROCRYPT
1991
Springer
15 years 10 months ago
Boolean Functions Satisfying Higher Order Propagation Criteria
Boolean functions that satisfy higher order propagation criteria are studied. A complete characterization is given of the autocorrelation function and Walsh spectrum of second ord...
Bart Preneel, René Govaerts, Joos Vandewall...
ECCV
2004
Springer
16 years 9 months ago
Novel Skeletal Representation for Articulated Creatures
Abstract. Volumetric structures are frequently used as shape descriptors for 3D data. The capture of such data is being facilitated by developments in multi-view video and range sc...
Gabriel J. Brostow, Irfan A. Essa, Drew Steedly, V...
CANS
2009
Springer
120views Cryptology» more  CANS 2009»
16 years 1 months ago
Improved Garbled Circuit Building Blocks and Applications to Auctions and Computing Minima
Abstract. We consider generic Garbled Circuit (GC)-based techniques for Secure Function Evaluation (SFE) in the semi-honest model. We describe efficient GC constructions for additi...
Vladimir Kolesnikov, Ahmad-Reza Sadeghi, Thomas Sc...