6258 search results - page 238 / 1252 » Applied Text Generation |
111
click to vote
ICRA
2007
IEEE
15 years 10 months ago
2007
IEEE
— This paper presents a motion pattern generator of humanoid robots that walks on a flat plane, steps and a rough terrain. It is guaranteed rigorously that the desired contact b...
152
click to vote
CHES
2003
Springer
15 years 9 months ago
2003
Springer
A true random number generator (TRNG) usually consists of two components: an “unpredictable” source with high entropy, and a randomness extractor — a function which, when app...
118
click to vote
ISMVL
2010
IEEE
15 years 9 months ago
2010
IEEE
In this paper a new Toffoli gate cascade synthesis method is presented. This method is based on previous work [12] and generates a cascade of inverted-control-Toffoli gates from t...
107
click to vote
SAS
1994
Springer
15 years 8 months ago
1994
Springer
Abstract. Our aim is to study how the interpretive approach -- inserting an interpreter between a source program and a program specializer -- can be used to improve the transformat...
142
click to vote
LPAR
2010
Springer
15 years 2 months ago
2010
Springer
Induction proofs often fail because the stated theorem is noninductive, in which case the user must strengthen the theorem or prove auxiliary properties before performing the induc...