Sciweavers

6693 search results - page 1013 / 1339
» On an anytime algorithm for control
Sort
View
FOGA
2011
14 years 7 months ago
On the movement of vertex fixed points in the simple GA
The Vose dynamical system model of the simple genetic algorithm models the behavior of this algorithm for large population sizes and is the basis of the exact Markov chain model. ...
Alden H. Wright, Tomás Gedeon, J. Neal Rich...
GECCO
2011
Springer
232views Optimization» more  GECCO 2011»
14 years 7 months ago
Mutation rates of the (1+1)-EA on pseudo-boolean functions of bounded epistasis
When the epistasis of the fitness function is bounded by a constant, we show that the expected fitness of an offspring of the (1+1)-EA can be efficiently computed for any point...
Andrew M. Sutton, Darrell Whitley, Adele E. Howe
155
Voted
IUI
2011
ACM
14 years 6 months ago
Groups without tears: mining social topologies from email
As people accumulate hundreds of “friends” in social media, a flat list of connections becomes unmanageable. Interfaces agnostic to social structure hinder the nuanced sharin...
Diana MacLean, Sudheendra Hangal, Seng Keat Teh, M...
DAC
2011
ACM
14 years 3 months ago
Non-uniform micro-channel design for stacked 3D-ICs
Micro-channel cooling shows great potential in removing high density heat in 3D circuits. The current micro-channel heat sink designs spread the entire surface to be cooled with m...
Bing Shi, Ankur Srivastava, Peng Wang
TACAS
2012
Springer
263views Algorithms» more  TACAS 2012»
13 years 11 months ago
Reachability under Contextual Locking
Abstract. The pairwise reachability problem for a multi-threaded program asks, given control locations in two threads, whether they can be simultaneously reached in an execution of...
Rohit Chadha, P. Madhusudan, Mahesh Viswanathan
« Prev « First page 1013 / 1339 Last » Next »