34181 search results - page 265 / 6837 » Computer system |
184
click to vote
VL
2006
IEEE
16 years 1 months ago
2006
IEEE
To explore how people conceptualize a complex system, 232 university students were asked to sketch how a search engine works. While the sketches reveal a diverse range of visual a...
229
click to vote
AIED
2005
Springer
16 years 29 days ago
2005
Springer
Our goal in this work has been to bring together the entertaining and flow characteristics of video game environments with proven learning theories to advance the state of the art ...
200
click to vote
LPAR
2005
Springer
16 years 28 days ago
2005
Springer
Abstract. The main goal of this paper is to apply rewriting termination technology —enjoying a quite mature set of termination results and tools— to the problem of proving auto...
165
click to vote
HT
2004
ACM
16 years 26 days ago
2004
ACM
We describe the extension to our previous work on a Web-based peer-to-peer open hypermedia system, the DDLS. We enrich the peer model by introducing query history, and propose the...
214
click to vote
LPAR
2001
Springer
15 years 12 months ago
2001
Springer
The EPGY Theorem-Proving Environment is designed to help students write ordinary mathematical proofs. The system, used in a selection of computer-based proof-intensive mathematics ...