4460 search results - page 603 / 892 » Formal methods for interactive systems |
156
click to vote
CHI
2010
ACM
16 years 1 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...
146
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 ...
174
click to vote
CONCUR
2007
Springer
16 years 23 days 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...
159
click to vote
ACCV
2006
Springer
16 years 18 days 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...
172
click to vote
ACMDIS
2006
ACM
16 years 17 days 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...