4743 search results - page 250 / 949 » The PlusCal Algorithm Language |
336
click to vote
FLAIRS
2011
2011
Impact of Word Sense Disambiguation on Ordering Dictionary Definitions in Vocabulary Learning Tutors
14 years 9 months ago
Past research has shown that dictionaries and glosses can be beneficial in computer assisted language learning, particularly in vocabulary learning. We propose that L2 vocabulary ...
217
click to vote
ICMT
2011
Springer
14 years 9 months ago
2011
Springer
ATL is a language for describing model transformations currently in uni-direction. In our previous work we have shown that transformations of graph structures given in some form ca...
188
click to vote
PLDI
2011
ACM
14 years 9 months ago
2011
ACM
Translation validators are static analyzers that attempt to verify that program transformations preserve semantics. Normalizing translation validators do so by trying to match the...
157
click to vote
ICFP
2008
ACM
16 years 6 months ago
2008
ACM
HMF is a conservative extension of Hindley-Milner type inference with first-class polymorphism. In contrast to other proposals, HML uses regular System F types and has a simple ty...
139
click to vote
ICASSP
2008
IEEE
16 years 19 days ago
2008
IEEE
In this paper we present an approach for speech recognition of multiple languages with constrained resources on embedded devices. Examples of such systems are navigation systems, ...