13277 search results - page 2287 / 2656 » An Approach to Clustering Abstracts |
154
click to vote
EUROPAR
2003
Springer
16 years 23 days ago
2003
Springer
Abstract. Trees are useful data structures, but to design efficient parallel programs over trees is known to be more difficult than to do over lists. Although several important tre...
185
click to vote
EVOW
2003
Springer
16 years 23 days ago
2003
Springer
Abstract. The Linear Ordering Problem (LOP) is an NP-hard combinatorial optimization problem that arises in a variety of applications and several algorithmic approaches to its solu...
189
click to vote
FM
2003
Springer
16 years 23 days ago
2003
Springer
Abstract. Program certification techniques formally show that programs satisfy certain safety policies. They rely on the correctness of the safety policy which has to be establish...
162
click to vote
FOSSACS
2003
Springer
16 years 23 days ago
2003
Springer
Abstract. We solve the problem of extending Bird and Paterson’s generalized folds for nested datatypes and its dual to inductive and coinductive constructors of arbitrarily high ...
170
click to vote
GECCO
2003
Springer
16 years 23 days ago
2003
Springer
Abstract. Theoretical and empirical evidence exists that the hierarchical Bayesian optimization algorithm (hBOA) can solve challenging hierarchical problems and anything easier. Th...