114 search results - page 6 / 23 » Lost in just the translation |
168
click to vote
MFCS
2010
Springer
15 years 5 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...
176
click to vote
LICS
2006
IEEE
16 years 21 days 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...
159
click to vote
HPCN
1999
Springer
15 years 11 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,...
194
click to vote
INTERSPEECH
2010
15 years 1 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...
175
click to vote
SCALESPACE
2007
Springer
16 years 24 days 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...