7121 search results - page 1125 / 1425 » Functions as Session-Typed Processes |
147
click to vote
FM
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. The correctness of a system according to a given specification is essential, especially for safety-critical applications. One such typical application domain is the autom...
148
Voted
GECCO
2006
Springer
15 years 8 months ago
2006
Springer
Segmentation of medical images is challenging due to poor image contrast and artifacts that result in missing or diffuse organ/tissue boundaries. Consequently, this task involves ...
161
click to vote
GECCO
2006
Springer
15 years 8 months ago
2006
Springer
When Genetic Programming is used to evolve arithmetic functions it often operates by composing them from a fixed collection of elementary operators and applying them to parameters...
165
Voted
CISIS
2010
IEEE
15 years 8 months ago
2010
IEEE
— Production automation systems consist of many entities (like robots and shuttles) that interact in complex ways to provide the overall system functionality like product assembl...
168
Voted
BIRTHDAY
2003
Springer
15 years 8 months ago
2003
Springer
Aspects are intended to add needed functionality to a system or to treat concerns of the system by augmenting or changing the existing code in a manner that cross-cuts the usual c...