792 search results - page 16 / 159 » Reading What Machines |
SOFTWARE
2008
13 years 7 months ago
2008
s of titles and abstracts) as irrelevant to our focus. We read the remaining 519 papers in full to establish our final list. The 92 papers we chose were originally published in the...
ICALT
2006
IEEE
14 years 1 months ago
2006
IEEE
IMS Learning Design provides a counter to the trend towards designing for lone-learners reading from screens. It guides staff and educational developers to start not with content,...
READING
2004
Springer
14 years 1 months ago
2004
Springer
Document Transformation techniques have been studied for decades. In this paper, a new approach for a significant improvement is presented based on using a new query expansion met...
AML
2008
13 years 7 months ago
2008
We generalize ordinary register machines on natural numbers to machines whose registers contain arbitrary ordinals. Ordinal register machines are able to compute a recursive bounde...
VSTTE
2005
Springer
14 years 1 months ago
2005
Springer
We formulate some research and development challenges that relate what a verifying compiler can verify to the definition and analysis of the application-content of programs, where...