Sciweavers

16430 search results - page 529 / 3286
» On Computable Tree Functions
Sort
View
RTA
2010
Springer
15 years 11 months ago
Declarative Debugging of Missing Answers for Maude
Abstract. Declarative debugging is a semi-automatic technique that starts from an incorrect computation and locates a program fragment responsible for the error by building a tree ...
Adrián Riesco, Alberto Verdejo, Narciso Mar...
BMCBI
2007
144views more  BMCBI 2007»
15 years 7 months ago
Gene analogue finder: a GRID solution for finding functionally analogous gene products
Background: To date more than 2,1 million gene products from more than 100000 different species have been described specifying their function, the processes they are involved in a...
Angelica Tulipano, Giacinto Donvito, Flavio Licciu...
EUROCRYPT
1991
Springer
15 years 10 months ago
Boolean Functions Satisfying Higher Order Propagation Criteria
Boolean functions that satisfy higher order propagation criteria are studied. A complete characterization is given of the autocorrelation function and Walsh spectrum of second ord...
Bart Preneel, René Govaerts, Joos Vandewall...
GRAPHICSINTERFACE
1998
15 years 8 months ago
On Approximating Rough Curves with Fractal Functions
Fractal functions are explored as a representation for rough data in computer graphics. Two new techniques for using fractal interpolation functions to approximate rough functions...
Wayne O. Cochran, John C. Hart, Patrick J. Flynn
149
Voted
MICS
2010
62views more  MICS 2010»
15 years 1 months ago
Linear Differential Elimination for Analytic Functions
This paper provides methods to decide whether a given analytic function of several complex variables is a linear combination of finitely many given analytic functions with coeffic...
Wilhelm Plesken, Daniel Robertz