8021 search results - page 10 / 1605 » A Type System for Tom |
CCR
2007
13 years 7 months ago
2007
I would like to apologise to both of my fans (which I will call Tom and Jerry respecting their request for anonymity for obvious reasons) for missing my column in the last issue. ...
AIED
2005
Springer
14 years 1 months ago
2005
Springer
The eXtensible Tutor Architecture (XTA) was designed as a platform for creating and deploying many types of Intelligent Tutoring Systems across many different platforms. The XTA pr...
CHI
2004
ACM
14 years 8 months ago
2004
ACM
People cannot type as fast as they think, especially when faced with the constraints of mobile devices. There have been numerous approaches to solving this problem, including rese...
RTA
2010
Springer
13 years 11 months ago
2010
Springer
In usual proof systems, like the sequent calculus, only a very limited way of combining proofs is available through the tree structure. We present in this paper a logicindependent ...
ACL
2006
13 years 9 months ago
2006
Obtaining high-quality machine translations is still a long way off. A postediting phase is required to improve the output of a machine translation system. An alternative is the s...