SonicTexting is a system for inputting text ? `texting' ? using gestures and sound. As in musical instruments and everyday mechanical objects, sound in SonicTexting is synchr...
We present a novel, yet simple algorithm for clustering large collections of digital images. The method is applicable to consumer digital photo libraries, where it can be used to o...
Abstract. Abstract interpretation is a particularly well-suited methodology to build modular correctness proof of static analysers. Proof modularity becomes essential when correctn...
As mobile devices become location-aware, it will become possible to know when people are physically co-located and to incorporate this information into social software. Is this va...
Page flipping is an important part of paper-based document navigation. However this affordance of paper document has not been fully transferred to digital documents. In this paper...