792 search results - page 5 / 159 » Reading What Machines |
BCSHCI
2008
13 years 9 months ago
2008
Many people do not read easily for all sorts of reasons: social and cultural, because of impairments, or because of their context. Even in the area of impairments, design for peop...
ECTEL
2011
Springer
12 years 7 months ago
2011
Springer
This paper presents an adaptable system for detecting trends based on the micro-blogging service Twitter, and sets out to explore to what extent such a tool can support researchers...
ICCL
1992
IEEE
13 years 11 months ago
1992
IEEE
We describe the automatic generation of a provably correct compiler for a non-trivial subset of Ada. The compiler is generated from an emantic description; it emits absolute code ...
ICALT
2005
IEEE
14 years 1 months ago
2005
IEEE
ICALT
2010
IEEE
13 years 8 months ago
2010
IEEE
Abstract--jEditOQMath is an authoring tool for the intelligent learning environment ActiveMath. Its editing interface is a simple source editor. However the wealth and power of the...