8 search results - page 2 / 2 » Some Considerations on the Usability of Interactive Provers |
TCS
2002
13 years 4 months ago
2002
In this work, we investigate various specification languages and their relation to Casl, the recently developed Common Algebraic Specification Language. In particular, we consider...
DEFORM
2000
13 years 6 months ago
2000
: Acquisition of various human body models is useful in many cases. In this paper, we present some of our recent work on body creation tools. Our goal is to enable rapid creation o...
MHCI
2004
Springer
13 years 10 months ago
2004
Springer
Sound is an important medium in our lives, but its ephemeral nature can be problematic when people cannot recall something they heard in the past. Motivated by everyday conversatio...