Sciweavers

1236 search results - page 68 / 248
» On the Hamkins approximation property
Sort
View
125
Voted
ICCTA
2007
IEEE
15 years 7 months ago
A Comparative Study on 2D Curvature Estimators
Curvature is a frequently used property in two-dimensional (2D) shape analysis, directly or for derived features such as corners or convex and concave arcs. This paper presents cur...
Simon Hermann, Reinhard Klette
102
Voted
FOSSACS
2005
Springer
15 years 6 months ago
Third-Order Idealized Algol with Iteration Is Decidable
The problems of contextual equivalence and approximation are studied for the third-order fragment of Idealized Algol with iteration (IA∗ 3). They are approached via a combination...
Andrzej S. Murawski, Igor Walukiewicz
RANDOM
2001
Springer
15 years 5 months ago
Minimizing Stall Time in Single and Parallel Disk Systems Using Multicommodity Network Flows
We study integrated prefetching and caching in single and parallel disk systems. A recent approach used linear programming to solve the problem. We show that integrated prefetching...
Susanne Albers, Carsten Witt
WSC
2001
15 years 2 months ago
Monte Carlo simulation approach to stochastic programming
Various stochastic programmingproblemscan be formulated as problems of optimization of an expected value function. Quite often the corresponding expectation function cannot be com...
Alexander Shapiro
99
Voted
ICASSP
2010
IEEE
15 years 29 days ago
Exponentially embedded families for multimodal sensor processing
The exponential embedding of two or more probability density functions (PDFs) is proposed for multimodal sensor processing. It approximates the unknown PDF by exponentially embedd...
Steven Kay, Quan Ding