3110 search results - page 254 / 622 » On the initialization of the DNMF algorithm |
151
click to vote
SPIRE
2001
Springer
15 years 11 months ago
2001
Springer
We constructively prove the exact distribution of deletion sizes for unavoidable strings, under the reductive decidability method of Zimin and Bean et al. Bounds such as these on ...
152
Voted
ICRA
2000
IEEE
15 years 11 months ago
2000
IEEE
A locking, unactuated knee is added to the Scout II quadruped robot and trotting gaits are studied. The mechanical design of the knee is presented, trotting algorithms are discuss...
118
click to vote
SIBGRAPI
2000
IEEE
15 years 11 months ago
2000
IEEE
This work presents results on axonal arborization identification in cell culture of neurons from Helix aspersa with the use of the directional image method. We implemented the algo...
187
click to vote
TPHOL
2000
IEEE
15 years 11 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 ...
175
click to vote
CRYPTO
2000
Springer
15 years 11 months ago
2000
Springer
The task of a fast correlation attack is to efficiently restore the initial content of a linear feedback shift register in a stream cipher using a detected correlation with the out...