114 search results - page 6 / 23 » Lost in just the translation |
MFCS
2010
Springer
13 years 8 months ago
2010
Springer
We provide a strong normalization result for MLF , a type system generalizing ML with first-class polymorphism as in system F. The proof is achieved by translating MLF into a calc...
LICS
2006
IEEE
14 years 3 months ago
2006
IEEE
Hoare logic is bedevilled by complex but coarse side conditions on the use of variables. We define a logic, free of side conditions, which permits more precise statements of a pr...
HPCN
1999
Springer
14 years 1 months ago
1999
Springer
Finding knowledge from vast quantities of data is a difficult task, made simpler by visually representing this information. The Internet can be considered a vast (global) database,...
INTERSPEECH
2010
13 years 4 months ago
2010
Vocabulary restrictions in large vocabulary continuous speech recognition (LVCSR) systems mean that out-of-vocabulary (OOV) words are lost in the output. However, OOV words tend t...
SCALESPACE
2007
Springer
14 years 3 months ago
2007
Springer
In this paper we present a variational, spatiotemporal video super resolution scheme that produces not just one but n high resolution video frames from an n frame low resolution vi...