1712 search results - page 12 / 343 » Assistive technology in computer science |
ICALT
2006
IEEE
14 years 4 months ago
2006
IEEE
We study the use of a computer application, intended for Computer Assisted Language Learning (CALL). We present an analytical framework for CALL, consisting of technology, interac...
ESI
2010
13 years 4 months ago
2010
Due to its intensive data processing and highly distributed organization, the multidisciplinary Earth Science applications community is uniquely positioned for the uptake and explo...
BMCBI
2006
13 years 10 months ago
2006
Background: Grid computing has great potential to become a standard cyberinfrastructure for life sciences which often require high-performance computing and large data handling wh...
WWW
2005
ACM
14 years 10 months ago
2005
ACM
We examine the difference and similarities between two online computer science citation databases DBLP and CiteSeer. The database entries in DBLP are inserted manually while the C...
TLCA
1993
Springer
14 years 2 months ago
1993
Springer
This paper describes formalizations of Tait’s normalization proof for the simply typed λ-calculus in the proof assistants Minlog, Coq and Isabelle/HOL. From the formal proofs p...