Sciweavers

1727 search results - page 75 / 346
» human 2005
Sort
View
CHI
2005
ACM
16 years 6 days ago
SonicTexting
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...
Michal Rinott
AIRS
2005
Springer
15 years 5 months ago
MPEG-7 Visual-Temporal Clustering for Digital Image Collections
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...
Robert O'Callaghan, Miroslaw Bober
CASSIS
2005
Springer
15 years 5 months ago
Modular Proof Principles for Parameterised Concretizations
Abstract. Abstract interpretation is a particularly well-suited methodology to build modular correctness proof of static analysers. Proof modularity becomes essential when correctn...
David Pichardie
CHI
2005
ACM
16 years 6 days ago
Incorporating physical co-presence at events into digital social networking
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...
Scott Counts, John Geraci
CHI
2005
ACM
16 years 6 days ago
Flipper: a new method of digital document navigation
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...
François Guimbretière, Liyang Sun