4870 search results - page 386 / 974 » Construction of Wavelets and Applications |
175
click to vote
APAL
2010
15 years 7 months ago
2010
We introduce a notion of Kripke model for classical logic for which we constructively prove soundness and cut-free completeness. We discuss the meaning of the new notion and its a...
188
click to vote
APAL
2008
15 years 7 months ago
2008
Building on previous work by Coquand and Spiwack [8] we construct a strict domaintheoretic model for the untyped -calculus with pattern matching and term rewriting which has the p...
189
click to vote
CGF
2008
15 years 7 months ago
2008
We introduce a scheme for constructing a CatmullClark subdivision surface that interpolates the vertices of a quadrilateral mesh with arbitrary topology. The basic idea here is to...
156
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
The order bound for the minimum distance of algebraic geometry codes is defined for the dual of one-point codes. A new bound for the minimum distance of linear codes, and for codes...
222
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
In this survey a novel system, called the oscillator system, consisting of order of p3 functions (signals) on the finite field Fp, is described and studied. The new functions are p...