Sciweavers

3007 search results - page 18 / 602
» Linear Functional Fixed-points
Sort
View
TIP
2002
98views more  TIP 2002»
13 years 7 months ago
Joint-MAP Bayesian tomographic reconstruction with a gamma-mixture prior
We address the problem of Bayesian image reconstruction with a prior that captures the notion of a clustered intensity histogram. The problem is formulated in the framework of a j...
Ing-Tsung Hsiao, Anand Rangarajan, Gene Gindi
CAV
2009
Springer
136views Hardware» more  CAV 2009»
14 years 8 months ago
Linear Functional Fixed-points
Joe Hendrix, Nikolaj Bjørner
FSE
2008
Springer
101views Cryptology» more  FSE 2008»
13 years 9 months ago
Post-Processing Functions for a Biased Physical Random Number Generator
Abstract. A corrector is used to reduce or eliminate statistical weakness of a physical random number generator. A description of linear corrector generalizing post-processing desc...
Patrick Lacharme
MCU
2004
76views Hardware» more  MCU 2004»
13 years 8 months ago
Real Recursive Functions and Real Extensions of Recursive Functions
Recently, functions over the reals that extend elementarily computable functions over the integers have been proved to correspond to the smallest class of real functions containing...
Olivier Bournez, Emmanuel Hainry
MICS
2010
62views more  MICS 2010»
13 years 2 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