Sciweavers

4432 search results - page 717 / 887
» Solving Demodulation as an Optimization Problem
Sort
View
ICLP
2003
Springer
15 years 8 months ago
Uniform Equivalence of Logic Programs under the Stable Model Semantics
In recent research on nonmonotonic logic programming, repeatedly strong equivalence of logic programs P and Q has been considered, which holds if the programs P ∪ R and Q ∪ R h...
Thomas Eiter, Michael Fink
DATE
2010
IEEE
127views Hardware» more  DATE 2010»
15 years 8 months ago
A generalized control-flow-aware pattern recognition algorithm for behavioral synthesis
— Pattern recognition has many applications in design automation. A generalized pattern recognition algorithm is presented in this paper which can efficiently extract similar pat...
Jason Cong, Hui Huang, Wei Jiang
ICRA
2002
IEEE
148views Robotics» more  ICRA 2002»
15 years 8 months ago
Real-Time ZMP Compensation Method using Null Motion for Mobile Manipulators
This paper presents a method to deal the dynamic stability for a mobile manipulator. Although the system has static stability, manipulation on the moving base or mobile locomotion...
Jinhyun Kim, Wan Kyun Chung, Youngil Youm, Beom He...
GECCO
2010
Springer
168views Optimization» more  GECCO 2010»
15 years 7 months ago
On the generality of parameter tuning in evolutionary planning
Divide-and-Evolve (DaE) is an original “memeticization” of Evolutionary Computation and Artificial Intelligence Planning. However, like any Evolutionary Algorithm, DaE has se...
Jacques Bibai, Pierre Savéant, Marc Schoena...
GECCO
2010
Springer
233views Optimization» more  GECCO 2010»
15 years 7 months ago
Evolutionary-based conflict-free scheduling of collective communications on spidergon NoCs
The Spidergon interconnection network has become popular recently in multiprocessor systems on chips. To the best of our knowledge, algorithms for collective communications (CC) h...
Jirí Jaros, Vaclav Dvorak