This paper presents the use of field-programmable gate array (FPGA) in a miniature Ion Mobility Spectrometer (IMS) sensor system. This IMS sensor is for detection of subsurface ga...
Jon Cole, S. M. Loo, Robert Youngberg, Jake Baker,...
In this paper, we apply artificial neural networks to control the targeting system of a robotic tank in a tank-combat computer game (RoboCode). We suggest an algorithm that not on...
In this paper we address the question of assigning social norms to agents: should we attempt to ascribe social norms to agents that will act in complex dynamic environments, or is...
Abstract. In this paper, we present the preliminary results of an ongoing research activity concerning the temporal management of normative texts in XML format. In particular, four...
Fabio Grandi, Federica Mandreoli, Paolo Tiberio, M...
Abstract. To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timin...