5550 search results - page 385 / 1110 » Different Approaches to Proof Systems |
167
Voted
SMC
2007
IEEE
16 years 1 months ago
2007
IEEE
— The computational understanding of continuous human movement plays a significant role in diverse emergent applications in areas ranging from human computer interaction to phys...
184
click to vote
AIED
2005
Springer
16 years 12 days ago
2005
Springer
Students approach the learning opportunity offered by intelligent tutoring systems with a variety of goals and attitudes. These goals and attitudes can substantially affect student...
185
click to vote
SIGIR
2003
ACM
16 years 3 days ago
2003
ACM
The empirical investigation of the effectiveness of information retrieval (IR) systems requires a test collection, a set of query topics, and a set of relevance judgments made by ...
159
click to vote
ICECCS
1998
IEEE
15 years 11 months ago
1998
IEEE
All systems, regardless of how carefully they have been constructed, suffer failures. This paper focuses on developing a formal understanding of failure with respect to system imp...
192
Voted
WSC
2001
15 years 8 months ago
2001
This paper considers advantages and actual problems of web based simulation systems. Based on a review of environments and languages for web based simulation, some fundamental req...