4460 search results - page 603 / 892 » Formal methods for interactive systems |
174
click to vote
CHI
2010
ACM
16 years 2 months ago
2010
ACM
Click-based graphical passwords have attractive usability properties, such as cueing and good memorability. However, image size and number of click-points in each password signifi...
167
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we present an automatic motherese detection system for the study of parent-infant interaction analysis. Motherese is a speech register directed towards infants and ...
194
click to vote
CONCUR
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In the quest for tractable methods for reasoning about concurrent algorithms both rely/guarantee logic and separation logic have made great advances. They both seek to ta...
172
click to vote
ACCV
2006
Springer
16 years 1 months ago
2006
Springer
Panoramas and object movies are popular image-based techniques for modeling and rendering 3D scenes and objects. In this paper, we present a method which allows the authors of virt...
190
click to vote
ACMDIS
2006
ACM
16 years 1 months ago
2006
ACM
Reusing HCI design knowledge shows potential in allowing practitioners to design based on previously identified concerns. A reuse approach is presented that is based on claims, de...