Program equivalence and context-free grammars
Barry K. Rosen
SWAT 1972
We construct biorthogonal multiwavelets (abbreviated to wavelets) in a weighted Hilbert space L2 (E, ρ) where E is a compact subset in ℝd. A recursive formula for biorthogonal wavelet construction is presented. The construction of the initial wavelets is reformulated as the solution of a certain matrix completion problem. A general solution of the matrix completion problem is identified and expressed conveniently in terms of any given particular solution. Several particular solutions are proposed. Reconstruction and decomposition algorithms are developed for the biorthogonal wavelets. Special results for the univariate case E = [0, 1] are obtained.
Barry K. Rosen
SWAT 1972
Fahiem Bacchus, Joseph Y. Halpern, et al.
IJCAI 1995
P. Trespeuch, Y. Fournier, et al.
Civil-Comp Proceedings
Ismail Akhalwaya, Shashanka Ubaru, et al.
ICLR 2024