Sciweavers

3038 search results - page 309 / 608
» High-Speed Function Approximation
Sort
View
CORR
2008
Springer
106views Education» more  CORR 2008»
15 years 6 months ago
Quantization of Prior Probabilities for Hypothesis Testing
Abstract--In this paper, Bayesian hypothesis testing is investigated when the prior probabilities of the hypotheses, taken as a random vector, are quantized. Nearest neighbor and c...
Kush R. Varshney, Lav R. Varshney
ENTCS
2008
152views more  ENTCS 2008»
15 years 6 months ago
Augur 2 - A New Version of a Tool for the Analysis of Graph Transformation Systems
We describe the design and the present state of the verification tool Augur 2 which is currently being developed. It is based on Augur 1, a tool which can analyze graph transforma...
Barbara König, Vitali Kozioura
161
Voted
AUTOMATICA
2006
86views more  AUTOMATICA 2006»
15 years 6 months ago
Averaging of nonsmooth systems using dither
It was shown by Zames and Shneydor and later by Mossaheb that a high-frequency dither signal of a quite arbitrary shape can be used to narrow the effective nonlinear sector of Lip...
Luigi Iannelli, Karl Henrik Johansson, Ulf T. J&ou...
IJCV
2006
79views more  IJCV 2006»
15 years 6 months ago
Splines in Higher Order TV Regularization
Splines play an important role as solutions of various interpolation and approximation problems that minimize special functionals in some smoothness spaces. In this paper, we show ...
Gabriele Steidl, Stephan Didas, Julia Neumann
JUCS
2008
134views more  JUCS 2008»
15 years 6 months ago
Computability of Topological Pressure for Sofic Shifts with Applications in Statistical Physics
: The topological pressure of dynamical systems theory is examined from a computability theoretic point of view. It is shown that for sofic shift dynamical systems, the topological...
Christoph Spandl