Search results for "biorthogonality"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
87	Nick Benton, Chung-Kil Hur	Biorthogonality, step-indexing and compiler correctness.	ICFP	2009	DBLP DOI BibTeX RDF	biorthogonality, step-indexing, denotational semantics, proof assistants, compiler verification
54	Julian Rathke, Vladimiro Sassone, Pawel Sobocinski 0001	Semantic Barbs and Biorthogonality.	FoSSaCS	2007	DBLP DOI BibTeX RDF
46	Liang Tao, Hon Keung Kwan	Novel DCT-based real-valued discrete Gabor transform.	ISCAS	2008	DBLP DOI BibTeX RDF
33	Shude Du, Deyou Yuan	On Characteristics of Biorthogonal Vector-Valued Multivariate Wavelet Packets Associated with a Quantity Dilation Matrix.	ESIAT (1)	2009	DBLP DOI BibTeX RDF	vector-valued, biorthogonality formulas, wavelet packets, scaling functions
31	Philipp Grohs, Lukas Liehr	Stable Gabor phase retrieval in Gaussian shift-invariant spaces via biorthogonality.	CoRR	2021	DBLP BibTeX RDF
31	Daniel Fridlender, Alejandro Gadea, Miguel Pagano, Leonardo Rodríguez	Biorthogonality for a Lazy language.	IFL	2017	DBLP DOI BibTeX RDF
31	Martin B. van Gijzen, Peter Sonneveld	Algorithm 913: An elegant IDR(s) variant that efficiently exploits biorthogonality properties.	ACM Trans. Math. Softw.	2011	DBLP DOI BibTeX RDF
31	Yonggan Li, Yinlei Tian	The Biorthogonality Quality of the Multivariate Multiwavelet Packages with Multi-scale Factor.	CSEE (4)	2011	DBLP DOI BibTeX RDF
31	Andrew M. Pitts	Step-Indexed Biorthogonality: a Tutorial Example.	Modelling, Controlling and Reasoning About State	2010	DBLP BibTeX RDF
31	Qingjiang Chen, Zongtian Wei	Biorthogonality Property of Vector-Valued Multivariate Wavelet Packets.	ICNC (5)	2008	DBLP DOI BibTeX RDF
31	Shuhei Kamioka	A Combinatorial Representation with Schroder Paths of Biorthogonality of Laurent Biorthogonal Polynomials.	Electron. J. Comb.	2007	DBLP DOI BibTeX RDF
31	Suheil A. Khuri	Biorthogonality condition for creeping flow in wedge-shaped trenches.	Appl. Math. Comput.	2003	DBLP DOI BibTeX RDF
31	Suheil A. Khuri	Biorthogonality condition for stokes flow in rectangular regions.	Int. J. Comput. Math.	1999	DBLP DOI BibTeX RDF
31	Suheil A. Khuri	Biorthogonality condition for axisymmetric Stokes flow in a toroidal region.	Appl. Math. Comput.	1998	DBLP DOI BibTeX RDF
31	Shiufun Cheung	Biorthogonality in lapped transforms: a study in high-quality audio compression.		1996	RDF
31	Shiufun Cheung, Jae S. Lim	Incorporation of biorthogonality into lapped transforms for audio compression.	ICASSP	1995	DBLP DOI BibTeX RDF
31	Z. Rocha	Implementation of the recurrence relations of biorthogonality.	Numer. Algorithms	1992	DBLP DOI BibTeX RDF
31	Salvatore D. Morgera	On biorthogonality of Hermitian and skew-Hermitian Szego/Levinson polynomials.	IEEE Trans. Acoust. Speech Signal Process.	1989	DBLP DOI BibTeX RDF
23	Runyi Yu 0001	Theory of Dual-Tree Complex Wavelets.	IEEE Trans. Signal Process.	2008	DBLP DOI BibTeX RDF
23	Colin Riba	Strong Normalization as Safe Interaction.	LICS	2007	DBLP DOI BibTeX RDF
23	Hayo Thielecke	Frame rules from answer types for code pointers.	POPL	2006	DBLP DOI BibTeX RDF	code pointers, polymorphism, continuations, Hoare logic, typed assembly language
23	Paul-André Melliès, Jerome Vouillon	Recursive Polymorphic Types and Parametricity in an Operational Framework.	LICS	2005	DBLP DOI BibTeX RDF
23	Andre Tkacenko, Palghat P. Vaidyanathan	Iterative algorithm for the design of optimal FIR analysis/synthesis filters for overdecimated filter banks.	ISCAS (3)	2004	DBLP DOI BibTeX RDF
23	Han-Lin Chen, Silong Peng	Localization of Dual Periodic Scaling and Wavelet Functions.	Adv. Comput. Math.	2003	DBLP DOI BibTeX RDF	dual function, periodic wavelet, localization