4743 search results - page 250 / 949 » The PlusCal Algorithm Language |
294
Voted
FLAIRS
2011
2011
Impact of Word Sense Disambiguation on Ordering Dictionary Definitions in Vocabulary Learning Tutors
14 years 7 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 ...
176
Voted
ICMT
2011
Springer
14 years 7 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...
157
Voted
PLDI
2011
ACM
14 years 6 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...
128
click to vote
ICFP
2008
ACM
16 years 3 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...
111
Voted
ICASSP
2008
IEEE
15 years 10 months 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, ...