Sciweavers

1361 search results - page 205 / 273
» Homing in scale space
Sort
View
SCALESPACE
2005
Springer
15 years 11 months ago
Stabilised Nonlinear Inverse Diffusion for Approximating Hyperbolic PDEs
Stabilised backward diffusion processes have shown their use for a number of image enhancement tasks. The goal of this paper is to show that they are also highly useful for designi...
Michael Breuß, Thomas Brox, Thomas Sonar, Jo...
SCALESPACE
2005
Springer
15 years 11 months ago
On Image Reconstruction from Multiscale Top Points
Image reconstruction from a fiducial collection of scale space interest points and attributes (e.g. in terms of image derivatives) can be used to make the amount of information co...
Frans Kanters, Martin Lillholm, Remco Duits, Bart ...
TACAS
2005
Springer
98views Algorithms» more  TACAS 2005»
15 years 11 months ago
Monte Carlo Model Checking
We present MC2 , what we believe to be the first randomized, Monte Carlo algorithm for temporal-logic model checking, the classical problem of deciding whether or not a property s...
Radu Grosu, Scott A. Smolka
ADC
2004
Springer
107views Database» more  ADC 2004»
15 years 11 months ago
Challenges in Enterprise Search
Concerted research effort since the nineteen fifties has lead to effective methods for retrieval of relevant documents from homogeneous collections of text, such as r archives,...
David Hawking
DSMML
2004
Springer
15 years 11 months ago
Can Gaussian Process Regression Be Made Robust Against Model Mismatch?
Learning curves for Gaussian process (GP) regression can be strongly affected by a mismatch between the ‘student’ model and the ‘teacher’ (true data generation process), e...
Peter Sollich