894 search results - page 110 / 179 » Optimizations for LTL Synthesis |
124
click to vote
IROS
2006
IEEE
15 years 10 months ago
2006
IEEE
— A new biped gait generation and optimization method is proposed in the frame of Estimation of Distribution Algorithms (EDAs) with Q-learning method. By formulating the biped ga...
106
click to vote
ISLPED
2006
ACM
15 years 10 months ago
2006
ACM
This paper addresses the problem of low-power fanout optimization. We show that due to neglecting short-circuit current, previous analytical techniques proposed to optimize the ar...
122
click to vote
GECCO
2006
Springer
15 years 7 months ago
2006
Springer
The population size in evolutionary computation is a significant parameter affecting computational effort and the ability to successfully evolve solutions. We find that population...
117
click to vote
ICRA
2000
IEEE
15 years 8 months ago
2000
IEEE
Several french laboratories, joint in the CNRS Project "Control of Legged Robots", have defined a biped robot intented to experiment walking and running gaits. This bipe...
118
click to vote
ASPDAC
2010
ACM
15 years 2 months ago
2010
ACM
Abstract-- Optimizing blocks in a System-on-Chip (SoC) circuit is becoming more and more important nowadays due to the use of third-party Intellectual Properties (IPs) and reused d...