Abstract. Recently we showed how to justify a Dolev-Yao type model of cryptography as used in virtually all automated protocol provers under active attacks and in arbitrary protoco...
We plan to evaluate different kinds of augmented feedback (tactile, video, sound) for learning basic dance choreographies. Therefore we develop a dance training system based on mo...
The study and analysis of RFID antenna positioning is important for supply chain large-scale deployment. In a dense reader environment, there will be multiples of RFID readers and...
Abstract— Kinodynamic planning algorithms like RapidlyExploring Randomized Trees (RRTs) hold the promise of finding feasible trajectories for rich dynamical systems with complex...
This paper describes the integration of a Turkish generation system with the KANT knowledge-based machine translation system to produce a prototype English