1737 search results - page 19 / 348 » On Interpolation in Existence Logics |
156
click to vote
CIE
2010
Springer
15 years 11 months ago
2010
Springer
This paper discusses Curry’s work on how to implement the problem of inverse interpolation on the ENIAC (1946) and his subsequent work on developing a theory of program compositi...
180
click to vote
SIGGRAPH
1993
ACM
15 years 10 months ago
1993
ACM
Image-space simplifications have been used to accelerate the calculation of computer graphic images since the dawn of visual simulation. Texture mapping has been used to provide a...
161
click to vote
ACL
2007
15 years 7 months ago
2007
Data sparseness is one of the factors that degrade statistical machine translation (SMT). Existing work has shown that using morphosyntactic information is an effective solution t...
141
click to vote
ICIP
1997
IEEE
16 years 7 months ago
1997
IEEE
Two dimensional mesh motion compensation produces blocking free prediction in contrast to block matching motion compensation by generating a smooth full motion field from the set ...
160
click to vote
WSC
2008
15 years 8 months ago
2008
We consider discrete stochastic optimization problems where the objective function can only be estimated by a simulation oracle; the oracle is defined only at the discrete points....