Sciweavers

5608 search results - page 830 / 1122
» Structure description tools
Sort
View
TNN
2010
182views Management» more  TNN 2010»
15 years 1 months ago
A discrete-time neural network for optimization problems with hybrid constraints
Abstract--Recurrent neural networks have become a prominent tool for optimizations including linear or nonlinear variational inequalities and programming, due to its regular mathem...
Huajin Tang, Haizhou Li, Zhang Yi
IACR
2011
124views more  IACR 2011»
14 years 6 months ago
Zero-Correlation Linear Cryptanalysis of Block Ciphers
Linear cryptanalysis, along with differential cryptanalysis, is an important tool to evaluate the security of block ciphers. This work introduces a novel extension of linear crypt...
Andrey Bogdanov, Vincent Rijmen
CAV
2012
Springer
251views Hardware» more  CAV 2012»
13 years 9 months ago
A Model Checker for Hierarchical Probabilistic Real-Time Systems
Real-life systems are usually hard to control, due to their complicated structures, quantitative time factors and even stochastic behaviors. In this work, we present a model checke...
Songzheng Song, Jun Sun 0001, Yang Liu 0003, Jin S...
ECCV
2008
Springer
16 years 8 months ago
Understanding Camera Trade-Offs through a Bayesian Analysis of Light Field Projections
Computer vision has traditionally focused on extracting structure, such as depth, from images acquired using thin-lens or pinhole optics. The development of computational imaging i...
Anat Levin, William T. Freeman, Frédo Duran...
ICIP
2007
IEEE
16 years 8 months ago
Subjective Quality Analysis of Bit Rate Exchange Between Temporal and SNR Scalability in the MPEG4 SVC Extension
It is well known that a compression trade-off exists between the spatial and temporal video quality. Various temporal scalability techniques have been considered for lowering the ...
Mark A. J. Barzilay, Jacco R. Taal, Reginald L. La...