3392 search results - page 489 / 679 » Using Knowledge Representation to Understand Interactive Sys... |
118
click to vote
APSEC
2000
IEEE
15 years 9 months ago
2000
IEEE
It has been recognised that formal methods are useful as a modelling tool in requirements engineering. Specification languages such as Z permit the precise and unambiguous modell...
120
Voted
CICLING
2005
Springer
15 years 10 months ago
2005
Springer
This paper describes a supervised three-tier clustering method for classifying students’ essays of qualitative physics in the Why2-Atlas tutoring system. Our main purpose of cate...
163
click to vote
CHI
2000
ACM
15 years 9 months ago
2000
ACM
Interfaces based on recognition technologies are used extensively in both the commercial and research worlds. But recognizers are still error-prone, and this results in human perf...
142
click to vote
IJHPCA
2006
15 years 4 months ago
2006
The purpose of GridSolve is to create the middleware necessary to provide a seamless bridge between the simple, standard programming interfaces and desktop systems that dominate t...
140
click to vote
SIGSOFT
1998
ACM
15 years 8 months ago
1998
ACM
Understanding large software systems is difficult. Traditionally, automated tools are used to assist program understanding. However, the representations constructed by these tool...