Networks of communicating finite-state machines equipped with local clocks generate timed MSCs. We consider the problem of checking whether these timed MSCs are "consistent&qu...
For any embodied, mobile, autonomous agent it is essential to control its actuators appropriately for the faced task. This holds for natural organisms as well as for robots. If sev...
This paper isconcerned with learning the canonical gray scalestructure of the images of a classof objects. Structure is defined in terms of the geometry and layout of salientimage...
Sharing selected data structures among virtual machines of a safe language can improve resource utilization of each participating run-time system. The challenge is to determine wh...
Bernard Wong, Grzegorz Czajkowski, Laurent Dayn&eg...
An atlas defines a common coordinate system to enable the comparison of data from different subjects. Key in the development of a brain atlas are the identification of a common ...