3979 search results - page 373 / 796 » Wild control operators |
172
click to vote
CEEMAS
2005
Springer
16 years 10 days ago
2005
Springer
Underwater survey by a team of autonomous robots brings couple of problems caused mainly by the communication restrictions due to the nature of environment. Communication range and...
158
click to vote
FROCOS
2005
Springer
16 years 9 days ago
2005
Springer
Reasoning about the correctness of program transformations requires a notion of program equivalence. We present an observational semantics for the concurrent lambda calculus with f...
150
click to vote
ESOP
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. This paper studies continuations by means of a polymorphic type system. The traditional call-by-name continuation passing style transform admits a typing in which some an...
136
click to vote
GECCO
2004
Springer
16 years 5 days ago
2004
Springer
In this work, we investigate the ability of a Chunking GA (ChGA) to reduce the size of variable length chromosomes and control bloat. The ChGA consists of a standard genetic algori...
161
click to vote
ICCS
2004
Springer
16 years 5 days ago
2004
Springer
In this paper we present a new infrastructure for building distributed applications that communicate through remote objects. The objects are available by the use of the Java RMI, e...