3031 search results - page 351 / 607 » Investigating human-computer optimization |
167
click to vote
TACAS
2010
Springer
15 years 10 months ago
2010
Springer
We study the model checking problem of timed automata based on SAT solving. Our work investigates alternative possibilities for coding the SAT reductions that are based on parallel...
123
click to vote
EVOW
2010
Springer
15 years 10 months ago
2010
Springer
We build on recent advances in the design of self-organizing interaction networks by introducing a sexual variant of an existing asexual, mutation-limited algorithm. Both the asexu...
123
click to vote
GLOBECOM
2009
IEEE
15 years 10 months ago
2009
IEEE
—We investigate distributed channel-aware random access for networks with arbitrary topologies and traffic distributions, where users can receive traffic from or send traffic ...
117
click to vote
GLOBECOM
2009
IEEE
15 years 10 months ago
2009
IEEE
—This paper investigates the network performance loss of using only single-path routing when multiple paths are available. The performance metric is the aggregate utility achieve...
139
click to vote
ICASSP
2009
IEEE
15 years 10 months ago
2009
IEEE
This paper presents a practical coding scheme for the direct symmetric multiterminal source coding problem with remote source, when the noise between the remote source and the obs...