Search results for "invertibility"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
94	Nevio Dubbini, Benedetto Piccoli, Antonio Bicchi	Left invertibility of discrete systems with finite inputs and quantized output.	CDC	2008	DBLP DOI BibTeX RDF
94	Ben-Kwei Jang, Roland T. Chin, Mohammed Charif-Chefchaouni, Dan Schonfeld	Comments on "On the invertibility of morphological representation of binary images" [and reply].	IEEE Trans. Image Process.	1996	DBLP DOI BibTeX RDF
91	Scott Craver, Nasir D. Memon, Boon-Lock Yeo, Minerva M. Yeung	On the Invertibility of Invisible Watermarking Techniques.	ICIP (1)	1997	DBLP DOI BibTeX RDF	invisible watermarking techniques, noninvertibility, ownership disputes, quasi-invertible watermarking schemes, watermark decoding, decoding, digital images, invertibility
64	Jens Hoefkens, Martin Berz	Verification of Invertibility of Complicated Functions over Large Domains.	Reliab. Comput.	2002	DBLP DOI BibTeX RDF
58	Se Young Chun, Jeffrey A. Fessler	Regularized methods for topology-preserving smooth nonrigid image registration using B-spline basis.	ISBI	2008	DBLP DOI BibTeX RDF
55	Kyung Sub Joo, Tamal Bose	Two-dimensional periodic digital filters.	ICIP	1995	DBLP DOI BibTeX RDF	two-dimensional periodic digital filters, periodically shift variant digital filters, Fornasini-Marchesini state-space model, shift-invariant system, Kiok-Neon model, 2-D PSV FM system, image scrambling, inverse system, cryptography, image representation, inverse problems, state-space methods, invertibility, two-dimensional digital filters, time-domain analysis
50	Mitsuhiro T. Nakao, Kouji Hashimoto, Yoshitaka Watanabe	A Numerical Method to Verify the Invertibility of Linear Elliptic Operators with Applications to Nonlinear Problems.	Computing	2005	DBLP DOI BibTeX RDF	Numerical verification, unique solvability of linear elliptic problem, finite element method
50	Xinpeng Zhang 0001, Shuozhong Wang	Watermarking Protocol Compatible with Secret Algorithms for Resisting Invertibility Attack.	KES (2)	2005	DBLP DOI BibTeX RDF
50	Olga Kosheleva, Vladik Kreinovich	Only Intervals Preserve the Invertibility of Arithmetic Operations.	Reliab. Comput.	1999	DBLP DOI BibTeX RDF
50	Mohammed Charif-Chefchaouni, Dan Schonfeld	On the invertibility of the morphological representation of binary images.	IEEE Trans. Image Process.	1994	DBLP DOI BibTeX RDF
44	Tobias Werther, Ewa Matusiak, Yonina C. Eldar, Nagesh K. Subbanna	A Unified Approach to Dual Gabor Windows.	IEEE Trans. Signal Process.	2007	DBLP DOI BibTeX RDF
41	Amit K. Agrawal, Yi Xu, Ramesh Raskar	Invertible motion blur in video.	ACM Trans. Graph.	2009	DBLP DOI BibTeX RDF	PSF, PSF estimation, computational photography, invertibility, motion deblurring
41	Xiang Zhou, Min Huang 0009, Zhiyong Peng	An additive-attack-proof watermarking mechanism for databases' copyrights protection using image.	SAC	2007	DBLP DOI BibTeX RDF	TTP, additive attack, invertibility attack, rights protection, relational database, watermarking
41	Debdeep Mukhopadhyay, Dipanwita Roy Chowdhury	Cellular Automata : An Ideal Candidate for a Block Cipher.	ICDCIT	2004	DBLP DOI BibTeX RDF	Cycle Structure, Self-invertibility, Cellular Automata, Block Ciphers, Non-linearity
35	Arnon Avron, Agata Ciabattoni, Anna Zamansky	Canonical Calculi: Invertibility, Axiom Expansion and (Non)-determinism.	CSR	2009	DBLP DOI BibTeX RDF
35	Aneel Tanwani, Daniel Liberzon	Invertibility of nonlinear switched systems.	CDC	2008	DBLP DOI BibTeX RDF
35	Phuoc Vo Tan, Gilles Millerioux, Jamal Daafouz	Invertibility, flatness and identifiability of switched linear dynamical systems: An application to secure communications.	CDC	2008	DBLP DOI BibTeX RDF
35	Gilles Millerioux, Jamal Daafouz	Invertibility and Flatness of Switched Linear Discrete-Time Systems.	HSCC	2007	DBLP DOI BibTeX RDF
35	Ren-ji Tao	Invertibility of Linear Finite Automata Over a Ring.	ICALP	1988	DBLP DOI BibTeX RDF
29	Xiaojing Ye, Yunmei Chen	A New Algorithm for Inverse Consistent Image Registration.	ISVC (1)	2009	DBLP DOI BibTeX RDF
29	Miguel Ángel Martín-Fernández, Marcos Martín-Fernández, Carlos Alberola-López	A Log-Euclidean Polyaffine Registration for Articulated Structures in Medical Images.	MICCAI (1)	2009	DBLP DOI BibTeX RDF
29	B. T. Thomas Yeo, Wanmei Ou, Polina Golland	Invertible Filter Banks on the 2-Sphere.	ICIP	2006	DBLP DOI BibTeX RDF
29	Ian A. Hiskens	Non-uniqueness in Reverse Time of Hybrid System Trajectories.	HSCC	2005	DBLP DOI BibTeX RDF
29	Ravikiran Rajagopal, Lee C. Potter	Multivariate MIMO FIR inverses.	IEEE Trans. Image Process.	2003	DBLP DOI BibTeX RDF
29	Andrew Secker, David S. Taubman	Lifting-based invertible motion adaptive transform (LIMAT) framework for highly scalable video compression.	IEEE Trans. Image Process.	2003	DBLP DOI BibTeX RDF
29	Felice Cardone, Mario Coppo	Decidability Properties of Recursive Types.	ICTCS	2003	DBLP DOI BibTeX RDF
29	Vincent Arsigny, Xavier Pennec, Nicholas Ayache	Polyrigid and Polyaffine Transformations: A New Class of Diffeomorphisms for Locally Rigid or Affine Registration.	MICCAI (2)	2003	DBLP DOI BibTeX RDF
29	Zong-Duo Dai, Dingfeng Ye, Kwok-Yan Lam	Weak Invertibiity of Finite Automata and Cryptanalysis on FAPKC.	ASIACRYPT	1998	DBLP DOI BibTeX RDF	cryptanalysis, public key cryptosystem, finite automaton
29	Ashok K. Chandra	On the Decision Problems of Program Schemas with Commutative and Invertable Functions.	POPL	1973	DBLP DOI BibTeX RDF
26	Hyung Gu Lee, Chulhan Lee, Jeung-Yoon Choi, Jongsun Kim, Jaihie Kim	Changeable Face Representations Suitable for Human Recognition.	ICB	2007	DBLP DOI BibTeX RDF	changeable face biometrics, non-invertibility, human inspection, face image synthesis, partition-based PCA
26	Stephen A. Fenner, Lance Fortnow, Ashish V. Naik, John D. Rogers	Inverting Onto Functions.	CCC	1996	DBLP DOI BibTeX RDF	function classes, total functions, nondeterministic Turing machines, unambiguous computation, Computational complexity, invertibility
26	David Naccarato, Y. T. Chien	Recursive Methods for Matrix Inversion in Pattern Recognition Environments.	IEEE Trans. Computers	1978	DBLP DOI BibTeX RDF	test for invertibility, recursive methods, pattern recognition, Matrix inversion, multivariate analysis
21	Noga Alon, Emil Powierski, Michael Savery, Alex D. Scott, Elizabeth Wilmer	Invertibility of Digraphs and Tournaments.	SIAM J. Discret. Math.	2024	DBLP DOI BibTeX RDF
21	Kyle Poe, Enrique Mallada, René Vidal	Invertibility of Discrete-Time Linear Systems with Sparse Inputs.	CoRR	2024	DBLP DOI BibTeX RDF
21	Anders Ågren Thuné, Kazutaka Matsuda, Meng Wang 0002	Reconciling Partial and Local Invertibility.	ESOP (2)	2024	DBLP DOI BibTeX RDF
21	Yahao Chen, Malek Ghanes, Jean-Pierre Barbot	Strong Left-Invertibility and Strong Input-Observability of Nonlinear Time-Delay Systems.	IEEE Control. Syst. Lett.	2023	DBLP DOI BibTeX RDF
21	Zineb Lotfi, Hamid Khalifi, Faissal Ouardi	Efficient Algebraic Method for Testing the Invertibility of Finite State Machines.	Comput.	2023	DBLP DOI BibTeX RDF
21	Kiwan Maeng, Chuan Guo, Sanjay Kariyappa, G. Edward Suh	Bounding the Invertibility of Privacy-preserving Instance Encoding using Fisher Information.	CoRR	2023	DBLP DOI BibTeX RDF
21	Mattie Ji	On the Invertibility of Euler Integral Transforms with Hyperplanes and Quadric Hypersurfaces.	CoRR	2023	DBLP DOI BibTeX RDF
21	Tianqi Cui, Thomas Bertalan, George J. Pappas, Manfred Morari, Ioannis G. Kevrekidis, Mahyar Fazlyab	Certified Invertibility in Neural Networks via Mixed-Integer Programming.	CoRR	2023	DBLP DOI BibTeX RDF
21	Kanishka P. Wijewardena, Steven A. Grosz, Kai Cao 0001, Anil K. Jain 0001	Fingerprint Template Invertibility: Minutiae vs. Deep Templates.	IEEE Trans. Inf. Forensics Secur.	2023	DBLP DOI BibTeX RDF
21	Xin Yang, Xiaogang Xu, Yingcong Chen	Out-of-domain GAN inversion via Invertibility Decomposition for Photo-Realistic Human Face Manipulation.	ICCV	2023	DBLP DOI BibTeX RDF
21	Vikas Kumar Mishra, Andrea Iannelli, Naim Bajçinca	A Data-Driven Approach to System Invertibility and Input Reconstruction.	CDC	2023	DBLP DOI BibTeX RDF
21	Haoran Huang, Yuhui Quan, Zhenghua Lei, Jinlong Hu, Yan Huang 0031	Video Noise Removal Using Progressive Decomposition With Conditional Invertibility.	ICME	2023	DBLP DOI BibTeX RDF
21	Kiwan Maeng, Chuan Guo, Sanjay Kariyappa, G. Edward Suh	Bounding the Invertibility of Privacy-preserving Instance Encoding using Fisher Information.	NeurIPS	2023	DBLP BibTeX RDF
21	Tianqi Cui, Thomas Bertalan, George J. Pappas, Manfred Morari, Yannis G. Kevrekidis, Mahyar Fazlyab	Certified Invertibility in Neural Networks via Mixed-Integer Programming.	L4DC	2023	DBLP BibTeX RDF
21	Burak Ekici, Arjun Viswanathan, Yoni Zohar, Cesare Tinelli, Clark W. Barrett	Formal Verification of Bit-Vector Invertibility Conditions in Coq.	FroCoS	2023	DBLP DOI BibTeX RDF
21	Sujay D. Kadam, Harish J. Palanthandalam-Madapusi	A note on invertibility and relative degree of MIMO LTI systems.	IFAC J. Syst. Control.	2022	DBLP DOI BibTeX RDF
21	Chin-Yi Chen, Jih-Jeng Huang	A Novel DEMATEL Approach by Considering Normalization and Invertibility.	Symmetry	2022	DBLP DOI BibTeX RDF
21	Roberto Kawakami Harrop Galvão, Marcelo Carvalho Minhoto Teixeira, Tomasz Szulc, Edvaldo Assunção, Marco Antonio Leite Beteto	Comments on 'Less conservative conditions for robust LQR-state-derivative controller design: an LMI approach' and new sufficient LMI conditions for invertibility of a convex combination of matrices.	Int. J. Syst. Sci.	2022	DBLP DOI BibTeX RDF
21	Shuijing Xiao, Guangxing Zeng	The Invertibility of Rational Univariate Representations.	J. Syst. Sci. Complex.	2022	DBLP DOI BibTeX RDF
21	Kanishka P. Wijewardena, Steven A. Grosz, Kai Cao 0001, Anil K. Jain 0001	Fingerprint Template Invertibility: Minutiae vs. Deep Templates.	CoRR	2022	DBLP DOI BibTeX RDF
21	Xin Yang, Xiaogang Xu, Yingcong Chen	Photo-Realistic Out-of-domain GAN inversion via Invertibility Decomposition.	CoRR	2022	DBLP DOI BibTeX RDF
21	Noga Alon, Emil Powierski, Michael Savery, Alex Scott 0001, Elizabeth Wilmer	Invertibility of digraphs and tournaments.	CoRR	2022	DBLP DOI BibTeX RDF
21	Xiutao Feng, Xiaoshan Gao, Zhangyi Wang, Xiangyong Zeng	Invertibility of multiple random functions and its application to symmetric ciphers.	IACR Cryptol. ePrint Arch.	2022	DBLP BibTeX RDF
21	Kshitij Tayal, Xiaowei Jia, Rahul Ghosh, Jared Willard, Jordan S. Read, Vipin Kumar 0001	Invertibility aware Integration of Static and Time-series data: An application to Lake Temperature Modeling.	SDM	2022	DBLP DOI BibTeX RDF
21	Divyansh Pareek, Andrej Risteski	The Effects of Invertibility on the Representational Complexity of Encoders in Variational Autoencoders.	ICLR	2022	DBLP BibTeX RDF
21	Maurizio Ciampa	Continuous LTI Input-Output Stable Systems on ${L^{p}(\mathbb {R})}$ and ${\mathscr {D'}_{L^{p}}(\mathbb {R})}$ Associated with Differential Equations: Existence, Invertibility Conditions and Inversion.	Circuits Syst. Signal Process.	2021	DBLP DOI BibTeX RDF
21	Aina Niemetz, Mathias Preiner, Andrew Reynolds 0001, Clark W. Barrett, Cesare Tinelli	On solving quantified bit-vector constraints using invertibility conditions.	Formal Methods Syst. Des.	2021	DBLP DOI BibTeX RDF
21	Boyang Lyu, Thuan Nguyen, Prakash Ishwar, Matthias Scheutz, Shuchin Aeron	Barycenteric distribution alignment and manifold-restricted invertibility for domain generalization.	CoRR	2021	DBLP BibTeX RDF
21	Pierre Champion, Thomas Thebaud, Gaël Le Lan, Anthony Larcher, Denis Jouvet	On the invertibility of a voice privacy system using embedding alignement.	CoRR	2021	DBLP BibTeX RDF
21	Divyansh Pareek, Andrej Risteski	The Effects of Invertibility on the Representational Complexity of Encoders in Variational Autoencoders.	CoRR	2021	DBLP BibTeX RDF
21	Yuye Zhan, Jingli Huang, Jiandong Liu, Hakeel Ahmed Chohan	Motion-blurred Image Restoration Based on Joint Invertibility of PSFs.	Comput. Syst. Sci. Eng.	2021	DBLP DOI BibTeX RDF
21	Pierre Champion, Thomas Thebaud, Gaël Le Lan, Anthony Larcher, Denis Jouvet	On the Invertibility of a Voice Privacy System Using Embedding Alignment.	ASRU	2021	DBLP DOI BibTeX RDF
21	Jean-Pierre Barbot, Krishna Busawon, C. Edwards	Left-invertibility under sparse assumption: the linear case.	ECC	2021	DBLP DOI BibTeX RDF
21	Qiuyang Zhang, Xiaofeng Huang, Haibing Yin, Weihong Niu	Deformable Convolution Network based Invertibility-Driven Interpolation Filter for HEVC.	DCC	2021	DBLP DOI BibTeX RDF
21	Thi Ai Thao Nguyen, Tran Khanh Dang, Dinh Thanh Nguyen	Non-Invertibility for Random Projection based Biometric Template Protection Scheme.	IMCOM	2021	DBLP DOI BibTeX RDF
21	Daniel Turizo, Daniel K. Molzahn	Invertibility Conditions for the Admittance Matrices of Balanced Power Systems.	CoRR	2020	DBLP BibTeX RDF
21	Yang Liu 0249, Zhenyue Qin, Saeed Anwar, Sabrina B. Caldwell, Tom Gedeon	Are Deep Neural Architectures Losing Information? Invertibility Is Indispensable.	CoRR	2020	DBLP BibTeX RDF
21	Konstantin E. Tikhomirov	Invertibility via distance for noncentered random matrices with continuous distributions.	Random Struct. Algorithms	2020	DBLP DOI BibTeX RDF
21	Pablo Arrighi, Simon Martiel, Simon Perdrix	Reversible causal graph dynamics: invertibility, block representation, vertex-preservation.	Nat. Comput.	2020	DBLP DOI BibTeX RDF
21	Yang Liu 0249, Zhenyue Qin, Saeed Anwar, Sabrina B. Caldwell, Tom Gedeon	Are Deep Neural Architectures Losing Information? Invertibility is Indispensable.	ICONIP (3)	2020	DBLP DOI BibTeX RDF
21	Jianfei Dong	Recursive NARX model identification of nonlinear chemical processes with matrix invertibility analysis.	Comput. Chem. Eng.	2019	DBLP DOI BibTeX RDF
21	Chen Wang 0026, Xiang Wang, Xiao Bai 0001, Yun Liu 0014, Jun Zhou 0001	Self-Supervised deep homography estimation with invertibility constraints.	Pattern Recognit. Lett.	2019	DBLP DOI BibTeX RDF
21	Fredrik D. Johansson, David A. Sontag, Rajesh Ranganath	Support and Invertibility in Domain-Invariant Representations.	CoRR	2019	DBLP BibTeX RDF
21	Burak Ekici, Arjun Viswanathan, Yoni Zohar, Clark W. Barrett, Cesare Tinelli	Verifying Bit-vector Invertibility Conditions in Coq (Extended Abstract).	PxTP	2019	DBLP DOI BibTeX RDF
21	Bastian Harrach	On stable invertibility and global Newton convergence for convex monotonic functions.	CoRR	2019	DBLP BibTeX RDF
21	Mei Zhang 0001, Ze-Tao Li, Qin-Mu Wu 0001, Boutaib Dahhou, Michel Cabassud	Actuator fault diagnose for interconnected system via invertibility.	Int. J. Model. Identif. Control.	2019	DBLP DOI BibTeX RDF
21	Ning Yan, Dong Liu 0002, Houqiang Li, Bin Li 0012, Li Li 0040, Feng Wu 0001	Invertibility-Driven Interpolation Filter for Video Coding.	IEEE Trans. Image Process.	2019	DBLP DOI BibTeX RDF
21	Martin Brain, Aina Niemetz, Mathias Preiner, Andrew Reynolds 0001, Clark W. Barrett, Cesare Tinelli	Invertibility Conditions for Floating-Point Formulas.	CAV (2)	2019	DBLP DOI BibTeX RDF
21	Federica Garin, Alain Y. Kibangou	Generic Delay-L Left Invertibility of Structured Systems with Scalar Unknown Input.	CDC	2019	DBLP DOI BibTeX RDF
21	Tristan Hascoet, Quentin Febvre, Weihao Zhuang, Yasuo Ariki, Tetsuya Takiguchi	Layer-Wise Invertibility for Extreme Memory Cost Reduction of CNN Training.	ICCV Workshops	2019	DBLP DOI BibTeX RDF
21	Fredrik D. Johansson, David A. Sontag, Rajesh Ranganath	Support and Invertibility in Domain-Invariant Representations.	AISTATS	2019	DBLP BibTeX RDF
21	Jens Behrmann	Principles of Neural Network Architecture Design - Invertibility and Domain Knowledge. (PDF / PS)		2019	RDF
21	Michael McAleer	Stationarity and invertibility of a dynamic correlation matrix.	Kybernetika	2018	DBLP DOI BibTeX RDF
21	Yuliya Lovcha, Alejandro Perez-Laborda, Luis Alberiko Gil-Alana	On the invertibility of seasonally adjusted series.	Comput. Stat.	2018	DBLP DOI BibTeX RDF
21	Aina Niemetz, Mathias Preiner, Andrew Reynolds 0001, Clark W. Barrett, Cesare Tinelli	On Solving Quantified Bit-Vectors using Invertibility Conditions.	CoRR	2018	DBLP BibTeX RDF
21	Jens Behrmann, Sören Dittmer, Pascal Fernsel, Peter Maaß	Analysis of Invariance and Robustness via Invertibility of ReLU-Networks.	CoRR	2018	DBLP BibTeX RDF
21	Jiancheng Zhang, Fanglai Zhu	On the observer matching condition and unknown input observer design based on the system left-invertibility concept.	Trans. Inst. Meas. Control	2018	DBLP DOI BibTeX RDF
21	Gabriel Renault	Invertibility modulo dead-ending no- $\mathcal {P}$ -universes.	Int. J. Game Theory	2018	DBLP DOI BibTeX RDF
21	Aina Niemetz, Mathias Preiner, Andrew Reynolds 0001, Clark W. Barrett, Cesare Tinelli	Solving Quantified Bit-Vectors Using Invertibility Conditions.	CAV (2)	2018	DBLP DOI BibTeX RDF
21	Fangchang Ma, Ulas Ayaz, Sertac Karaman	Invertibility of Convolutional Generative Networks from Partial Measurements.	NeurIPS	2018	DBLP BibTeX RDF
21	Imen Mrad, Jean-Pierre Barbot, Lassaâd Sbita	Left Invertibility for Switched Linear System Based on Z(TN)-Observability and HOSM Observer.	SSD	2018	DBLP DOI BibTeX RDF
21	Xiang Wang, Chen Wang 0026, Xiao Bai 0001, Yun Liu 0014, Jun Zhou 0001	Deep Homography Estimation with Pairwise Invertibility Constraint.	S+SSPR	2018	DBLP DOI BibTeX RDF
21	Kuize Zhang, Lijun Zhang 0004, Shaoshuai Mou	An Application of Invertibility of Boolean Control Networks to the Control of the Mammalian Cell Cycle.	IEEE ACM Trans. Comput. Biol. Bioinform.	2017	DBLP DOI BibTeX RDF
21	Matthew Begué, Kasso A. Okoudjou	Invertibility of graph translation and support of Laplacian Fiedler vectors.	CoRR	2017	DBLP BibTeX RDF
21	Anna C. Gilbert, Yi Zhang, Kibok Lee, Yuting Zhang 0001, Honglak Lee	Towards Understanding the Invertibility of Convolutional Neural Networks.	CoRR	2017	DBLP BibTeX RDF
21	Mei Zhang 0001, Zetao Li, Michel Cabassud, Boutaib Dahhou	Root cause analysis of actuator fault based on invertibility of interconnected system.	Int. J. Model. Identif. Control.	2017	DBLP DOI BibTeX RDF
21	Yinlan Chen	On invertibility and group inverse of combinations of two orthogonal projectors about a complex square matrix.	ICACI	2017	DBLP DOI BibTeX RDF
21	Anna C. Gilbert, Yi Zhang, Kibok Lee, Yuting Zhang 0001, Honglak Lee	Towards Understanding the Invertibility of Convolutional Neural Networks.	IJCAI	2017	DBLP DOI BibTeX RDF