1809 search results - page 204 / 362 » Using GDE in Educational Systems |
173
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Proof search has been used to specify a wide range of computation systems. In order to build a framework for reasoning about such specifications, we make use of a sequent...
119
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
: In this paper, our aim is to propose a model that helps in the efficient use of an information system by users, within the organization represented by the IS, in order to resolve...
148
click to vote
AAAI
2008
15 years 6 months ago
2008
Unlike English, where unfamiliar words can be queried for its meaning by typing out its letters, the analogous operation in Chinese is far from trivial due to the nature of its wr...
125
click to vote
ACMACE
2006
ACM
15 years 10 months ago
2006
ACM
In recent years 3D virtual characters have become more common in desktop interfaces, particularly in gaming and entertainment applications. In this paper we describe how augmented...
115
click to vote
ITICSE
2010
ACM
15 years 8 months ago
2010
ACM
This paper introduces the SOM (Simple Object Machine) family of virtual machine (VM) implementations, a collection of VMs for the same Smalltalk dialect addressing students at di�...