1232 search results - page 84 / 247 » Digraphs: theory, algorithms and applications |
173
click to vote
CAV
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. STP is a decision procedure for the satisfiability of quantifier-free formulas in the theory of bit-vectors and arrays that has been optimized for large problems encoun...
149
click to vote
IPPS
2005
IEEE
15 years 11 months ago
2005
IEEE
Divisible load applications consist of a load, that is input data and associated computation, that can be divided arbitrarily into independent pieces. Such applications arise in m...
140
click to vote
KDD
2009
ACM
16 years 6 months ago
2009
ACM
Given a task T , a pool of individuals X with different skills, and a social network G that captures the compatibility among these individuals, we study the problem of finding X ,...
167
click to vote
GECCO
2007
Springer
16 years 10 days ago
2007
Springer
The modeling and analysis of large networks of autonomous agents is an important topic with applications in many different disciplines. One way of modeling the development of such...
136
click to vote
GECCO
2005
Springer
15 years 11 months ago
2005
Springer
We present the first hardware-in-the-loop evolutionary optimization on an ornithopter. Our experiments demonstrate the feasibility of evolving flight through genetic algorithms an...