894 search results - page 110 / 179 » Optimizations for LTL Synthesis |
IROS
2006
IEEE
15 years 6 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...
74
Voted
ISLPED
2006
ACM
15 years 6 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...
94
Voted
GECCO
2006
Springer
15 years 4 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...
ICRA
2000
IEEE
15 years 5 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...
89
Voted
ASPDAC
2010
ACM
14 years 10 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...