1888 search results - page 170 / 378 » Proof theory and computational analysis |
99
Voted
LREC
2010
15 years 2 months ago
2010
A lot of research effort has been spent on the development of emotion theories and modeling, however, their suitability and applicability to expressions in human computer interact...
105
Voted
ICFP
2003
ACM
16 years 21 days ago
2003
ACM
A three-year study collected information bearing on the question of whether studying mathematics improves programming skills. An analysis of the data revealed significant differen...
109
Voted
PLDI
2009
ACM
15 years 7 months ago
2009
ACM
Information flow controls can be used to protect both data confidentiality and data integrity. The certification of the security degree of a program that runs in untrusted envi...
83
Voted
CHI
2009
ACM
16 years 1 months ago
2009
ACM
In this paper, we present a case study of humaninformation interaction in the online realm of politics. The case study consists of a participant observed while searching and brows...
128
click to vote
CHI
2001
ACM
16 years 1 months ago
2001
ACM
Eye tracking studies of the Hyperbolic Tree browser [10] suggest that visual search in focus+context displays is highly affected by information scent (i.e., local cues, such as te...