2522 search results - page 206 / 505 » Tokenized Interaction Architecture |
TROB
2008
13 years 8 months ago
2008
Affordances encode relationships between actions, objects and effects. They play an important role on basic cognitive capabilities such as prediction and planning. We address the p...
CADE
2011
Springer
12 years 8 months ago
2011
Springer
Abstract. Sledgehammer is a component of Isabelle/HOL that employs firstorder automatic theorem provers (ATPs) to discharge goals arising in interactive proofs. It heuristically s...
CHI
2006
ACM
14 years 8 months ago
2006
ACM
Modern applications such as Microsoft Word have many automatic features and hidden dependencies that are frequently helpful but can be mysterious to both novice and expert users. ...
HT
2005
ACM
14 years 1 months ago
2005
ACM
Vannevar Bush proposed the memex as a means to support building knowledge in the way he says the human brain works: by association. Achieving this vision has been a core motivatio...
CHI
1999
ACM
14 years 14 days ago
1999
ACM
This paper describes an architecture for supporting interface attuchments- small interactive programs which are designed to augment the functionality of other applications. This a...