Search results for "invariants"

Hits ?▲	Authors	Title	Venue	Year	Link
11	Jie Shao, Xinyu Pang, Zhaojian Yang, Juanli Li	Research on intelligent recognition of axis orbit based on Hu moment invariants and fractal box dimension.	URAI	2017	DBLP DOI BibTeX RDF
11	Vincent Trenchant, Trang Vu, Hector Ramirez Estay, Laurent Lefèvre, Yann Le Gorrec	On the use of structural invariants for the distributed control of infinite dimensional port-Hamitonian systems.	CDC	2017	DBLP DOI BibTeX RDF
11	Jie Liu 0013, Jing Liu 0012, Miaomiao Zhang, Haiying Sun, Xiaohong Chen 0007, Dehui Du, Mingsong Chen	An Approach to Proving Proof Obligation of Hybrid Event B Based on Differential Invariants.	COMPSAC (1)	2017	DBLP DOI BibTeX RDF
11	Fintan J. Costello, Paul Watts	Mathematical invariants in people's probabilistic reasoning.	CogSci	2017	DBLP BibTeX RDF
11	Hanlin Mo, Shirui Li, You Hao, Hua Li 0009	Shape-Color Differential Moment Invariants Under Affine Transforms.	CCCV (2)	2017	DBLP DOI BibTeX RDF
11	Hanlin Mo, Shirui Li, You Hao, Hua Li 0009	A Kind of Affine Weighted Moment Invariants.	CCCV (3)	2017	DBLP DOI BibTeX RDF
11	ThanhVu Nguyen, Timos Antonopoulos, Andrew Ruef, Michael Hicks 0001	Counterexample-guided approach to finding numerical invariants.	ESEC/SIGSOFT FSE	2017	DBLP DOI BibTeX RDF
11	Chenchen Cui, Rongrong Ni, Yao Zhao 0001	Robust Zero Watermarking for 3D Triangular Mesh Models Based on Spherical Integral Invariants.	IWDW	2017	DBLP DOI BibTeX RDF
11	Marius Greitschus, Daniel Dietsch, Andreas Podelski	Loop Invariants from Counterexamples.	SAS	2017	DBLP DOI BibTeX RDF
11	Sven Sickert, Joachim Denzler	Semantic Segmentation of Outdoor Areas Using 3D Moment Invariants and Contextual Cues.	GCPR	2017	DBLP DOI BibTeX RDF
11	Florrie Verity, Dirk Pattinson	Formally verified invariants of vote counting schemes.	ACSW	2017	DBLP DOI BibTeX RDF
11	Satrya Fajri Pratama, Azah Kamilah Muda, Yun-Huoy Choo, Ajith Abraham	Preparation of ATS Drugs 3D Molecular Structure for 3D Moment Invariants-Based Molecular Descriptors.	HIS	2017	DBLP DOI BibTeX RDF
11	Yotam M. Y. Feldman, Oded Padon, Neil Immerman, Mooly Sagiv, Sharon Shoham	Bounded Quantifier Instantiation for Checking Inductive Invariants.	TACAS (1)	2017	DBLP DOI BibTeX RDF
11	Pedro R. G. Antonino, Thomas Gibson-Robinson, A. W. Roscoe 0001	The Automatic Detection of Token Structures and Invariants Using SAT Checking.	TACAS (2)	2017	DBLP DOI BibTeX RDF
11	Yuwei Wang, Guoqiang Li 0001, Shoji Yuen	Nested Timed Automata with Invariants.	SETTA	2017	DBLP DOI BibTeX RDF
11	Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis	Generating Linear Invariants for a Conjunction of Automata Constraints.	CP	2017	DBLP DOI BibTeX RDF
11	Lenka Turonová, Lukás Holík	Towards Smaller Invariants for Proving Coverability.	EUROCAST (2)	2017	DBLP DOI BibTeX RDF
11	Driss Moujahid, Omar Elharrouss, Hamid Tairi	Visual object tracking based on disc-harmonic moments features invariants (Withdrawal Notice).	QCAV	2017	DBLP DOI BibTeX RDF
11	Andrew Sogokon, Paul B. Jackson, Taylor T. Johnson	Verifying Safety and Persistence Properties of Hybrid Systems Using Flowpipes and Continuous Invariants.	NFM	2017	DBLP DOI BibTeX RDF
11	ThanhVu Nguyen, Matthew B. Dwyer, Willem Visser	SymInfer: inferring program invariants using symbolic states.	ASE	2017	DBLP DOI BibTeX RDF
11	Shang-Wei Lin 0001, Jun Sun 0001, Hao Xiao, Yang Liu 0003, David Sanán, Henri Hansen	FiB: squeezing loop invariants by interpolation between Forward/Backward predicate transformers.	ASE	2017	DBLP DOI BibTeX RDF
11	Grigory Fedyukovich, Samuel J. Kaufman, Rastislav Bodík	Sampling invariants from frequency distributions.	FMCAD	2017	DBLP DOI BibTeX RDF
11	Piergiuseppe Mallozzi	Combining machine-learning with invariants assurance techniques for autonomous systems.	ICSE (Companion Volume)	2017	DBLP DOI BibTeX RDF
11	Tatjana Lange	An inductive approach to pattern recognition and its connection with geometric invariants.	CSIT (1)	2017	DBLP DOI BibTeX RDF
11	Ales Zita, Jan Flusser, Tomás Suk, Jan Kotera	Feature Selection on Affine Moment Invariants in Relation to Known Dependencies.	CAIP (2)	2017	DBLP DOI BibTeX RDF
11	Arvind S. Adimoolam, Thao Dang 0001	Augmented Complex Zonotopes for Computing Invariants of Affine Hybrid Systems.	FORMATS	2017	DBLP DOI BibTeX RDF
11	Long H. Pham, Jun Sun 0001, Lyly Tran Thi, Jingyi Wang 0004, Xin Peng 0001	Learning Likely Invariants to Explain Why a Program Fails.	ICECCS	2017	DBLP DOI BibTeX RDF
11	Jiang Liu	Normalization of Indexed Differentials Based on Function Distance Invariants.	CASC	2017	DBLP DOI BibTeX RDF
11	Andreas Humenberger, Maximilian Jaroschek, Laura Kovács	Automated Generation of Non-Linear Loop Invariants Utilizing Hypergeometric Sequences.	ISSAC	2017	DBLP DOI BibTeX RDF
11	Damien Fourure	Réseaux de neurones convolutifs pour la segmentation sémantique et l'apprentissage d'invariants de couleur. (Convolutional neural networks for semantic segmentation and color constancy).		2017	RDF
11	Rob Verheyen	RGIsearch: A C++ program for the determination of renormalization group invariants.	Comput. Phys. Commun.	2016	DBLP DOI BibTeX RDF
11	L. G. S. Duarte, L. A. C. P. da Mota, E. Nunez	Finding first order differential invariants through the S-function.	Comput. Phys. Commun.	2016	DBLP DOI BibTeX RDF
11	Hong-Ying Yang, Linlin Liang, Yong-Wei Li, Xiangyang Wang 0001	Quaternion Exponent Moments and Their Invariants for Color Image.	Fundam. Informaticae	2016	DBLP DOI BibTeX RDF
11	Bin Xiao 0002, Yanhong Zhang, Linping Li, Weisheng Li 0001, Guoyin Wang 0001	Explicit Krawtchouk moment invariants for invariant image recognition.	J. Electronic Imaging	2016	DBLP DOI BibTeX RDF
11	Gebhard Böckle, Damián Gvirtz	Division algebras and maximal orders for given invariants.	LMS J. Comput. Math.	2016	DBLP DOI BibTeX RDF
11	Kinkar Chandra Das, Kexiang Xu, Yujun Yang	Nordhaus-Gaddum-type results for resistance distance-based graph invariants.	Discuss. Math. Graph Theory	2016	DBLP DOI BibTeX RDF
11	Radislav Vaisman, Dirk P. Kroese, Ilya B. Gertsbakh	Improved Sampling Plans for Combinatorial Invariants of Coherent Systems.	IEEE Trans. Reliab.	2016	DBLP DOI BibTeX RDF
11	Saddek Bensalem, Marius Bozga, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan	Component-based verification using incremental design and invariants.	Softw. Syst. Model.	2016	DBLP DOI BibTeX RDF
11	Tolga Eren	Graph invariants for unique localizability in cooperative localization of wireless sensor networks: Rigidity index and redundancy index.	Ad Hoc Networks	2016	DBLP DOI BibTeX RDF
11	Swati Nigam, Ashish Khare	Integration of moment invariants and uniform local binary patterns for human activity recognition in video sequences.	Multim. Tools Appl.	2016	DBLP DOI BibTeX RDF
11	Ivan Gutman, Boris Furtula, Kinkar Chandra Das	On some degree-and-distance-based graph invariants of trees.	Appl. Math. Comput.	2016	DBLP DOI BibTeX RDF
11	Mobeen Munir, Waqas Nazeer, Zakia Shahzadi, Shin Min Kang	Some Invariants of Circulant Graphs.	Symmetry	2016	DBLP DOI BibTeX RDF
11	Edgar Chávez, Ana C. Chávez-Cáliz, Jorge L. López-López	Affine invariants of generalized polygons and matching under affine transformations.	Comput. Geom.	2016	DBLP DOI BibTeX RDF
11	Augusto Aubry, Vincenzo Carotenuto, Antonio De Maio, Danilo Orlando	Coincidence of Maximal Invariants for Two Adaptive Radar Detection Problems.	IEEE Signal Process. Lett.	2016	DBLP DOI BibTeX RDF
11	Zhanpeng Shao, Youfu Li	On Integral Invariants for Effective 3-D Motion Trajectory Matching and Recognition.	IEEE Trans. Cybern.	2016	DBLP DOI BibTeX RDF
11	Louis Esperet	Boxicity and topological invariants.	Eur. J. Comb.	2016	DBLP DOI BibTeX RDF
11	Stavros Garoufalidis, Eric Sabo, Shane Scott	Exact Computation of the n-Loop Invariants of Knots.	Exp. Math.	2016	DBLP DOI BibTeX RDF
11	Haiyong Wu, Senlin Yan	Computing invariants of Tchebichef moments for shape based image retrieval.	Neurocomputing	2016	DBLP DOI BibTeX RDF
11	Xavier Allamigeon, Stéphane Gaubert, Nikolas Stott, Eric Goubault, Sylvie Putot	A Scalable Algebraic Method to Infer Quadratic Invariants of Switched Systems.	ACM Trans. Embed. Comput. Syst.	2016	DBLP DOI BibTeX RDF
11	Md. Shareef Ifthekhar, Nam Tuan Le, Mohammad Arif Hossain, Trang Nguyen, Yeong Min Jang	Neural Network-Based Indoor Positioning Using Virtual Projective Invariants.	Wirel. Pers. Commun.	2016	DBLP DOI BibTeX RDF
11	Himanshu Aggarwal, Dinesh Kumar Vishwakarma	Covariate conscious approach for Gait recognition based upon Zernike moment invariants.	CoRR	2016	DBLP BibTeX RDF
11	Tuvi Etzion, Marcelo Firer, Roberto Assis Machado	Metrics Based on Finite Directed Graphs and Coding Invariants.	CoRR	2016	DBLP BibTeX RDF
11	Clément Maria, Jonathan Spreer	A polynomial time algorithm to compute quantum invariants of 3-manifolds with bounded first Betti number.	CoRR	2016	DBLP BibTeX RDF
11	Gilles Barthe, Thomas Espitau, Luis María Ferrer Fioriti, Justin Hsu	Synthesizing Probabilistic Invariants via Doob's Decomposition.	CoRR	2016	DBLP BibTeX RDF
11	Bertrand Meyer 0001	Class Invariants: Concepts, Problems, Solutions.	CoRR	2016	DBLP BibTeX RDF
11	Guus Regts, Bart Sevenster	Graph parameters from symplectic group invariants.	CoRR	2016	DBLP BibTeX RDF
11	Egor George Karpenkov, David Monniaux	Formula Slicing: Inductive Invariants from Preconditions.	CoRR	2016	DBLP BibTeX RDF
11	Stephen Marsland, Robert I. McLachlan	Möbius invariants of shapes and images.	CoRR	2016	DBLP BibTeX RDF
11	Vladimir P. Gerdt, Arsen Khvedelidze, Yuri Palii	On the ring of local unitary invariants for mixed X-states of two qubits.	CoRR	2016	DBLP BibTeX RDF
11	Andreas Holzer, Daniel Schwartz-Narbonne, Mitra Tabaei Befrouei, Georg Weissenbacher, Thomas Wies	Error Invariants for Concurrent Traces.	CoRR	2016	DBLP BibTeX RDF
11	Cuiming Zou, Kit Ian Kou	Facial Expression Classification Using Rotation Slepian-based Moment Invariants.	CoRR	2016	DBLP BibTeX RDF
11	Steven de Oliveira, Saddek Bensalem, Virgile Prevosto	Synthesizing invariants by solving solvable loops.	CoRR	2016	DBLP BibTeX RDF
11	Lida Kanari, Pawel Dlotko, Martina Scolamiero, Ran Levi, Julian C. Shillcock, Kathryn Hess, Henry Markram	Quantifying topological invariants of neuronal morphologies.	CoRR	2016	DBLP BibTeX RDF
11	Yuqi Chen 0001, Christopher M. Poskitt, Jun Sun 0001	Towards Learning and Verifying Invariants of Cyber-Physical Systems by Code Mutation.	CoRR	2016	DBLP BibTeX RDF
11	Krishnendu Chatterjee, Petr Novotný 0001, Dorde Zikelic	Stochastic Invariants for Probabilistic Termination.	CoRR	2016	DBLP BibTeX RDF
11	Steven de Oliveira, Saddek Bensalem, Virgile Prevosto	Polynomial invariants by linear algebra.	CoRR	2016	DBLP BibTeX RDF
11	Otkrist Gupta, Dan Raviv, Ramesh Raskar	Deep video gesture recognition using illumination invariants.	CoRR	2016	DBLP BibTeX RDF
11	Jun Sun 0001, Long H. Pham, Lyly Tran Thi, Jingyi Wang 0004, Xin Peng 0001	Learning Likely Invariants to Explain Why a Program Fails.	CoRR	2016	DBLP BibTeX RDF
11	Hamid Alishavandi, Gholam Hosein Gouraki, Hamid Parvin	An enhanced dynamic detection of possible invariants based on best permutation of test cases.	Comput. Syst. Sci. Eng.	2016	DBLP BibTeX RDF
11	Evelyne Hubert, George Labahn	Computation of invariants of finite abelian groups.	Math. Comput.	2016	DBLP DOI BibTeX RDF
11	Xiaoyan Wang, Yongmei Liu 0001	Fault localization using disparities of dynamic invariants.	J. Syst. Softw.	2016	DBLP DOI BibTeX RDF
11	Delia Garijo, Andrew J. Goodall, Jaroslav Nesetril	Polynomial graph invariants from homomorphism numbers.	Discret. Math.	2016	DBLP DOI BibTeX RDF
11	Zhuhong Shao, Yuanyuan Shang, Rui Zeng, Huazhong Shu, Gouenou Coatrieux, Jiasong Wu	Robust watermarking scheme for color image based on quaternion-type moment invariants and visual cryptography.	Signal Process. Image Commun.	2016	DBLP DOI BibTeX RDF
11	Hubert Mara	Made in the humanities: Dual integral invariants for efficient edge detection.	it Inf. Technol.	2016	DBLP BibTeX RDF
11	Chaim Even-Zohar, Joel Hass, Nati Linial, Tahl Nowik	Invariants of Random Knots and Links.	Discret. Comput. Geom.	2016	DBLP DOI BibTeX RDF
11	Bo Fu, Hao Guo, Xilin Zhao, Yufang Chang, Bo Li, Li He	Motion-blurred SIFT invariants based on sampling in image deformation space and univariate search.	IET Comput. Vis.	2016	DBLP DOI BibTeX RDF
11	Xintong Cui, Jiangming Kan, Wenbin Li 0004	Region matching based on colour invariants in rgb orthogonal space.	IET Comput. Vis.	2016	DBLP DOI BibTeX RDF
11	Noam Zeilberger	Linear lambda terms as invariants of rooted trivalent maps.	J. Funct. Program.	2016	DBLP DOI BibTeX RDF
11	Paul B. Slater	Invariance of bipartite separability and PPT-probabilities over Casimir invariants of reduced states.	Quantum Inf. Process.	2016	DBLP DOI BibTeX RDF
11	S. Shelly Sharma, N. K. Sharma 0003	Sequential generation of polynomial invariants and N-body non-local correlations.	Quantum Inf. Process.	2016	DBLP DOI BibTeX RDF
11	Junliang Shen	Cobordism invariants of the moduli space of stable pairs.	J. Lond. Math. Soc.	2016	DBLP DOI BibTeX RDF
11	Maciej Borodzik, Charles Livingston	Semigroups, d-invariants and deformations of cuspidal singular points of plane curves.	J. Lond. Math. Soc.	2016	DBLP DOI BibTeX RDF
11	Jovisa D. Zunic, Dragisa Zunic	Shape Interpretation of Second-Order Moment Invariants.	J. Math. Imaging Vis.	2016	DBLP DOI BibTeX RDF
11	Emmanuel Haucourt	Some Invariants of Directed Topology towards a Theoretical Base for a Static Analyzer Dealing with Fine-Grain Concurrency.		2016	RDF
11	Gilles Barthe, Thomas Espitau, Luis María Ferrer Fioriti, Justin Hsu	Synthesizing Probabilistic Invariants via Doob's Decomposition.	CAV (1)	2016	DBLP DOI BibTeX RDF
11	Jie Sheng Tham, Yong-Shen Chen, Mohammad Faizal Ahmad Fauzi, Yoong Choon Chang	Depth image object recognition using moment invariants.	ICCE-TW	2016	DBLP DOI BibTeX RDF
11	Sridhar Adepu, Aditya Mathur	Using Process Invariants to Detect Cyber Attacks on a Water Treatment System.	SEC	2016	DBLP DOI BibTeX RDF
11	Leonid W. Dworzanski, Irina A. Lomazova	Structural Place Invariants for Analyzing the Behavioral Properties of Nested Petri Nets.	Petri Nets	2016	DBLP DOI BibTeX RDF
11	Andrey Kostoglotov, Igor Deryabkin, Dmitriy Andrashitov, Sergey Lazarenko, Igor Pugachev	Synthesis of algorithms for estimation of parameters and state of dynamic systems using additional invariants.	EWDTS	2016	DBLP DOI BibTeX RDF
11	Cristina David, Pascal Kesseli, Daniel Kroening, Matt Lewis	Danger Invariants.	FM	2016	DBLP DOI BibTeX RDF
11	Yuqi Chen 0001, Christopher M. Poskitt, Jun Sun 0001	Towards Learning and Verifying Invariants of Cyber-Physical Systems by Code Mutation.	FM	2016	DBLP DOI BibTeX RDF
11	Andreas Holzer, Daniel Schwartz-Narbonne, Mitra Tabaei Befrouei, Georg Weissenbacher, Thomas Wies	Error Invariants for Concurrent Traces.	FM	2016	DBLP DOI BibTeX RDF
11	Yiqun Wang, Shengwei An, Xiaoxing Ma, Chun Cao, Chang Xu 0001	Verifying Distributed Controllers with Local Invariants.	QRS	2016	DBLP DOI BibTeX RDF
11	Zuohua Ding, Rong Wang, Jueliang Hu, Yang Liu 0003	Detecting Bugs of Concurrent Programs with Program Invariants.	QRS Companion	2016	DBLP DOI BibTeX RDF
11	Pranav Garg 0001, Daniel Neider, P. Madhusudan, Dan Roth	Learning invariants using decision trees and implication counterexamples.	POPL	2016	DBLP DOI BibTeX RDF
11	Oded Padon, Neil Immerman, Sharon Shoham, Aleksandr Karbyshev, Mooly Sagiv	Decidability of inferring inductive invariants.	POPL	2016	DBLP DOI BibTeX RDF
11	Clément Maria, Jonathan Spreer	Admissible Colourings of 3-Manifold Triangulations for Turaev-Viro Type Invariants.	ESA	2016	DBLP DOI BibTeX RDF
11	Anguluri Rajasekhar, Rahul Dhal, Sandip Roy 0002, Fabio Pasqualetti	Network invariants for optimal input detection.	ACC	2016	DBLP DOI BibTeX RDF
11	Olfa Besbes, Amel Benazza-Benyahia	A novel video-based smoke detection method based on color invariants.	ICASSP	2016	DBLP DOI BibTeX RDF
11	Steven de Oliveira, Saddek Bensalem, Virgile Prevosto	Polynomial Invariants by Linear Algebra.	ATVA	2016	DBLP DOI BibTeX RDF