989 search results - page 96 / 198 » Dynamic Symmetry Reduction |
130
click to vote
IJCNN
2006
IEEE
15 years 10 months ago
2006
IEEE
— Oscillatory network model with controllable oscillator dynamics and self-organized dynamical coupling has been created for synchronization-based image processing. The model was...
127
click to vote
ICMCS
2005
IEEE
15 years 10 months ago
2005
IEEE
The paper presents a high-performance architecture of the bit-plane coder for the embedded block coding algorithm in JPEG 2000. The architecture adopts a pipeline structure and is...
144
click to vote
TPHOL
2000
IEEE
15 years 8 months ago
2000
IEEE
We verify within the Coq proof assistant that ML typing is sound with respect to the dynamic semantics. We prove this property in the framework of a big step semantics and also in ...
140
click to vote
TIT
2010
14 years 11 months ago
2010
Given a frame in Cn which satisfies a form of the uncertainty principle (as introduced by Candes and Tao), it is shown how to quickly convert the frame representation of every vect...
114
click to vote
NOLISP
2005
Springer
15 years 10 months ago
2005
Springer
This study analyses how the reduction of the look-ahead length of a two pass phonetic decoder influences the alignment of the segment boundaries. It is shown how the optimization ...