1511 search results - page 29 / 303 » Relational Parametricity for Computational Effects |
157
click to vote
TSP
2008
15 years 3 months ago
2008
The detection and estimation of signals in noisy, limited data is a problem of interest to many scientific and engineering communities. We present a mathematically justifiable, com...
108
click to vote
ISSAC
2004
Springer
15 years 9 months ago
2004
Springer
We give a necessary and sufficient condition for an algebraic ODE to have a rational type general solution. For an autonomous first order ODE, we give an algorithm to compute a r...
114
click to vote
ACRI
2006
Springer
15 years 7 months ago
2006
Springer
This paper describes a model of three-dimensional cellular automata allowing to simulate different phenomena in the fields of computer graphics or image processing. Our method allo...
112
click to vote
DEDS
2008
15 years 4 months ago
2008
Abstract Approximate simulation relations have recently been introduced as a powerful tool for the approximation of discrete and continuous systems. In this paper, we his abstracti...
127
click to vote
ISBI
2006
IEEE
16 years 4 months ago
2006
IEEE
Magnetic Resonance Imaging with non-Cartesian acquisition schemes suffer from blurring artifacts induced by offresonance. Conventional algorithms for off-resonance correction are ...