5550 search results - page 130 / 1110 » Different Approaches to Proof Systems |
138
click to vote
ITS
2010
Springer
15 years 10 months ago
2010
Springer
The ability to argue is essential in many aspects of life, but traditional face-to-face tutoring approaches do not scale up well. A solution for this dilemma may be computer-suppor...
139
click to vote
ICALT
2008
IEEE
16 years 26 days ago
2008
IEEE
This paper presents an approach for closely observing the different levels of Human and Computer Interactions during student’s communication activities on Computer Mediated Comm...
154
click to vote
WECWIS
2006
IEEE
16 years 12 days ago
2006
IEEE
Product data integration is an essential issue for many e-commerce interoperable business systems. Core to this issue is how to maintain semantic consistency between heterogeneous...
146
click to vote
FSKD
2005
Springer
15 years 12 months ago
2005
Springer
With the dramatic development of web technologies, tremendous amount of information become available to users. The great advantages of the web are the ease with which information c...
132
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Among the multiple causes of high error rates in spreadsheets, lack of proper training and of deep understanding of the computational model upon which spreadsheet computations res...