4636 search results - page 719 / 928 » Modelling and Validation with VipTool |
AGENTS
2001
Springer
14 years 2 months ago
2001
Springer
We introduce the study of live social insect colonies as a relevant and exciting domain for the development and application of multi-agent systems modeling tools. Social insects p...
ICSE
2001
IEEE-ACM
14 years 2 months ago
2001
IEEE-ACM
The paper addresses the formal specification, design and implementation of the behavioral component of graphical user interfaces. The complex sequences of visual events and action...
MICCAI
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. In this article we propose a cardiac motion estimation technique that uses non-rigid registration to compute the dense cardiac displacement field from 2D ultrasound sequ...
ICRA
1999
IEEE
14 years 1 months ago
1999
IEEE
In this paper, an adaptive motion force control based approach is proposed to control bilateral teleoperation systems under both position and rate control with arbitrary motion fo...
ASYNC
1998
IEEE
14 years 1 months ago
1998
IEEE
We present the XDI Model for specifying delay-insensitive circuits, that is, reactive systems that correctly exchange signals with their environment in spite of unknown delays inc...