Sciweavers

3333 search results - page 129 / 667
» Optimal Power-Down Strategies
Sort
View
ICCD
2004
IEEE
137views Hardware» more  ICCD 2004»
16 years 3 months ago
Comparative Study of Strategies for Formal Verification of High-Level Processors
Compared are different methods for evaluation of formulas expressing microprocessor correctness in the logic of Equality with Uninterpreted Functions and Memories (EUFM) by transl...
Miroslav N. Velev
SAC
2009
ACM
16 years 1 months ago
A gradient oriented recombination scheme for evolution strategies
This paper proposes a novel recombination scheme for evolutionary algorithms, which can guide the new population generation towards the maximum increase of the objective function....
Haifeng Chen, Guofei Jiang
ICRA
2009
IEEE
106views Robotics» more  ICRA 2009»
16 years 1 months ago
Stochastic strategies for a swarm robotic assembly system
— We present a decentralized, scalable approach to assembling a group of heterogeneous parts into different products using a swarm of robots. While the assembly plans are predete...
Loic Matthey, Spring Berman, Vijay Kumar
ICASSP
2007
IEEE
16 years 21 days ago
Markov Random Field Energy Minimization via Iterated Cross Entropy with Partition Strategy
This paper introduces a novel energy minimization method, namely iterated cross entropy with partition strategy (ICEPS), into the Markov random field theory. The solver, which is...
Jue Wu, Albert C. S. Chung
IPPS
2007
IEEE
16 years 21 days ago
Replication Strategy in Unstructured Peer-to-Peer Systems
1 The unstructured Peer-to-Peer (P2P) systems usually use a “blind search” method to find the requested data object by propagating a query to a number of peers randomly. In or...
Guofu Feng, Yuquan Jiang, Guihai Chen, Qing Gu, Sa...