Whenever multiple representations or models of a system exist, there is the possibility of defining how they relate. In model driven software development, it is essential that th...
Abstract. In this paper, we study the operational semantics of agent communication languages.We develop a basic multi-agent programming language for systems of concurrently operati...
Rogier M. van Eijk, Frank S. de Boer, Wiebe van de...
Sensors are often employed to monitor continuously changing entities like locations of moving objects and temperature. The sensor readings are reported to a database system, and a...
Reynold Cheng, Dmitri V. Kalashnikov, Sunil Prabha...
Abstract-- Vision feedback control loop techniques are efficient for a large class of applications but they come up against difficulties when the initial and desired robot position...
"There is a very large literature on the theoretical underpinnings of the
wavelet transform. However, theory must be complemented with a significant
amount of practical work...