We investigate an application of RFIDs referred to in the literature as group scanning, in which several tags are "simultaneously" scanned by a reader device. Our goal is...
Interface automata provide a formalism capturing the high level interactions between software components. Checking compatibility, and other safety properties, in an automata-based ...
Michael Emmi, Dimitra Giannakopoulou, Corina S. Pa...
In this paper we present Evaluate, a platform for learning performance monitoring. Evaluate manages a number of artefacts that can be used to monitor learning performance, like met...
Bernd Simon, Kasra Seirafi, Asmund Realfsen, Mark ...
This paper describes the design and development of a set of signal processing software tools for speech recognition. The tools were developed for inclusion in a comprehensive publ...
Hualin Gao, Richard Duncan, Julie Baca, Joseph Pic...
The Personal Reader1 provides a framework for designing, implementing and maintaining web content readers, which provide personalized enrichment of web content for each individual...