Search results for "invariants"

Hits ?▲	Authors	Title	Venue	Year	Link
11	Anna Fariha, Ashish Tiwari 0001, Arjun Radhakrishna, Sumit Gulwani, Alexandra Meliou	Data Invariants: On Trust in Data-Driven Systems.	CoRR	2020	DBLP BibTeX RDF
11	Anders Miltner, Saswat Padhi, Todd D. Millstein, David Walker 0001	Data-Driven Inference of Representation Invariants.	CoRR	2020	DBLP BibTeX RDF
11	Jawher Jerray, Laurent Fribourg	Generation of bounded invariants via stroboscopic set-valued maps: Application to the stability analysis of parametric time-periodic systems.	CoRR	2020	DBLP BibTeX RDF
11	Tarik Ayaou, Azeddine Beghdadi, Karim Afdel, Abdellah Amghar	Enhancing road signs segmentation using photometric invariants.	CoRR	2020	DBLP BibTeX RDF
11	Lei Li, Dongling Wang	Energy and quadratic invariants preserving methods for Hamiltonian systems with holonomic constraints.	CoRR	2020	DBLP BibTeX RDF
11	Jianan Yao, Gabriel Ryan, Justin Wong, Suman Jana, Ronghui Gu	Learning Nonlinear Loop Invariants with Gated Continuous Logic Networks.	CoRR	2020	DBLP BibTeX RDF
11	Sebastian Johann Wetzel, Roger G. Melko, Joseph Scott, Maysum Panju 0001, Vijay Ganesh	Discovering Symmetry Invariants and Conserved Quantities by Interpreting Siamese Neural Networks.	CoRR	2020	DBLP BibTeX RDF
11	Adit Krishnan, Mahashweta Das, Mangesh Bendre, Hao Yang 0007, Hari Sundaram	Transfer Learning via Contextual Invariants for One-to-Many Cross-Domain Recommendation.	CoRR	2020	DBLP BibTeX RDF
11	Flavia Bonomo-Braberman, Dora Tilli	Fractional hypergraph isomorphism and fractional invariants.	CoRR	2020	DBLP BibTeX RDF
11	Dan Reznik, Ronaldo Garcia	Circum- and Inconic Invariants of 3-Periodics in the Elliptic Billiard.	CoRR	2020	DBLP BibTeX RDF
11	Marius Bozga, Javier Esparza, Radu Iosif, Joseph Sifakis, Christoph Welzel	Structural Invariants for the Verification of Systems with Parameterized Architectures.	CoRR	2020	DBLP BibTeX RDF
11	Dan Reznik, Ronaldo Garcia, Jair Koiller	Forty New Invariants of N-Periodics in the Elliptic Billiard.	CoRR	2020	DBLP BibTeX RDF
11	Andrea Fioraldi	Program State Abstraction for Feedback-Driven Fuzz Testing using Likely Invariants.	CoRR	2020	DBLP BibTeX RDF
11	Paul D. Ledger, B. A. Wilson, A. A. S. Amad, William R. B. Lionheart	Identification of Metallic Objects using Spectral MPT Signatures: Object Characterisation and Invariants.	CoRR	2020	DBLP BibTeX RDF
11	Colin S. Gordon	Designing with Static Capabilities and Effects: Use, Mention, and Invariants.	CoRR	2020	DBLP BibTeX RDF
11	Elizabeth Polgreen, Sanjit A. Seshia	SynRG: Syntax Guided Synthesis of Invariants with Alternating Quantifiers.	CoRR	2020	DBLP BibTeX RDF
11	Jingnan Shi, Heng Yang 0002, Luca Carlone	ROBIN: a Graph-Theoretic Approach to Reject Outliers in Robust Estimation using Invariants.	CoRR	2020	DBLP BibTeX RDF
11	Yotam M. Y. Feldman, Mooly Sagiv, Sharon Shoham, James R. Wilcox	Learning the Boundary of Inductive Invariants.	CoRR	2020	DBLP BibTeX RDF
11	Ilham Elouariachi, Rachid Benouini, Khalid Zenkouar, Arsalane Zarghili	Robust hand gesture recognition system based on a new set of quaternion Tchebichef moment invariants.	Pattern Anal. Appl.	2020	DBLP DOI BibTeX RDF
11	Shengbing Ren, Xiang Zhang	Synthesizing conjunctive and disjunctive linear invariants by K-means++ and SVM.	Int. Arab J. Inf. Technol.	2020	DBLP DOI BibTeX RDF
11	Minjie Zhang, Chengyong Wang, Shuchao Li	Extremal trees of given segment sequence with respect to some eccentricity-based invariants.	Discret. Appl. Math.	2020	DBLP DOI BibTeX RDF
11	Matteo Cavaleri, Alfredo Donno	Some degree and distance-based invariants of wreath products of graphs.	Discret. Appl. Math.	2020	DBLP DOI BibTeX RDF
11	Adrian Chapman, Steven T. Flammia	Characterization of solvable spin models via graph invariants.	Quantum	2020	DBLP DOI BibTeX RDF
11	Laurent Busé, Alexandru Dimca, Gabriel Sticlaru	Freeness and invariants of rational plane curves.	Math. Comput.	2020	DBLP DOI BibTeX RDF
11	Longwen Zhou	Non-Hermitian Floquet Phases with Even-Integer Topological Invariants in a Periodically Quenched Two-Leg Ladder.	Entropy	2020	DBLP DOI BibTeX RDF
11	Zeyi Shi, Sumiyoshi Abe	Quantum Weak Invariants: Dynamical Evolution of Fluctuations and Correlations.	Entropy	2020	DBLP DOI BibTeX RDF
11	Eivind Schneider	Differential Invariants of Measurements, and Their Relation to Central Moments.	Entropy	2020	DBLP DOI BibTeX RDF
11	Alexander A. Balinsky, Denis Blackmore, Radoslaw A. Kycia, Anatolij K. Prykarpatski	Geometric Aspects of the Isentropic Liquid Dynamics and Vorticity Invariants.	Entropy	2020	DBLP DOI BibTeX RDF
11	Yongzhuang Wei, René Rodríguez, Enes Pasalic	Cycle structure of generalized and closed loop invariants.	IACR Cryptol. ePrint Arch.	2020	DBLP BibTeX RDF
11	Mohammad Nosrati, Hassan Haghighi, Mojtaba Vahidi-Asl	Using likely invariants for test data generation.	J. Syst. Softw.	2020	DBLP DOI BibTeX RDF
11	Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis	Invariants for time-series constraints.	Constraints An Int. J.	2020	DBLP DOI BibTeX RDF
11	Eiran Danan, Raúl M. Falcón, Dani Kotlar, Trent G. Marbach, Rebecca J. Stones	Refining invariants for computing autotopism groups of partial Latin rectangles.	Discret. Math.	2020	DBLP DOI BibTeX RDF
11	Daniel Neider, P. Madhusudan, Shambwaditya Saha, Pranav Garg 0001, Daejun Park 0001	A Learning-Based Approach to Synthesizing Invariants for Incomplete Verification Engines.	J. Autom. Reason.	2020	DBLP DOI BibTeX RDF
11	Tobias Malzer, Hubert Rams, Markus Schöberl	On structural invariants in the energy-based in-domain control of infinite-dimensional port-Hamiltonian systems.	Syst. Control. Lett.	2020	DBLP DOI BibTeX RDF
11	Reynald Lercier, Christophe Ritzenthaler, Jeroen Sijsling	Reconstructing Plane Quartics from Their Invariants.	Discret. Comput. Geom.	2020	DBLP DOI BibTeX RDF
11	Leonid Bedratyuk	2D Geometric Moment Invariants from the Point of View of the Classical Invariant Theory.	J. Math. Imaging Vis.	2020	DBLP DOI BibTeX RDF
11	Riley O'Neill, Pedro Angulo-Umana, Jeff Calder, Bo Hessburg, Peter J. Olver, Chehrzad Shakiban, Katrina Yezzi-Woodley	Computation of Circular Area and Spherical Volume Invariants via Boundary Integrals.	SIAM J. Imaging Sci.	2020	DBLP DOI BibTeX RDF
11	Safaa M. Naeem, Mai S. Mabrouk, Mohamed A. Eldosoky, Ahmed Y. Sayed	Moment invariants for cancer classification based on electron-ion interaction pseudo potentials (EIIP).	Netw. Model. Anal. Health Informatics Bioinform.	2020	DBLP DOI BibTeX RDF
11	Bibek Kabi, Eric Goubault, Antoine Miné, Sylvie Putot	Combining Zonotope Abstraction and Constraint Programming for Synthesizing Inductive Invariants.	VSTTE	2020	DBLP DOI BibTeX RDF
11	Son N. Le, Sudarshan K. Srinivasan, Scott C. Smith	Exploiting Dual-Rail Register Invariants for Equivalence Verification of NCL Circuits.	MWSCAS	2020	DBLP DOI BibTeX RDF
11	Joseph Ben Geloun, Camille Coti, Allen D. Malony	On-the-fly Optimization of Parallel Computation of Symbolic Symplectic Invariants.	ISPDC	2020	DBLP DOI BibTeX RDF
11	Svetlana Topalova, Stela Zhelezova	Isomorphism and Invariants of Parallelisms of Projective Spaces.	ICMS	2020	DBLP DOI BibTeX RDF
11	Vladimir Vapnik, Rauf Izmailov	Complete statistical theory of learning: learning using statistical invariants.	COPA	2020	DBLP BibTeX RDF
11	Shaull Almagor, Edon Kelmendi, Joël Ouaknine, James Worrell 0001	Invariants for Continuous Linear Dynamical Systems.	ICALP	2020	DBLP DOI BibTeX RDF
11	Mona Zehni, Shuai Huang, Ivan Dokmanic, Zhizhen Zhao	3D Unknown View Tomography Via Rotation Invariants.	ICASSP	2020	DBLP DOI BibTeX RDF
11	Nicholas F. Marshall, Ti-Yen Lan, Tamir Bendory, Amit Singer	Image Recovery from Rotational And Translational Invariants.	ICASSP	2020	DBLP DOI BibTeX RDF
11	Jitka Kostková, Jan Flusser, Matteo Pedone	Combined Invariants to Gaussian Blur and Affine Transformation.	ICPR	2020	DBLP DOI BibTeX RDF
11	Martin Köhler, Felix Hasselwander, Klaus Schneider 0001	Properties of Invariants and Induction Lemmata.	MBMV	2020	DBLP BibTeX RDF
11	Raul Quinonez, Jairo Giraldo, Luis E. Salazar, Erick Bauman, Alvaro A. Cárdenas, Zhiqiang Lin	SAVIOR: Securing Autonomous Vehicles with Robust Physical Invariants.	USENIX Security Symposium	2020	DBLP BibTeX RDF
11	Ning Guo, Luhong Diao, Yiyi Xing	Projective Moment Invariants.	CSAE	2020	DBLP DOI BibTeX RDF
11	Kilian Ollivier, Chiara Boldrini, Andrea Passarella, Marco Conti	Structural Invariants in Individuals Language Use: The "Ego Network" of Words.	SocInfo	2020	DBLP DOI BibTeX RDF
11	Colin S. Gordon	Designing with Static Capabilities and Effects: Use, Mention, and Invariants (Pearl).	ECOOP	2020	DBLP DOI BibTeX RDF
11	Megan Fowler	Learning Loop Invariants.	SIGCSE	2020	DBLP DOI BibTeX RDF
11	Anders Miltner, Saswat Padhi, Todd D. Millstein, David Walker 0001	Data-driven inference of representation invariants.	PLDI	2020	DBLP DOI BibTeX RDF
11	Jianan Yao, Gabriel Ryan, Justin Wong, Suman Jana, Ronghui Gu	Learning nonlinear loop invariants with gated continuous logic networks.	PLDI	2020	DBLP DOI BibTeX RDF
11	Héctor Ruíz Barradas, Lilian Burdy, David Déharbe	Existence Proof Obligations for Constraints, Properties and Invariants in Atelier B.	ABZ	2020	DBLP DOI BibTeX RDF
11	Aurélien Coet	An annotation system for specifying aliasing invariants on object fields.	Programming	2020	DBLP DOI BibTeX RDF
11	Zeyu Yang, Liang He 0002, Peng Cheng 0001, Jiming Chen 0001, David K. Y. Yau, Linkang Du	PLC-Sleuth: Detecting and Localizing PLC Intrusions Using Control Invariants.	RAID	2020	DBLP BibTeX RDF
11	Przemyslaw Klesk, Aneta Bera, Dariusz Sychel	Reduction of Numerical Errors in Zernike Invariants Computed via Complex-Valued Integral Images.	ICCS (3)	2020	DBLP DOI BibTeX RDF
11	Ezio Bartocci, Laura Kovács, Miroslav Stankovic	Mora - Automatic Generation of Moment-Based Invariants.	TACAS (1)	2020	DBLP DOI BibTeX RDF
11	Marius Bozga, Javier Esparza, Radu Iosif, Joseph Sifakis, Christoph Welzel	Structural Invariants for the Verification of Systems with Parameterized Architectures.	TACAS (1)	2020	DBLP DOI BibTeX RDF
11	Oleg I. Smokty	Generalized Invariants of Multiple Scattered Polarized Radiation at Arbitrary Non-symmetrical Optical Levels of a Uniform Slab.	ICCSA (1)	2020	DBLP DOI BibTeX RDF
11	Adit Krishnan, Mahashweta Das, Mangesh Bendre, Hao Yang 0007, Hari Sundaram	Transfer Learning via Contextual Invariants for One-to-Many Cross-Domain Recommendation.	SIGIR	2020	DBLP DOI BibTeX RDF
11	Nuri Cingillioglu, Alessandra Russo	Learning Invariants through Soft Unification.	NeurIPS	2020	DBLP BibTeX RDF
11	Emanuele D'Osualdo, Felix Stutz	Decidable Inductive Invariants for Verification of Cryptographic Protocols with Unbounded Sessions.	CONCUR	2020	DBLP DOI BibTeX RDF
11	Rupak Majumdar, Joël Ouaknine, Amaury Pouly, James Worrell 0001	Algebraic Invariants for Linear Hybrid Automata.	CONCUR	2020	DBLP DOI BibTeX RDF
11	Francesco Ranzato	Decidability and Synthesis of Abstract Inductive Invariants.	CONCUR	2020	DBLP DOI BibTeX RDF
11	C. R. Subramanian 0001	Inductive Graph Invariants and Algorithmic Applications.	COCOA	2020	DBLP DOI BibTeX RDF
11	Bo Li 0079, Evgeniy V. Martyushev, Gim Hee Lee	Relative Pose Estimation of Calibrated Cameras with Known $\mathrm {SE}(3)$ Invariants.	ECCV (9)	2020	DBLP DOI BibTeX RDF
11	Hongce Zhang, Weikun Yang, Grigory Fedyukovich, Aarti Gupta, Sharad Malik	Synthesizing Environment Invariants for Modular Hardware Verification.	VMCAI	2020	DBLP DOI BibTeX RDF
11	Gabriel Ryan, Justin Wong, Jianan Yao, Ronghui Gu, Suman Jana	CLN2INV: Learning Loop Invariants with Continuous Logic Networks.	ICLR	2020	DBLP BibTeX RDF
11	Sven Schneider 0001, Johannes Dyck, Holger Giese	Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions.	ICGT	2020	DBLP DOI BibTeX RDF
11	Rafael Augusto Rocha Angulo, Juan Martín Carpio, Alfonso Rojas Domínguez, Manuel Ornelas-Rodríguez, Héctor Puga	A Novel Set of Moment Invariants for Pattern Recognition Applications Based on Jacobi Polynomials.	MCPR	2020	DBLP DOI BibTeX RDF
11	Hong Lu, Jiacheng Gui, Chengyi Wang, Hao Huang	A Novel Data-Driven Approach for Generating Verified Loop Invariants.	TASE	2020	DBLP DOI BibTeX RDF
11	Ilham Elouariachi, Rachid Benouini, Khalid Zenkouar, Arsalane Zarghili, Hakim el Fadili	Explicit quaternion krawtchouk moment invariants for finger-spelling sign language recognition.	EUSIPCO	2020	DBLP DOI BibTeX RDF
11	Alexander Levin	Some properties of multivariate differential dimension polynomials and their invariants.	ISSAC	2020	DBLP DOI BibTeX RDF
11	Peter Donelan	Invariants for Multi-twists, Screw Systems and Serial Manipulators.	ARK	2020	DBLP DOI BibTeX RDF
11	Saswat Padhi	Data-Driven Learning of Invariants and Specifications.		2020	RDF
11	John Sarracino	Language Design for Synthesizing Diagrams, Layouts, and Invariants.		2020	RDF
11	Johannes Dyck	Verification of graph transformation systems with k-inductive invariants.		2020	RDF
11	Assia Benbihi	Robust Visual Features for Long-Term Monitoring. (Points d'intérêts invariants pour la surveillance d'environnements extérieurs à long terme).		2020	RDF
11	Concetta Semeraro	Contribution to the formalisation of data-driven invariant modelling constructs of Cyber-Physical Systems. (Contribution à la formalisation d'invariants de modélisation de systèmes cyber-physiques, dirigés par les données).		2020	RDF
11	Paolo Boldi	Graph Invariants.	Encyclopedia of Big Data Technologies	2019	DBLP DOI BibTeX RDF
11	Alberto Cavicchioli, Fulvia Spaggiari	On Graph-Theoretical Invariants of Combinatorial Manifolds.	Electron. J. Comb.	2019	DBLP DOI BibTeX RDF
11	Alexander Garver, Rebecca Patrias	Greene-Kleitman Invariants for Sulzgruber Insertion.	Electron. J. Comb.	2019	DBLP DOI BibTeX RDF
11	Yasemin Sagiroglu, Ugur Gözütok	Metric properties of fuzzy curves and fuzzy invariants.	J. Intell. Fuzzy Syst.	2019	DBLP DOI BibTeX RDF
11	Florian Enescu, Sandra Spiroff	Computing the invariants of intersection algebras of principal monomial ideals.	Int. J. Algebra Comput.	2019	DBLP DOI BibTeX RDF
11	Raúl Castro-Ortega, Carina Toxqui-Quitl, Alfonso Padilla-Vivanco, José Francisco Solís Villarreal, Eber Enrique Orozco-Guillén	Zernike moment invariants for hand vein pattern description from raw biometric data.	J. Electronic Imaging	2019	DBLP DOI BibTeX RDF
11	Martin Gogolla, Antonio Vallecillo	On Softening OCL Invariants.	J. Object Technol.	2019	DBLP DOI BibTeX RDF
11	Paul Görlach, Evelyne Hubert, Théo Papadopoulo	Rational Invariants of Even Ternary Forms Under the Orthogonal Group.	Found. Comput. Math.	2019	DBLP DOI BibTeX RDF
11	Rachid Benouini, Imad Batioua, Khalid Zenkouar, Azeddine Zahi, Hakim el Fadili, Hassan Qjidaa	Fast and accurate computation of Racah moment invariants for image classification.	Pattern Recognit.	2019	DBLP DOI BibTeX RDF
11	Rachid Benouini, Imad Batioua, Khalid Zenkouar, Azeddine Zahi, Said Najah, Hassan Qjidaa	Fractional-order orthogonal Chebyshev Moments and Moment Invariants for image representation and pattern recognition.	Pattern Recognit.	2019	DBLP DOI BibTeX RDF
11	Yuanbin Wang, Xingwei Wang 0001	The Complete Set of Independent Affine Moment Invariants of Color Images.	Int. J. Pattern Recognit. Artif. Intell.	2019	DBLP DOI BibTeX RDF
11	He Zhang, Hanlin Mo, You Hao, Qi Li, Shirui Li, Hua Li 0009	Fast and efficient calculations of structural invariants of chirality.	Pattern Recognit. Lett.	2019	DBLP DOI BibTeX RDF
11	Rachid Benouini, Imad Batioua, Khalid Zenkouar, Fatiha Mrabti, Hakim el Fadili	New set of generalized legendre moment invariants for pattern recognition.	Pattern Recognit. Lett.	2019	DBLP DOI BibTeX RDF
11	Allen D. Parks, David J. Marchette	Categorification of the Müller-Wichards System Performance Estimation Model: Model Symmetries, Invariants, and Closed Forms.	Syst.	2019	DBLP DOI BibTeX RDF
11	Huili Liu, Yixuan Liu, Seoung Dal Jung	Ruled invariants and associated ruled surfaces of a space curve.	Appl. Math. Comput.	2019	DBLP DOI BibTeX RDF
11	Vladimir I. Semenov	The 3D Navier-Stokes Equations: Invariants, Local and Global Solutions.	Axioms	2019	DBLP DOI BibTeX RDF
11	Yi Zhang 0045, Xue-Ping Wang 0002	Mei Symmetry and Invariants of Quasi-Fractional Dynamical Systems with Non-Standard Lagrangians.	Symmetry	2019	DBLP DOI BibTeX RDF
11	David Monniaux	On the decidability of the existence of polyhedral invariants in transition systems.	Acta Informatica	2019	DBLP DOI BibTeX RDF