Sciweavers

3299 search results - page 271 / 660
» A general mathematics of names
Sort
View
ICRA
2005
IEEE
106views Robotics» more  ICRA 2005»
16 years 8 days ago
A Fast Online Gait Planning with Boundary Condition Relaxation for Humanoid Robots
— A fast online gait planning method is proposed. Based on an approximate dynamical biped model whose mass is concentrated to COG, general solution of the equation of motion is a...
Tomomichi Sugihara, Yoshihiko Nakamura
AMOST
2005
ACM
16 years 7 days ago
Using information about functions in selecting test cases
We consider the problem of generating a set of test cases from a black box specification. We focus on stress testing, i.e. picking test cases that seem most likely to reveal prog...
Markus Clermont, David Lorge Parnas
ISLPED
2005
ACM
63views Hardware» more  ISLPED 2005»
16 years 7 days ago
Inter-program optimizations for conserving disk energy
Previous work has shown that intra-program optimizations, i.e., optimizations performed on individual programs in isolation, can be very effective in reducing disk energy in stre...
Jerry Hom, Ulrich Kremer
CCS
2005
ACM
16 years 6 days ago
Untraceable RFID tags via insubvertible encryption
We introduce a new cryptographic primitive, called insubvertible encryption, that produces ciphertexts which can be randomized without the need of any key material. Unlike plain u...
Giuseppe Ateniese, Jan Camenisch, Breno de Medeiro...
COLT
2005
Springer
16 years 6 days ago
The Value of Agreement, a New Boosting Algorithm
We present a new generalization bound where the use of unlabeled examples results in a better ratio between training-set size and the resulting classifier’s quality and thus red...
Boaz Leskes