5550 search results - page 123 / 1110 » Different Approaches to Proof Systems |
178
click to vote
ICALT
2003
IEEE
15 years 11 months ago
2003
IEEE
The issue of initializing the model of a new student is of great importance for educational applications that aim at offering individualized support to students. In this paper we ...
166
click to vote
ISTA
2007
15 years 7 months ago
2007
: Quality is a multidimensional concept that has different meanings in different contexts and perspectives. In the domain of Information system, quality is often understood as the ...
188
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
A software design is often modeled as a collection of unified Modeling Language (UML) diagrams. There are different aspects of the software system that are covered by many differe...
170
click to vote
HICSS
2007
IEEE
16 years 22 days ago
2007
IEEE
Do the design requirements of a knowledge management system change over time? If so, how do these changes affect the users of the system? In this paper we explore the case of pate...
167
click to vote
ACL
2010
15 years 4 months ago
2010
We present BEETLE II, a tutorial dialogue system designed to accept unrestricted language input and support experimentation with different tutorial planning and dialogue strategie...