1143 search results - page 76 / 229 » Mental models of recursion |
INTERACT
1997
13 years 10 months ago
1997
ABSTRACT This paper builds on an existing model of human-computer interaction that focuses on the information structures employed as distributed information resources by users in d...
COLING
1994
13 years 10 months ago
1994
: It oftcn makes sense to employ both text and pictures wheu referring to world objects. In this paper, we present a model for referring which is based on the assumption that conce...
ENTCS
2000
13 years 9 months ago
2000
Haskell currently lacks a standard operational semantics. We argue that such a semantics should be provided to enable reasoning about operational properties of programs, to ensure...
RE
2001
Springer
14 years 1 months ago
2001
Springer
An essential type of “evidence”of the correctness of the requirements formalization process can be provided by human-based calculation. Human calculation can be significantly ...
CHI
2004
ACM
14 years 9 months ago
2004
ACM
Although engineering models of user behavior have enjoyed a rich history in HCI, they have yet to have a widespread impact due to the complexities of the modeling process. In this...