17298 search results - page 304 / 3460 » Abstract computing machines |
155
click to vote
ICALT
2007
IEEE
16 years 29 days ago
2007
IEEE
This paper reports a study that aims to construct a 2D barcode supported learning system, called HELLO (Handheld English Language Learning Organization), to improve students’ En...
132
click to vote
ICALT
2005
IEEE
16 years 7 days ago
2005
IEEE
Apologizing or praising has various effects on people’s motivation levels. One way to employ emotions in computerized environments is to present humanized messages like apologet...
170
click to vote
MICRO
1992
IEEE
15 years 10 months ago
1992
IEEE
This paper describes a single chip Multiple Instruction Stream Computer (MISC) capable of extracting instruction level parallelism from a broad spectrum of programs. The MISC arch...
165
click to vote
LICS
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper, we develop a new substructural logic that can encode invariants necessary for reasoning about hierarchical storage. We show how the logic can be used to describe th...
263
click to vote
ICALT
2009
IEEE
16 years 1 months ago
2009
IEEE
A crucial challenge for improving EMLs is to provide an intuitive notation to support educational practitioners to not only understand, but also describe a large number of flexibl...