6829 search results - page 354 / 1366 » Quantitative Generalizations of Languages |
152
click to vote
ICMI
2005
Springer
16 years 8 days ago
2005
Springer
 Synthetic characters are an effective modality to convey messages to the user, provide visual feedback about the system internal understanding ofÂ...
165
Voted
SIGADA
2005
Springer
16 years 7 days ago
2005
Springer
This paper describes experiences garnered while teaching a course on high integrity software using SPARK to a mix of junior and senior level undergraduates. The paper describes th...
156
click to vote
TBILLC
2005
Springer
16 years 7 days ago
2005
Springer
The present paper presents the structure of a cross-linguistic database of production data. The database contains annotated texts collected from a sample of fifteen different langu...
183
click to vote
SIGIR
2004
ACM
16 years 5 days ago
2004
ACM
Answer patterns have been shown to improve the performance of open-domain factoid QA systems. Their use, however, requires either constructing the patterns manually or developing ...
175
click to vote
VL
2003
IEEE
16 years 1 days ago
2003
IEEE
Models of programming and debugging suggest many causes of errors, and many classifications of error types exist. Yet, there has been no attempt to link causes of errors to these ...