Sciweavers

3328 search results - page 204 / 666
» On Plateaued Functions and Their Constructions
Sort
View
JAR
2010
108views more  JAR 2010»
15 years 5 months ago
Procedural Representation of CIC Proof Terms
Abstract. In this paper we propose an effective procedure for translating a proof term of the Calculus of Inductive Constructions (CIC), which is very similar to a program written...
Ferruccio Guidi
AMC
2011
15 years 1 months ago
Approximate inverse-free preconditioners for Toeplitz matrices
In this paper, we propose approximate inverse-free preconditioners for solving Toeplitz systems. The preconditioners are constructed based on the famous Gohberg-Sememcul formula. ...
You-Wei Wen, Wai-Ki Ching, Michael Ng
CMA
2011
14 years 10 months ago
Fuzzy hyperalgebras
We introduce and study term functions over fuzzy hyperalgebras. We start from this idea that the set of nonzero fuzzy subsets of a fuzzy hyperalgebra can be organized naturally as...
Reza Ameri, T. Nozari
ESA
2010
Springer
133views Algorithms» more  ESA 2010»
15 years 7 months ago
Balancing Degree, Diameter and Weight in Euclidean Spanners
Abstract. In a seminal STOC'95 paper, Arya et al. [4] devised a construction that for any set S of n points in Rd and any > 0, provides a (1 + )-spanner with diameter O(lo...
Shay Solomon, Michael Elkin
CVPR
2004
IEEE
16 years 8 months ago
Probability Models for High Dynamic Range Imaging
Methods for expanding the dynamic range of digital photographs by combining images taken at different exposures have recently received a lot of attention. Current techniques assum...
Chris Pal, Richard Szeliski, Matthew Uyttendaele, ...