542 search results - page 94 / 109 » The Denjoy alternative for computable functions |
146
click to vote
IEEECIT
2010
IEEE
14 years 11 months ago
2010
IEEE
This paper will show an alternative method to compute the two-dimensional Discrete Fourier Transform. While current GPU Fourier transform libraries need a large buffer for storing ...
138
Voted
BMCBI
2010
15 years 2 months ago
2010
Background: To further understand the implementation of hyperparameters re-estimation technique in Bayesian hierarchical model, we added two more prior assumptions over the weight...
102
Voted
APAL
2005
15 years 1 months ago
2005
Abstract. There is a very simple way in which the safe/normal variable discipline of Bellantoni-Cook recursion (1992) can be imposed on arithmetical theories like PA: quantify over...
123
click to vote
CP
2000
Springer
15 years 5 months ago
2000
Springer
We are interested in the expressiveness of constraints represented by general first order formulae, with equality as unique relation symbol and function symbols taken from an infi...
137
click to vote
DASFAA
1997
IEEE
15 years 6 months ago
1997
IEEE
The success of the World Wide Web is boosting the development of multimedia database systems and their integration into the internet. For the documents stored and exchanged in the...