Abstract. In indoor context awareness applications the location of people, devices or objects is often required. Ultrasound technology enables high resolution indoor position measu...
Esko O. Dijk, Kees van Berkel, Ronald M. Aarts, Ev...
People meet in order to interact - disseminating information, making decisions, and creating new ideas. Automatic analysis of meetings is therefore important from two points of vie...
Iain McCowan, Daniel Gatica-Perez, Samy Bengio, Da...
We explore the question of the composition of invariance specifications in a context of concurrent and reactive systems. Depending on how compositionality is stated and how invar...
In this paper, we investigate the security, in the Luby-Rackoff security paradigm, of blockcipher modes of operation allowing to expand a one-block input into a longer t-block ou...
Inherent dangers in mining operations motivate the use of robotic technology for addressing hazardous situations that prevent human access. In the context of this case study, we e...
Aaron Morris, Derek Kurth, Daniel Huber, Warren Wh...