699 search results - page 62 / 140 » Propagation of Mean Degrees |
ROBOCUP
2005
Springer
14 years 1 months ago
2005
Springer
We present a parametric walk model for a four-legged robot. The walk model is improved using a genetic algorithm, but unlike previous approaches, the fitness is determined in a ru...
SAS
2005
Springer
14 years 1 months ago
2005
Springer
A technique for generating invariant polynomial inequalities of bounded degree is presented using the abstract interpretation framework. It is based on overapproximating basic semi...
AACC
2004
Springer
14 years 1 months ago
2004
Springer
Conventional document search techniques are constrained by attempting to match individual keywords or phrases to source documents. Thus, these techniques miss out documents that co...
ESORICS
2004
Springer
14 years 1 months ago
2004
Springer
All security services rely to a great extent on some notion of trust. However, even today, there is no accepted formalism or technique for the specification of trust and for reaso...
ISER
2004
Springer
14 years 1 months ago
2004
Springer
We report on a continuous time odometry scheme for a walking hexapod robot built upon a previously developed leg-strain based body pose estimator. We implement this estimation proc...