1737 search results - page 37 / 348 » On Interpolation in Existence Logics |
119
click to vote
NIME
2004
Springer
15 years 11 months ago
2004
Springer
The choice of mapping strategies to effectively map controller variables to sound synthesis algorithms is examined. Specifically, we look at continuous mappings that have a geom...
134
click to vote
ICCS
2001
Springer
15 years 10 months ago
2001
Springer
Many surfaces can be modeled by interpolating data points digitized from existing products. But the digitized data points could have measuring errors. To adjust the points, fairing...
155
click to vote
COCO
1999
Springer
15 years 10 months ago
1999
Springer
In this paper, we show how to extend the argument due to Bonet, Pitassi and Raz to show that bounded-depth Frege proofs do not have feasible interpolation, assuming that factoring...
131
click to vote
ECAI
2006
Springer
15 years 9 months ago
2006
Springer
This paper reports on an investigation using occlusion calculi to interpret digital images. Using a minimal set of digital, region-relation detectors, and assuming a continuous int...
114
click to vote
SIAMMA
2011
15 years 1 months ago
2011
In this paper, we introduce a notion of barycenter in the Wasserstein space which generalizes McCann’s interpolation to the case of more than two measures. We provide existence,...