Search results for "invariants"

Hits ?▲	Authors	Title	Venue	Year	Link
11	Saima Aslam, Muhammad Ahsan Binyamin, Gerhard Pfister	Recognition of unimodal map germs from the plane to the plane by invariants.	Int. J. Algebra Comput.	2018	DBLP DOI BibTeX RDF
11	Weile Wang, Ramakrishna R. Nemani, Hirofumi Hashimoto, Sangram Ganguly, Dong Huang 0002, Yuri Knyazikhin, Ranga B. Myneni, Govindasamy Bala	An Interplay between Photons, Canopy Structure, and Recollision Probability: A Review of the Spectral Invariants Theory of 3D Canopy Radiative Transfer Processes.	Remote. Sens.	2018	DBLP DOI BibTeX RDF
11	Carlos A. Paredes-Orta, Jorge D. Mendiola-Santibañez, Gilberto Alvarado-Robles, Iván R. Terol-Villalobos	Ultimate opening: invariants, anamorphoses, and filtering.	J. Electronic Imaging	2018	DBLP DOI BibTeX RDF
11	Ruicong Zhi, Lianyu Cao, Gang Cao	Translation and scale invariants of Krawtchouk moments.	Inf. Process. Lett.	2018	DBLP DOI BibTeX RDF
11	Jörg Brendle, Barnabás Farkas, Jonathan Verner	Towers in filters, cardinal Invariants, and Luzin Type families.	J. Symb. Log.	2018	DBLP DOI BibTeX RDF
11	Bo Yang, Tomás Suk, Jan Flusser, Zhongke Shi, Xiaofeng Chen	Rotation invariants from Gaussian-Hermite moments of color images.	Signal Process.	2018	DBLP DOI BibTeX RDF
11	Vishal Kumar Pandey, Jyotsna Singh, Harish Parthasarathy	Algebraic technique for computationally efficient Hahn moment invariants.	Multidimens. Syst. Signal Process.	2018	DBLP DOI BibTeX RDF
11	Otkrist Gupta, Dan Raviv, Ramesh Raskar	Illumination invariants in deep video expression recognition.	Pattern Recognit.	2018	DBLP DOI BibTeX RDF
11	Bo Yang, Jitka Kostková, Jan Flusser, Tomás Suk, Roxana Bujack	Rotation invariants of vector fields from orthogonal moments.	Pattern Recognit.	2018	DBLP DOI BibTeX RDF
11	Xuan Wang 0006, Guanghui Shi, Fang-xia Guo	A comment on "Translation and scale invariants of Tchebichef moments" by Hongqing Zhu [Pattern Recognition 40 (2007) 2530-2542].	Pattern Recognit.	2018	DBLP DOI BibTeX RDF
11	Mostafa El Mallahi, Jaouad EL-Mekkaoui, Amal Zouhri, Hicham Amakdouf, Hassan Qjidaa	Rotation Scaling and Translation Invariants of 3D Radial Shifted Legendre Moments.	Int. J. Autom. Comput.	2018	DBLP DOI BibTeX RDF
11	Mostafa El Mallahi, Amal Zouhri, Anass El Affar, Ahmed Tahiri, Hassan Qjidaa	Radial Hahn Moment Invariants for 2D and 3D Image Recognition.	Int. J. Autom. Comput.	2018	DBLP DOI BibTeX RDF
11	Carlos Bousoño-Calzón, Harold Y. Molina-Bulla, José Joaquín Escudero Garzás, Francisco J. Herrera-Galvez	Expert Selection in Prediction Markets With Homological Invariants.	IEEE Access	2018	DBLP DOI BibTeX RDF
11	Rachid Benouini, Imad Batioua, Khalid Zenkouar, Said Najah, Hassan Qjidaa	Efficient 3D object classification by using direct Krawtchouk moment invariants.	Multim. Tools Appl.	2018	DBLP DOI BibTeX RDF
11	Muhuo Liu, Kinkar Chandra Das	On the ordering of distance-based invariants of graphs.	Appl. Math. Comput.	2018	DBLP DOI BibTeX RDF
11	Biao Cao, Mingzhu Guo, Wenjie Fan, Xiru Xu, Jingjing Peng, Huazhong Ren, Yongming Du, Hua Li 0005, Zunjian Bian, Tian Hu, Qing Xiao, Qinhuo Liu	A New Directional Canopy Emissivity Model Based on Spectral Invariants.	IEEE Trans. Geosci. Remote. Sens.	2018	DBLP DOI BibTeX RDF
11	Alessio Viticchié, Cataldo Basile, Fulvio Valenza, Antonio Lioy	On the impossibility of effectively using likely-invariants for software attestation purposes.	J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl.	2018	DBLP DOI BibTeX RDF
11	Subhrajit Bhattacharya, Robert Ghrist	Path homotopy invariants and their application to optimal trajectory planning.	Ann. Math. Artif. Intell.	2018	DBLP DOI BibTeX RDF
11	Robson S. Siqueira, Gilderlane R. Alexandre, José Marques Soares, George A. P. Thé	Triaxial Slicing for 3-D Face Recognition From Adapted Rotational Invariants Spatial Moments and Minimal Keypoints Dependence.	IEEE Robotics Autom. Lett.	2018	DBLP DOI BibTeX RDF
11	Pierre Roux, Yuen-Lam Voronin, Sriram Sankaranarayanan 0001	Validating numerical semidefinite programming solvers for polynomial invariants.	Formal Methods Syst. Des.	2018	DBLP DOI BibTeX RDF
11	You Hao, Qi Li, Hanlin Mo, He Zhang, Hua Li 0009	AMI-Net: Convolution Neural Networks With Affine Moment Invariants.	IEEE Signal Process. Lett.	2018	DBLP DOI BibTeX RDF
11	Sara Bernardini, Fabio Fagnani, David E. Smith 0001	Extracting mutual exclusion invariants from lifted temporal planning domains.	Artif. Intell.	2018	DBLP DOI BibTeX RDF
11	Diana Carolina Montoya	Some Cardinal Invariants of the Generalized Baire Spaces, Universität Wien, Austria, 2017. Supervised by Sy-David Friedman.	Bull. Symb. Log.	2018	DBLP DOI BibTeX RDF
11	Sebastien Gros, Mario Zanon	Numerical Optimal Control With Periodicity Constraints in the Presence of Invariants.	IEEE Trans. Autom. Control.	2018	DBLP DOI BibTeX RDF
11	Tomer Kotek, Johann A. Makowsky, Elena V. Ravve	On sequences of polynomials arising from graph invariants.	Eur. J. Comb.	2018	DBLP DOI BibTeX RDF
11	Anam Mustaqeem, Syed Muhammad Anwar, Muhammad Majid	Multiclass Classification of Cardiac Arrhythmia Using Improved Feature Selection and SVM Invariants.	Comput. Math. Methods Medicine	2018	DBLP DOI BibTeX RDF
11	Himanshu Aggarwal, Dinesh Kumar Vishwakarma	Covariate Conscious Approach for Gait Recognition Based Upon Zernike Moment Invariants.	IEEE Trans. Cogn. Dev. Syst.	2018	DBLP DOI BibTeX RDF
11	Alexander Kolpakov, Jun Murakami	Combinatorial Decompositions, Kirillov-Reshetikhin Invariants, and the Volume Conjecture for Hyperbolic Polyhedra.	Exp. Math.	2018	DBLP DOI BibTeX RDF
11	Weili Guo, Qiumin Guo, Guangfeng Jiang	Falk Invariants of Signed Graphic Arrangements.	Graphs Comb.	2018	DBLP DOI BibTeX RDF
11	Bineet Kaur, Sukhwinder Singh, Jagdish Kumar	Robust Iris Recognition Using Moment Invariants.	Wirel. Pers. Commun.	2018	DBLP DOI BibTeX RDF
11	Tuvi Etzion, Marcelo Firer, Roberto Assis Machado	Metrics Based on Finite Directed Graphs and Coding Invariants.	IEEE Trans. Inf. Theory	2018	DBLP DOI BibTeX RDF
11	Henning Christiansen 0001, Maja H. Kirkeby	Confluence of CHR revisited: invariants and modulo equivalence.	CoRR	2018	DBLP BibTeX RDF
11	Philipp Sadler	Detecting cities in aerial night-time images by learning structural invariants using single reference augmentation.	CoRR	2018	DBLP BibTeX RDF
11	Sharon Shoham	Undecidability of Inferring Linear Integer Invariants.	CoRR	2018	DBLP BibTeX RDF
11	Kai Siong Yow, Graham Farr, Kerri Morgan	Tutte Invariants for Alternating Dimaps.	CoRR	2018	DBLP DOI BibTeX RDF
11	Stefano Bistarelli, Francesco Santini 0001, Carlo Taticchi	On Looking for Local Expansion Invariants in Argumentation Semantics.	CoRR	2018	DBLP BibTeX RDF
11	He Zhang, Hanlin Mo, You Hao, Qi Li, Hua Li 0009	Differential and integral invariants under Mobius transformation.	CoRR	2018	DBLP BibTeX RDF
11	Joscha Diehl, Jeremy Reizenstein	Invariants of multidimensional time series based on their iterated-integral signature.	CoRR	2018	DBLP BibTeX RDF
11	Ehud Hrushovski, Joël Ouaknine, Amaury Pouly, James Worrell 0001	Polynomial Invariants for Affine Programs.	CoRR	2018	DBLP BibTeX RDF
11	Omar Tahri	A Framework for Moment Invariants.	CoRR	2018	DBLP BibTeX RDF
11	Shaull Almagor, Dmitry Chistikov 0001, Joël Ouaknine, James Worrell 0001	O-Minimal Invariants for Linear Loops.	CoRR	2018	DBLP BibTeX RDF
11	Alban Laflaquière, J. Kevin O'Regan, Sylvain Argentieri, Bruno Gas, Alexander V. Terekhov	Learning agent's spatial configuration from sensorimotor invariants.	CoRR	2018	DBLP BibTeX RDF
11	Yuqi Chen 0001, Christopher M. Poskitt, Jun Sun 0001	Learning from Mutants: Using Code Mutation to Learn and Monitor Invariants of a Cyber-Physical System.	CoRR	2018	DBLP BibTeX RDF
11	Gabriel Arpino, Kyle Morris, Sasanka Nagavalli, Katia P. Sycara	Using Information Invariants to Compare Swarm Algorithms and General Multi-Robot Algorithms: A Technical Report.	CoRR	2018	DBLP BibTeX RDF
11	Eric Samperton	Computational Complexity of Enumerative 3-Manifold Invariants.	CoRR	2018	DBLP BibTeX RDF
11	Stanley L. Tuznik, Peter J. Olver, Allen R. Tannenbaum	Affine Differential Invariants for Invariant Feature Point Detection.	CoRR	2018	DBLP BibTeX RDF
11	Ning Sun, Jinmin Yi, Pengfei Zhang, Huitao Shen, Hui Zhai	Deep Learning for Topological Invariants.	CoRR	2018	DBLP BibTeX RDF
11	Arkadiy Skopenkov	Invariants of graph drawings in the plane.	CoRR	2018	DBLP BibTeX RDF
11	Samir Chowdhury 0001, Facundo Mémoli	The Gromov-Wasserstein distance between networks and stable network invariants.	CoRR	2018	DBLP BibTeX RDF
11	Daniel Gall, Thom W. Frühwirth	Confluence Modulo Equivalence with Invariants in Constraint Handling Rules.	CoRR	2018	DBLP BibTeX RDF
11	Susan M. Cooper, Alexandra Seceleanu, Stefan O. Tohaneanu, Maria Vaz Pinto, Rafael H. Villarreal	GMD functions for scheme-based linear codes and algebraic invariants of Geramita ideals.	CoRR	2018	DBLP BibTeX RDF
11	Laurent Busé, Alexandru Dimca, Gabriel Sticlaru	Freeness and invariants of rational plane curves.	CoRR	2018	DBLP BibTeX RDF
11	Stéphane Mallat, Sixin Zhang, Gaspar Rochette	Phase Harmonics and Correlation Invariants in Convolutional Neural Networks.	CoRR	2018	DBLP BibTeX RDF
11	Jiaxiang Cai, Chuanzhi Bai, Haihui Zhang	Efficient schemes for the coupled Schrödinger-KdV equations: Decoupled and conserving three invariants.	Appl. Math. Lett.	2018	DBLP DOI BibTeX RDF
11	Yujun Yang, Vladimir R. Rosenfeld	Some spectral invariants of the neighborhood corona of graphs.	Discret. Appl. Math.	2018	DBLP DOI BibTeX RDF
11	Paul Castillo 0001, Sergio A. Gómez Macias	On the Conservation of Fractional Nonlinear Schrödinger Equation's Invariants by the Local Discontinuous Galerkin Method.	J. Sci. Comput.	2018	DBLP DOI BibTeX RDF
11	Sébastian Minjeaud, Richard Pasquetti	High Order C0 -Continuous Galerkin Schemes for High Order PDEs, Conservation of Quadratic Invariants and Application to the Korteweg-de Vries Model.	J. Sci. Comput.	2018	DBLP DOI BibTeX RDF
11	Simona Decu, Stefan Haesen, Leopold Verstraelen, Gabriel Eduard Vîlcu	Curvature Invariants of Statistical Submanifolds in Kenmotsu Statistical Manifolds of Constant ϕ-Sectional Curvature.	Entropy	2018	DBLP DOI BibTeX RDF
11	Nicolas T. Courtois	On the Existence of Non-Linear Invariants and Algebraic Polynomial Constructive Approach to Backdoors in Block Ciphers.	IACR Cryptol. ePrint Arch.	2018	DBLP BibTeX RDF
11	Tim Beyne	Block Cipher Invariants as Eigenvectors of Correlation Matrices.	IACR Cryptol. ePrint Arch.	2018	DBLP BibTeX RDF
11	Deqiong Li, Yaoping Hou	A note on Bartholdi zeta function and graph invariants based on resistance distance.	Discret. Math.	2018	DBLP DOI BibTeX RDF
11	Jie Liu 0013, Jing Liu 0012, Miaomiao Zhang, Haiying Sun, Xiaohong Chen 0007, Dehui Du, Mingsong Chen	A proof-based method of hybrid systems development using differential invariants.	Frontiers Comput. Sci.	2018	DBLP DOI BibTeX RDF
11	Yongming Bian, Meng Yang, Xuying Fan, Yuchao Liu	A Fire Detection Algorithm Based on Tchebichef Moment Invariants and PSO-SVM.	Algorithms	2018	DBLP DOI BibTeX RDF
11	Hendrik Radke, Thorsten Arendt, Jan Steffen Becker, Annegret Habel, Gabriele Taentzer	Translating essential OCL invariants to nested graph constraints for generating instances of meta-models.	Sci. Comput. Program.	2018	DBLP DOI BibTeX RDF
11	Tonatiuh Tapia-Flores, Ernesto López-Mellado, Ana Paula Estrada-Vargas, Jean-Jacques Lesage	Discovering Petri Net Models of Discrete-Event Processes by Computing T-Invariants.	IEEE Trans Autom. Sci. Eng.	2018	DBLP DOI BibTeX RDF
11	Jernej Azarija, Sandi Klavzar, Yoomi Rho, Seungbo Sim	On domination-type invariants of Fibonacci cubes and hypercubes.	Ars Math. Contemp.	2018	DBLP DOI BibTeX RDF
11	Emanuele Delucchi, Luca Moci	Products of arithmetic matroids and quasipolynomial invariants of CW-complexes.	J. Comb. Theory, Ser. A	2018	DBLP DOI BibTeX RDF
11	M. A. C. Akmal-Jahan, Jasmine Banks, Inmaculada Tomeo-Reyes, Vinod Chandran	Contactless Finger Recognition Using Invariants from Higher Order Spectra of Ridge Orientation Profiles.	ICIP	2018	DBLP DOI BibTeX RDF
11	Jitka Kostková, Tomás Suk, Jan Flusser	Affine Moment Invariants of Vector Fields.	ICIP	2018	DBLP DOI BibTeX RDF
11	Simon Bouget, Yérom-David Bromberg, Adrien Luxey, François Taïani	Pleiades: Distributed Structural Invariants at Scale.	DSN	2018	DBLP DOI BibTeX RDF
11	Gabriel Arpino, Kyle Morris, Sasanka Nagavalli, Katia P. Sycara	Using Information Invariants to Compare Swarm Algorithms and General Multi-Robot Algorithms.	ICRA	2018	DBLP DOI BibTeX RDF
11	Xiong Xu, Li Jiao, Ziming Zhu	The Simulated Tree-Growth Algorithm Based on T-Invariants for State Reduction of Petri Nets.	CEC	2018	DBLP DOI BibTeX RDF
11	Christian Müller 0008, Helmut Seidl, Eugen Zalinescu	Inductive Invariants for Noninterference in Multi-agent Workflows.	CSF	2018	DBLP DOI BibTeX RDF
11	Ehud Hrushovski, Joël Ouaknine, Amaury Pouly, James Worrell 0001	Polynomial Invariants for Affine Programs.	LICS	2018	DBLP DOI BibTeX RDF
11	Sohon Roy, Arie van Deursen, Felienne Hermans	On the Effectiveness of Automatically Inferred Invariants in Detecting Regression Faults in Spreadsheets.	QRS Companion	2018	DBLP DOI BibTeX RDF
11	Shaull Almagor, Dmitry Chistikov 0001, Joël Ouaknine, James Worrell 0001	O-Minimal Invariants for Linear Loops.	ICALP	2018	DBLP DOI BibTeX RDF
11	Kai Shen, Joseph K. Scott	Tight Reachability Bounds for Nonlinear Systems Using Nonlinear and Uncertain Solution Invariants.	ACC	2018	DBLP DOI BibTeX RDF
11	Jie An 0001, Naijun Zhan, Xiaoshan Li, Miaomiao Zhang, Wang Yi 0001	Model Checking Bounded Continuous-time Extended Linear Duration Invariants.	HSCC	2018	DBLP DOI BibTeX RDF
11	Yuyan Bao, Gary T. Leavens	A Methodology for Invariants, Framing, and Subtyping in JML.	Principled Software Development	2018	DBLP DOI BibTeX RDF
11	Weibo Gong	Invariants in Object Deformation and Concept Abstraction.	CDC	2018	DBLP DOI BibTeX RDF
11	Lin Ma, Zuohua Ding	Software Bug Localization Based on Key Range Invariants.	SATE	2018	DBLP DOI BibTeX RDF
11	Akmal-Jahan MAC, Kien Nguyen 0001, Jasmine Banks, Vinod Chandran	Contactless Multiple Finger Segments based Identity Verification using Information Fusion from Higher Order Spectral Invariants.	AVSS	2018	DBLP DOI BibTeX RDF
11	Christoforos I. Mavrogiannis, Ross A. Knepper	Multi-agent Trajectory Prediction and Generation with Topological Invariants Enforced by Hamiltonian Dynamics.	WAFR	2018	DBLP DOI BibTeX RDF
11	He Zhang, Hanlin Mo, You Hao, Qi Li, Hua Li 0009	Differential and Integral Invariants Under Möbius Transformation.	PRCV (3)	2018	DBLP DOI BibTeX RDF
11	Tim Beyne	Block Cipher Invariants as Eigenvectors of Correlation Matrices.	ASIACRYPT (1)	2018	DBLP DOI BibTeX RDF
11	Dimitar Bounov, Anthony DeRossi, Massimiliano Menarini, William G. Griswold, Sorin Lerner	Inferring Loop Invariants through Gamification.	CHI	2018	DBLP DOI BibTeX RDF
11	Daniel Gall, Thom W. Frühwirth	Confluence Modulo Equivalence with Invariants in Constraint Handling Rules.	FLOPS	2018	DBLP DOI BibTeX RDF
11	Florian Zuleger	Inductive Termination Proofs with Transition Invariants and Their Relationship to the Size-Change Abstraction.	SAS	2018	DBLP DOI BibTeX RDF
11	Zachary Kincaid	Numerical Invariants via Abstract Machines.	SAS	2018	DBLP DOI BibTeX RDF
11	Johannes Eriksson, Masoumeh Parsa, Ralph-Johan Back	A Precise Pictorial Language for Array Invariants.	IFM	2018	DBLP DOI BibTeX RDF
11	Magdalena Wiercioch	On Modeling Objects Using Sequence of Moment Invariants.	CISIM	2018	DBLP DOI BibTeX RDF
11	Rakesh Krishnan, Silvia Cruciani, Elena Gutierrez-Farewik, Niclas Björsell, Christian Smith	Reliably Segmenting Motion Reversals of a Rigid-IMU Cluster Using Screw-Based Invariants.	Humanoids	2018	DBLP DOI BibTeX RDF
11	Tania Khanna, Michael Hsiao	Guiding RTL Test Generation Using Relevant Potential Invariants.	ICCD	2018	DBLP DOI BibTeX RDF
11	Xujie Si, Hanjun Dai, Mukund Raghothaman, Mayur Naik, Le Song	Learning Loop Invariants for Program Verification.	NeurIPS	2018	DBLP BibTeX RDF
11	Yuqi Chen 0001, Christopher M. Poskitt, Jun Sun 0001	Learning from Mutants: Using Code Mutation to Learn and Monitor Invariants of a Cyber-Physical System.	IEEE Symposium on Security and Privacy	2018	DBLP DOI BibTeX RDF
11	Stewart Grant, Hendrik Cech, Ivan Beschastnikh	Inferring and asserting distributed system invariants.	ICSE	2018	DBLP DOI BibTeX RDF
11	Ionut Tamas, Ioan Salomie, Marcel Antal	Atomic invariants verification and deadlock detection at compile-time.	ICCP	2018	DBLP DOI BibTeX RDF
11	Henning Christiansen 0001, Maja H. Kirkeby	Confluence of CHR Revisited: Invariants and Modulo Equivalence.	LOPSTR	2018	DBLP DOI BibTeX RDF
11	Étienne André, Didier Lime, Mathias Ramparison	TCTL Model Checking Lower/Upper-Bound Parametric Timed Automata Without Invariants.	FORMATS	2018	DBLP DOI BibTeX RDF
11	Kathrin Skubch	Message passing algorithms for investigating invariants of sparse random graphs.		2018	RDF