We present a novel system for notification management and report results from two studies testing its performance and impact. The system uses statistical models to realize defer-t...
— One long-standing challenge in robotics is the realization of mobile autonomous robots able to operate safely in existing human workplaces in a way that their presence is accep...
Seth J. Teller, Matthew R. Walter, Matthew E. Anto...
— This paper presents the prototype of an expert peering system for information exchange in the knowledge society. Our system realizes an intelligent, real-time search engine for...
Christian Bauckhage, Tansu Alpcan, Sachin Agarwal,...
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
We propose a novel privacy-preserving distributed infrastructure in which data resides only with the publishers owning it. The infrastructure disseminates user queries to publishe...
Emiran Curtmola, Alin Deutsch, K. K. Ramakrishnan,...