: A framework for virtual reality based training of puncture interventions is presented. The system uses a haptic device with six degrees of freedom (6DOF) to enable realistic forc...
Elf is a general meta-language for the specification and implementation of logical systems in the style of the logical framework LF. Proof search in this framework is based on the...
Industrial control systems architectures have been evolving to the decentralization of control tasks. This evolution associated with the time-critical nature of these tasks, incre...
Abstract. In this paper, we give an overview of the Locomotive Simulater/Optimizer (LSO) decision support system developed by us for railroads. This software is designed to imitate...
Artyom G. Nahapetyan, Ravindra K. Ahuja, F. Zeynep...
Abstract. In the European cognitive vision project VAMPIRE (IST2001-34401), mobile AR-kits are used for interactive teaching of a visual active memory. This is achieved by 3D augme...