Search results for "orthonormal"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
107	Jürgen Götze, Peter Rieder	SVD-updating using orthonormal mu-rotations.	J. VLSI Signal Process.	1996	DBLP DOI BibTeX RDF
96	Bin Han 0003	Symmetric orthonormal scaling functions and wavelets with dilation factor 4.	Adv. Comput. Math.	1998	DBLP DOI BibTeX RDF	orthonormal scaling function, 43A30, 39B62, wavelets, smoothness, symmetry, 41A15, 42C15, 41A30, 42C05
85	Ming-Jun Lai	Construction of multivariate compactly supported orthonormal wavelets.	Adv. Comput. Math.	2006	DBLP DOI BibTeX RDF	compactly supported, orthonormal, multi-scaling vectors, multi-wavelets, wavelets, multi-resolution analysis
62	Gerben J. Hekstra, Ed F. Deprettere	Fast Rotations: Low-cost Arithmetic Methods for Orthonormal Rotation.	IEEE Symposium on Computer Arithmetic	1997	DBLP DOI BibTeX RDF	fast rotations, orthonormal, micro-rotations, computer arithmetic, CORDIC
62	Deng-Chao Feng, Zhao-Xuan Yang, Xiao-Jun Qiao	The Application of Wavelet Neural Network with Orthonormal Bases in Digital Image Denoising.	ISNN (2)	2006	DBLP DOI BibTeX RDF
51	Georg Regensburger	Parametrizing compactly supported orthonormal wavelets by discrete moments.	Appl. Algebra Eng. Commun. Comput.	2007	DBLP DOI BibTeX RDF	Orthonormal wavelets, Filter coefficients, Gröbner bases, Moments, Parametrization
51	Anqi Qiu, Dmitri Bitouk, Michael I. Miller	Smooth functional and structural maps on the neocortex via orthonormal bases of the Laplace-Beltrami operator.	IEEE Trans. Medical Imaging	2006	DBLP DOI BibTeX RDF
51	Xi Zhang 0010, Toshinori Yoshikawa	Design of symmetric orthonormal wavelet filters using a single complex allpass filter.	ISCAS (3)	1999	DBLP DOI BibTeX RDF
46	Jaikumar Radhakrishnan, Martin Rötteler, Pranab Sen	Random Measurement Bases, Quantum State Distinction and Applications to the Hidden Subgroup Problem.	Algorithmica	2009	DBLP DOI BibTeX RDF	Random orthonormal measurement bases, Ensemble quantum state distinction, Hidden subgroup problem, Frobenius distance, Quantum Fourier transforms, Gel’fand pairs, Quantum algorithms
46	Zhongying Chen, Bin Wu, Yuesheng Xu	Multilevel augmentation methods for differential equations.	Adv. Comput. Math.	2006	DBLP DOI BibTeX RDF	multilevel augmentation methods, multiscale orthonormal bases in Sobolev spaces, differential equations
46	Praveen Ghanta, Sarma B. K. Vrudhula, Sarvesh Bhardwaj, Rajendran Panda	Stochastic variational analysis of large power grids considering intra-die correlations.	DAC	2006	DBLP DOI BibTeX RDF	orthonormal polynomials, correlations, process variations, power grids, stochastic analysis, polynomial chaos
45	Tetsuro Kitajima, Masahiro Takinoue, Ko-ichiroh Shohda, Akira Suyama	Design of Code Words for DNA Computers and Nanostructures with Consideration of Hybridization Kinetics.	DNA	2007	DBLP DOI BibTeX RDF
45	John J. Benedetto, Songkiat Sumetkijakan	Tight frames and geometric properties of wavelet sets.	Adv. Comput. Math.	2006	DBLP DOI BibTeX RDF	wavelets, frames
45	Xi Zhang 0010, Kousuke Kawai, Toshinori Yoshikawa, Yoshinori Takei	Lossy to lossless image compression using allpass filters.	ICIP (1)	2005	DBLP DOI BibTeX RDF
45	Isao Nakanishi, Yoshio Itoh, Yutaka Fukui	Transform domain neural filters.	ISCAS (5)	1999	DBLP DOI BibTeX RDF
40	Brian S. Krongold, Kannan Ramchandran, Douglas L. Jones	Frequency-Shift-Invariant Orthonormal Wavelet Packet Representations.	ICIP (1)	1997	DBLP DOI BibTeX RDF	frequency-shift-invariant orthonormal wavelet packet representations, wavelet expansions, dyadic structure, decomposition basis vectors, translation sensitivity, translation-invariant expansion, frequency alignment sensitivity, efficient best basis algorithm, signal representation, signal representation
40	Daniel D. Harrison, M. P. Weir	High-Speed Triangulation-Based 3-D Imaging with Orthonormal Data Projections and Error Detection.	IEEE Trans. Pattern Anal. Mach. Intell.	1990	DBLP DOI BibTeX RDF	surface topography measurement, triangulation-based 3-D imaging, orthonormal data projections, charge-injection-device image sensor, laser-based investigation system, printed-circuit board inspection, laser beam applications, surface topography measurement, computer vision, error detection, inspection, CCD image sensors, CCD image sensors, printed circuit testing
39	Hongli Shi, Bo Hu 0002, Jian Qiu Zhang 0001	A Novel Scheme for the Design of Approximate Hilbert Transform Pairs of Orthonormal Wavelet Bases.	IEEE Trans. Signal Process.	2008	DBLP DOI BibTeX RDF
39	Magdy T. Hanna	Direct Batch Evaluation of Optimal Orthonormal Eigenvectors of the DFTMatrix.	IEEE Trans. Signal Process.	2008	DBLP DOI BibTeX RDF
39	Hüseyin Akçay	Synthesis of Complete Orthonormal Fractional Basis Functions With Prescribed Poles.	IEEE Trans. Signal Process.	2008	DBLP DOI BibTeX RDF
39	Hüseyin Akçay	Synthesis of complete orthonormal fractional bases.	CDC	2008	DBLP DOI BibTeX RDF
39	Jian-Kang Zhang 0002, Jing Liu 0026, Kon Max Wong	Trace-Orthonormal Full-Diversity Cyclotomic Space-Time Codes.	IEEE Trans. Signal Process.	2007	DBLP DOI BibTeX RDF
39	Youngok Kim, Baxter F. Womack	Performance Evaluation of UWB Systems Exploiting Orthonormal Pulses.	IEEE Trans. Commun.	2007	DBLP DOI BibTeX RDF
39	Florian Luisier, Thierry Blu, Michael Unser	A New SURE Approach to Image Denoising: Interscale Orthonormal Wavelet Thresholding.	IEEE Trans. Image Process.	2007	DBLP DOI BibTeX RDF
39	Angelos Barmpoutis, Gerhard X. Ritter	Orthonormal Basis Lattice Neural Networks.	Computational Intelligence Based on Lattice Theory	2007	DBLP DOI BibTeX RDF
39	Xi Zhang, Dong Fang Ge	Hilbert Transform Pairs of Orthonormal Symmetric Wavelet Bases using Allpass Filters.	ICIP (1)	2007	DBLP DOI BibTeX RDF
39	B. A. Sethuraman, Frédérique E. Oggier	Constructions of Orthonormal Lattices and Quaternion Division Algebras for Totally Real Number Fields.	AAECC	2007	DBLP DOI BibTeX RDF
39	Luc Knockaert, Tom Dhaene	Orthonormal bandlimited Kautz sequences for global system modeling from piecewise rational models.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2006	DBLP DOI BibTeX RDF
39	Angelos Barmpoutis	Morphological NNs with orthonormal basis dendrites.	ACM Southeast Regional Conference	2006	DBLP DOI BibTeX RDF	lattice algebra, learning, morphological neural networks
39	Jian-Liang Lin, Wen-Liang Hwang, Soo-Chang Pei	Video compression based on orthonormal matching pursuits.	ISCAS	2006	DBLP DOI BibTeX RDF
39	Douglas P. Hardin, Thomas A. Hogan, Qiyu Sun	The Matrix-Valued Riesz Lemma and Local Orthonormal Bases in Shift-Invariant Spaces.	Adv. Comput. Math.	2004	DBLP DOI BibTeX RDF	Fejér-Riesz lemma, orthogonal bases, wavelets, multiresolution, frame, shift-invariant space
39	Ramesh A. Gopinath, C. Sidney Burrus	On cosine-modulated wavelet orthonormal bases.	IEEE Trans. Image Process.	1995	DBLP DOI BibTeX RDF
34	Bilge Karaçali, Wesley E. Snyder	Noise Reduction in Surface Reconstruction from a Given Gradient Field.	Int. J. Comput. Vis.	2004	DBLP DOI BibTeX RDF	gradient field, gradient space, orthonormal representation, projection, surface reconstruction, thresholding, noise reduction, multiscale analysis
34	Nicholas J. Daras	Generalized Padé-Type Approximation and Integral Representations.	Adv. Comput. Math.	2003	DBLP DOI BibTeX RDF	generalized Padé-type approximant, Bergman kernel, integral representation, self-summable countable orthonormal set in a Hilbert space, bianalytic map, Fourier series, integral operator
34	Aleksandra Mojsilovic, Miodrag V. Popovic, Aleksandar D. Popovic, Aleksandar N. Neskovic, V. Obradovic	Analysis and characterization of myocardial tissue with the wavelet image extension [US images].	ICIP	1995	DBLP DOI BibTeX RDF	myocardial tissue characterization, myocardial tissue analysis, wavelet image extension, orthonormal wavelet basis, unsupervised classification procedure, modified statistical T-test, image approximations, infarcted myocardium, noise-insensitive methods, US images, wavelet transforms, texture analysis, medical image processing, image texture, filter bank, medical diagnostic imaging, muscle, image distortions, echocardiography
34	Yuan Yan Tang, Hong Ma 0001, Dihua Xi, Yi Cheng, Ching Y. Suen	Extraction of reference lines from documents with grey-level background using sub-images of wavelets.	ICDAR	1995	DBLP DOI BibTeX RDF	reference lines, grey-level background, form documents, wavelet decomposition algorithm, orthonormal wavelets, sub-images, wavelet transforms, wavelets, document image, multiresolution analysis
34	Baba C. Vemuri, A. Radisavljevic	Multiresolution stochastic hybrid shape models with fractal priors.	ACM Trans. Graph.	1994	DBLP DOI BibTeX RDF	fractal surfaces, orthonormal wavelet basis, stiffness matrix, surface fitting, Bayesian estimation, multiresolution representation, deformable surfaces, superquadrics
34	Shuzhi Sam Ge, Yaozhang Pan, Qun Zhang, Lei Chen	Equivalent Relationship of Feedforward Neural Networks and Real-Time Face Detection System.	FIRA	2009	DBLP DOI BibTeX RDF
34	Guangzhi Cao, Charles A. Bouman, Kevin J. Webb	Fast Reconstruction Algorithms for Optical Tomography Using Sparse Matrix Representations.	ISBI	2007	DBLP DOI BibTeX RDF
34	Tan Shan, Licheng Jiao, Xiangchu Feng	Ridgelets Frame.	ICIAR (1)	2004	DBLP DOI BibTeX RDF
34	Youming Liu, Yang Wang 0020	The Uniformity of Non-Uniform Gabor Bases.	Adv. Comput. Math.	2003	DBLP DOI BibTeX RDF	Gabor basis, non-uniform Gabor basis, spectral set, tiling
34	Jérôme Kalifa, Stéphane Mallat, Bernard Rougé	Deconvolution by thresholding in mirror wavelet bases.	IEEE Trans. Image Process.	2003	DBLP DOI BibTeX RDF
34	Hui Ji, Zuowei Shen	Compactly supported (bi)orthogonal wavelets generated by interpolatory refinable functions.	Adv. Comput. Math.	1999	DBLP DOI BibTeX RDF	interpolatory subdivision scheme wavelets, 42A15, 41A15, 41A30, refinable functions, 42A05
33	Thierry Blu	A new design algorithm for two-band orthonormal rational filter banks and orthonormal rational wavelets.	IEEE Trans. Signal Process.	1998	DBLP DOI BibTeX RDF
28	Florian Luisier, Thierry Blu	SURE-LET Multichannel Image Denoising: Interscale Orthonormal Wavelet Thresholding.	IEEE Trans. Image Process.	2008	DBLP DOI BibTeX RDF
28	Karthik S. Gurumoorthy, Ajit Rajwade 0002, Arunava Banerjee, Anand Rangarajan 0001	Beyond SVD: Sparse projections onto exemplar orthonormal bases for compact image representation.	ICPR	2008	DBLP DOI BibTeX RDF
28	Charles K. Chui, Jian-Ao Lian	Construction of orthonormal multi-wavelets with additional vanishing moments.	Adv. Comput. Math.	2006	DBLP DOI BibTeX RDF	scaling function vectors, multi-wavelets, two-scale symbols, two-scale equations, orthonormality, compactly supported functions
28	Wenming Zheng, Xiaoou Tang	A Robust Algorithm for Generalized Orthonormal Discriminant Vectors.	ICPR (2)	2006	DBLP DOI BibTeX RDF
28	David B. H. Tay	On the regularity of orthonormal wavelets designed via the zero-pinning technique.	ISCAS	2006	DBLP DOI BibTeX RDF
28	Sylvain Durand	Orthonormal bases of non-separable wavelets with sharp directions.	ICIP (1)	2005	DBLP DOI BibTeX RDF
28	R. Mukundan 0001	Some computational aspects of discrete orthonormal moments.	IEEE Trans. Image Process.	2004	DBLP DOI BibTeX RDF
28	Lester S. H. Ngia	Recursive identification of acoustic echo systems using orthonormal basis functions.	IEEE Trans. Speech Audio Process.	2003	DBLP DOI BibTeX RDF
28	Barend J. van Wyk, Michaël A. van Wyk	Orthonormal Kernel Kronecker Product Graph Matching.	GbRPR	2003	DBLP DOI BibTeX RDF
28	Karim Abed-Meraim, Ammar Chkeif, Yingbo Hua, Samir Attallah	On a Class of Orthonormal Algorithms for Principal and Minor Subspace Tracking.	J. VLSI Signal Process.	2002	DBLP DOI BibTeX RDF	orthonormality, principal & minor component analysis, subspace tracking, adaptive algorithm
28	Mokhtar Nibouche, Ahmed Bouridane, Omar Nibouche, Danny Crookes	Rapid prototyping of orthonormal wavelet transforms on FPGAs.	ISCAS (2)	2001	DBLP DOI BibTeX RDF
28	Wenjie He, Ming-Jun Lai	Examples of bivariate nonseparable compactly supported orthonormal continuous wavelets.	IEEE Trans. Image Process.	2000	DBLP DOI BibTeX RDF
28	Deepak Shukla, Darren M. Dawson, Frank W. Paul	Multiple neural-network-based adaptive controller using orthonormal activation function neural networks.	IEEE Trans. Neural Networks	1999	DBLP DOI BibTeX RDF
28	Pedro Julián, Alfredo C. Desages, Belén D'Amico	Orthonormal high level canonical PWL functions.	ISCAS (5)	1999	DBLP DOI BibTeX RDF
28	Philip Rabinowitz	Numerical Experiments in Conformal Mapping by the Method of Orthonormal Polynomials.	J. ACM	1966	DBLP DOI BibTeX RDF
23	Steven B. Damelin	Pointwise bounds of orthogonal expansions on the real line via weighted Hilbert transforms.	Adv. Comput. Math.	2007	DBLP DOI BibTeX RDF	Freud weight, Hilbert transform, pointwise convergence, orthonormal expansions, weighted polynomial approximation, Fourier series, polynomial approximation
23	Robert D. Foley, David Goldsman	Confidence intervals using orthonormally weighted standardized time series.	ACM Trans. Model. Comput. Simul.	1999	DBLP DOI BibTeX RDF	orthonormal area estimator, standardized time series, steady-state output analysis, stochastic simulation, confidence intervals, variance estimation
23	Ranjit Gharpurey, Srinath Hosur	Transform domain techniques for efficient extraction of substrate parasitics.	ICCAD	1997	DBLP DOI BibTeX RDF	Green Function, orthonormal transforms, parasitics, substrate coupling
23	Thomas Blumensath, Michael E. Davies 0001	Sampling Theorems for Signals From the Union of Finite-Dimensional Linear Subspaces.	IEEE Trans. Inf. Theory	2009	DBLP DOI BibTeX RDF
23	Jian Cheng 0002, Aurobrata Ghosh, Tianzi Jiang, Rachid Deriche	A Riemannian Framework for Orientation Distribution Function Computing.	MICCAI (1)	2009	DBLP DOI BibTeX RDF
23	Lei Chen 0009, Lifeng Zhou, Hung Keng Pung	Universal Approximation and QoS Violation Application of Extreme Learning Machine.	Neural Process. Lett.	2008	DBLP DOI BibTeX RDF	Extreme learning machine (ELM), Randomhidden neurons, QoS, Radial basis function (RBF), Feedforward neural network, Universal approximation
23	Agnese Augello, Giorgio Vassallo, Salvatore Gaglio, Giovanni Pilato	Sentence Induced Transformations in "Conceptual" Spaces.	ICSC	2008	DBLP DOI BibTeX RDF	rotors, clifford, semantic space
23	Magdy T. Hanna, Nabila P. Attalla Seif, M. Waleed Abd El Maguid Ahmed	Discrete fractional Fourier transform based on the eigenvectors of Grünbaum tridiagonal matrix.	ISCAS	2008	DBLP DOI BibTeX RDF
23	Magdy T. Hanna	Direct Batch Evaluation of Desirable Eigenvectors of the DFT Matrix by Constrained Optimization.	ISCAS	2007	DBLP DOI BibTeX RDF
23	Magdy T. Hanna, Nabila P. Attalla Seif, M. Waleed Abd El Maguid Ahmed	Hermite-Gaussian-like eigenvectors of the discrete Fourier transform matrix based on the direct utilization of the orthogonal projection matrices on its eigenspaces.	IEEE Trans. Signal Process.	2006	DBLP DOI BibTeX RDF
23	Sumit Bagga, Sandro A. P. Haddad, Wouter A. Serdijn, John R. Long	An FCC compliant pulse generator for IR-UWB communications.	ISCAS	2006	DBLP DOI BibTeX RDF
23	Pranab Sen	Random Measurement Bases, Quantum State Distinction and Applications to the Hidden Subgroup Problem.	CCC	2006	DBLP DOI BibTeX RDF
23	Ali Karabiyik, Aydogan Savran	Hardware Implementation of a Wavelet Neural Network Using FPGAs.	ICONIP (3)	2006	DBLP DOI BibTeX RDF
23	Jaikumar Radhakrishnan, Martin Rötteler, Pranab Sen	On the Power of Random Bases in Fourier Sampling: Hidden Subgroup Problem in the Heisenberg Group.	ICALP	2005	DBLP DOI BibTeX RDF
23	Alfred Tze-Mun Leung, Roni Khazaka	Parametric model order reduction technique for design optimization.	ISCAS (2)	2005	DBLP DOI BibTeX RDF
23	Magdy T. Hanna, Nabila P. Attalla Seif, M. Waleed Abd El Maguid Ahmed	Hermite-Gaussian-like eigenvectors of the DFT matrix generated by the eigenanalysis of an almost tridiagonal matrix.	ISCAS (1)	2005	DBLP DOI BibTeX RDF
23	Minh N. Do, Martin Vetterli	The finite ridgelet transform for image representation.	IEEE Trans. Image Process.	2003	DBLP DOI BibTeX RDF
23	Cheong Hee Park, Haesun Park	Efficient Nonlinear Dimension Reduction for Clustered Data Using Kernel Functions.	ICDM	2003	DBLP DOI BibTeX RDF
23	Ivan Popivanov, Renée J. Miller	Similarity Search Over Time-Series Data Using Wavelets.	ICDE	2002	DBLP DOI BibTeX RDF	wavelets, time-series, similarity search
23	Michael Elad, Alfred M. Bruckstein	On sparse signal representations.	ICIP (1)	2001	DBLP DOI BibTeX RDF
23	Peter Paule, Otmar Scherzer, Armin Schoisswohl	Wavelets with Scale Dependent Properties.	SNSC	2001	DBLP DOI BibTeX RDF
23	Shouzhi Yang, Zhengxing Cheng, Hongyong Wang	Orthogonal Multiwavelets with Dilation Factor a.	WAA	2001	DBLP DOI BibTeX RDF
23	Karl Schwerdt, James L. Crowley	Robust Face Tracking Using Color.	FG	2000	DBLP DOI BibTeX RDF
23	Mickey Bhatia, William Clement Karl, Alan S. Willsky	Tomographic reconstruction and estimation based on multiscale natural-pixel bases.	IEEE Trans. Image Process.	1997	DBLP DOI BibTeX RDF
23	Jan J. Koenderink, Andrea J. van Doorn, Marigo Stavridi	Bidirectional Reflection Distribution Function Expressed in Terms of Surface Scattering Modes.	ECCV (2)	1996	DBLP DOI BibTeX RDF
23	Stéphane Mallat	A Theory for Multiresolution Signal Decomposition: The Wavelet Representation.	IEEE Trans. Pattern Anal. Mach. Intell.	1989	DBLP DOI BibTeX RDF	multiresolution signal decomposition, pyramidal algorithm, quadrature mirror filters, pattern recognition, pattern recognition, picture processing, picture processing, data compression, data compression, image coding, encoding, encoding, convolutions, texture discrimination, fractal analysis, wavelet representation
23	Karl-Heinz Mohn	Fehlerabschätzungen für gewisse Näherungskoeffizienten.	Computing	1974	DBLP DOI BibTeX RDF
23	William T. Weeks	Numerical Inversion of Laplace Transforms Using Laguerre Functions.	J. ACM	1966	DBLP DOI BibTeX RDF
17	Yanwen Zhang, Huiwen Wang, Jichang Zhao	Eliminating orthonormal constraints of SVD to guarantee full retrievability of blind watermarking.	Multim. Tools Appl.	2024	DBLP DOI BibTeX RDF
17	Youyu Yan, Jianguo Liu, Shenggang Yan, Siyuan Shen, Xiangang Li	An Effective Magnetic Anomaly Detection Using Orthonormal Basis of Magnetic Gradient Tensor Invariants.	IEEE Trans. Geosci. Remote. Sens.	2024	DBLP DOI BibTeX RDF
17	Zhen Qin, Xuwei Tan, Zhihui Zhu	Convergence Analysis for Learning Orthonormal Deep Linear Neural Networks.	IEEE Signal Process. Lett.	2024	DBLP DOI BibTeX RDF
17	Huanran Li, Daniel L. Pimentel-Alarcón	Contrastive Learning with Orthonormal Anchors (CLOA).	CoRR	2024	DBLP DOI BibTeX RDF
17	Tao Zhang 0030, Gennian Ge	New results on sparse representations in unions of orthonormal bases.	CoRR	2024	DBLP DOI BibTeX RDF
17	Leonardo Zambrano, Luciano Pereira, Aldo Delgado	Minimal orthonormal bases for pure quantum state estimation.	Quantum	2024	DBLP DOI BibTeX RDF
17	Marcin Rudzinski, Adam Burchardt, Karol Zyczkowski	Orthonormal bases of extreme quantumness.	Quantum	2024	DBLP DOI BibTeX RDF
17	Jumpei Goto, Yohei Nakata, Kiyofumi Abe, Yasunori Ishii, Takayoshi Yamashita	Learning Intra-class Multimodal Distributions with Orthonormal Matrices.	WACV	2024	DBLP DOI BibTeX RDF
17	Ming Zhang 0023, Xuefei Zhe, Hong Yan 0001	Orthonormal product quantization network for scalable face image retrieval.	Pattern Recognit.	2023	DBLP DOI BibTeX RDF
17	Bivek Gupta, Navneet Kaur, Amit Kumar Verma, Ravi P. Agarwal	Quadratic Phase Multiresolution Analysis and the Construction of Orthonormal Wavelets in L2(ℝ).	Axioms	2023	DBLP DOI BibTeX RDF
17	Tao Wang, Jutao Li, Naizheng Liu, Songlin Peng, Yongdong Li, Guangyou Fang	A New Data Processing Method for Magnetic Anomaly Detection and Localization Based on 2-D Orthonormal Basis Functions.	IEEE Trans. Geosci. Remote. Sens.	2023	DBLP DOI BibTeX RDF
17	Wen Mi, Liming Zhang 0002, Wei Xing Zheng 0001, Sheng Zhang 0006	Frequency Domain Identification of Continuous-Time Hammerstein Systems With Adaptive Continuous-Time Rational Orthonormal Basis Functions.	IEEE Trans. Autom. Control.	2023	DBLP DOI BibTeX RDF
17	Dayana Savostianova, Emanuele Zangrando, Gianluca Ceruti, Francesco Tudisco	Robust low-rank training via approximate orthonormal constraints.	CoRR	2023	DBLP DOI BibTeX RDF