2468 search results - page 178 / 494 » Aggregation operators 2003 |
CC
2003
Springer
14 years 2 months ago
2003
Springer
We present a translation from the call-by-value λ-calculus to monadic normal forms that includes short-cut boolean evaluation. The translation is higher-order, operates in one pas...
EGOV
2003
Springer
14 years 2 months ago
2003
Springer
As the power and influence of nongovernmental organizations (NGOs) in international debates on social and moral matters increases, questions concerning their legitimacy and account...
GECCO
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. This paper investigates the use of a steady state genetic algorithm (GA) to perform quadrilateral finite element mesh smoothing. GAS short for genetic algorithm smoother...
GECCO
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. A hybrid genetic algorithm is proposed for the sequential ordering problem. It is known that the performance of a genetic algorithm depends on the survival environment an...
ICALP
2003
Springer
14 years 2 months ago
2003
Springer
We study the behavioural theory of Cardelli and Gordon’s Mobile Ambients. We give an lts based operational semantics, and a labelled bisimulation based equivalence that coincide...