3229 search results - page 491 / 646 » The Theory of Timed Automata |
146
click to vote
ESOP
2007
Springer
16 years 22 days ago
2007
Springer
Negation is intrinsic to human thinking and most of the time when searching for something, we base our patterns on both positive and negative conditions. In a previous work, we hav...
174
click to vote
GECCO
2007
Springer
16 years 22 days ago
2007
Springer
In the longest common subsequence problem the task is to find the longest sequence of letters that can be found as subsequence in all members of a given finite set of sequences....
178
click to vote
GECCO
2007
Springer
16 years 22 days ago
2007
Springer
This paper explores connections between Ficici’s notion of solution concept and order theory. Ficici postulates that algorithms should ascend an order called weak preference; th...
183
click to vote
GECCO
2007
Springer
16 years 22 days ago
2007
Springer
This paper proposes a novel application of differential evolution to solve a difficult dynamic optimisation or optimal control problem. The miss distance in a missile-target engag...
171
click to vote
HIPC
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. The theory of bulk-synchronous parallel computing has produced a large number of attractive algorithms, which are provably optimal in some sense, but typically require th...