Sciweavers

602 search results - page 69 / 121
» Auctioning transformable goods
Sort
View
ICIP
1998
IEEE
16 years 20 days ago
Free-form Textured Surfaces Registration by a Frequency Domain Technique
Free-form 3-D surfaces registration is a fundamental problem in 3-D imaging, tipically approached by extensions or variations of the ICP algorithm. This work presents a new freque...
Guido M. Cortelazzo, Gianfranco Doretto, Luca Lucc...
ICIP
1994
IEEE
16 years 17 days ago
Adaptive Spline-Wavelet Image Encoding and Real-Time Synthesis
A wavelet-based image-encoding is described which, when used in conjunction with the Di erence Engine (a customdesigned VLSI display processor) allows us to reconstruct an image i...
Patrick Marais, Edwin H. Blake, Alfons A. M. Kuijk
CADE
2006
Springer
15 years 11 months ago
Strong Cut-Elimination Systems for Hudelmaier's Depth-Bounded Sequent Calculus for Implicational Logic
Abstract. Inspired by the Curry-Howard correspondence, we study normalisation procedures in the depth-bounded intuitionistic sequent calculus of Hudelmaier (1988) for the implicati...
Roy Dyckhoff, Delia Kesner, Stéphane Lengra...
93
Voted
IEEEIAS
2009
IEEE
15 years 5 months ago
Analysis of One-way Alterable Length Hash Function Based on Cell Neural Network
: In this paper, a hash function construction method based on cell neural network (CNN) with hyper-chaos characteristics is proposed. The chaos sequence is generated by iterating C...
Qun-ting Yang, Tie-gang Gao, Li Fan, Qiao-lun Gu
IEEEIAS
2009
IEEE
15 years 5 months ago
One-way Hash Function Construction Based on Conservative Chaotic Systems
: An algorithm for one-way hash function construction based on conservative chaotic system is proposed. The plaintext is divided into a group of message blocks by a fixed length an...
Qing-hua Zhang, Han Zhang, Zhao-hui Li