740 search results - page 38 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
EICS
2009
ACM
14 years 3 months ago
2009
ACM
Usage data logged from user interactions can be extremely valuable for evaluating software usability. However, instrumenting software to collect usage data is a time-intensive tas...
ACNS
2008
Springer
14 years 2 months ago
2008
Springer
Compliance storage is an increasingly important area for businesses faced with a myriad of new document retention regulations. Today, businesses have turned to Write-One Read Many ...
WAPCV
2007
Springer
14 years 2 months ago
2007
Springer
It is well known that the brain (especially the cortex) is structurally separable into two hemispheres. Many neuropsychological studies show that the process of ambiguity resoluti...
CEFP
2007
Springer
14 years 2 months ago
2007
Springer
This tutorial paper aims to provide the necessary expertise for working with the proof assistant Sparkle, which is dedicated to the lazy functional programming language Clean. The ...
APCHI
2004
IEEE
14 years 6 days ago
2004
IEEE
Abstract. Supporting work activities in healthcare is highly complex and challenging. This paper outlines the findings from a usability study of a commercial PC based electronic pa...