1284 search results - page 110 / 257 » On Helping and Interactive Proof Systems |
CHI
2010
ACM
15 years 4 months ago
2010
ACM
We investigate the use of on-line contextual video assistance to improve the learnability of software functionality. After discussing motivations and design goals for such forms o...
CHINZ
2007
ACM
15 years 1 months ago
2007
ACM
The email communication system is threatened by unsolicited commercial email aka spam. In response, spam filters have been deployed widely to help reduce the amount of spam users ...
116
click to vote
DSVIS
1998
Springer
15 years 2 months ago
1998
Springer
Formal modelling, in interactive system design, has received considerably less real use than might have been hoped. Heavy weight formal methods can be expensive to use, with poor c...
FM
2003
Springer
15 years 3 months ago
2003
Springer
Safety is increasingly important for software based, critical systems. Fault tree analysis (FTA) is a safety technique from engineering, developed for analyzing and assessing syste...
DAGSTUHL
2010
14 years 11 months ago
2010
Interactive Visualization has been used to study scientific phenomena, analyze data, visualize information, and to explore large amounts of multivariate data. It enables the human...