1082 search results - page 113 / 217 » interactions 2000 |
CADE
2000
Springer
14 years 1 months ago
2000
Springer
We provide techniques to integrate resolution logic with equality in type theory. The results may be rendered as follows. − A clausification procedure in type theory, equipped w...
IEAAIE
2000
Springer
14 years 25 days ago
2000
Springer
The computer systems for the decision-making must provide in a synthetic and simple way the necessary elements to the decisionmaker. That is why, it is indispensable to build Compu...
CHI
2000
ACM
14 years 1 months ago
2000
ACM
Peripheral information is information that is not central to a person’s current task, but provides the person the opportunity to learn more, to do a better job, or to keep track...
CHI
2000
ACM
14 years 1 months ago
2000
ACM
Usability comprises the aspects effectiveness, efficiency, and satisfaction. The correlations between these aspects are not well understood for complex tasks. We present data from...
CHI
2000
ACM
14 years 1 months ago
2000
ACM
Through a study of web site design practice, we observed that web site designers design sites at different levels of refinement—site map, storyboard, and individual page— and ...