34 search results - page 4 / 7 » delta 2010 |
CORR
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. In this note we reinvestigate the task of computing creative telescoping relations in differential-difference operator algebras. Our approach is based on an ansatz that e...
PODS
2010
ACM
14 years 2 months ago
2010
ACM
This paper approaches the incremental view maintenance problem from an algebraic perspective. We construct a ring of databases and use it as the foundation of the design of a quer...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
This paper develops automated testing and debugging techniques for answer set solver development. We describe a flexible grammar-based black-box ASP fuzz testing tool which is abl...
DELTA
2010
IEEE
14 years 2 months ago
2010
IEEE
— FPGAs, (Field-Programmable Gate Arrays) are often used for embedded image processing applications. Parallelism, and in particular pipelining, is the most suitable architecture ...
DELTA
2010
IEEE
14 years 2 months ago
2010
IEEE
—Image super-resolution is generally regarded as consisting of three steps – image registration, fusion, and deblurring. This paper presents a novel technique for resampling a ...