Search results for "Invariants"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
7	Zhibin Lei, Daniel Keren, David B. Cooper	Computationally fast Bayesian recognition of complex objects based on mutual algebraic invariants. (PDF / PS)	ICIP	1995	DBLP DOI BibTeX RDF	computationally fast Bayesian recognition, complex objects recognition, 2D curve, 3D surface objects, Euclidean invariants, polynomial coefficients, Bayesian object recognition, robust recognition, mutual invariants recognizers, self invariants, object geometry, low computational cost, partially occluded articulated objects, joint geometry, self geometry, mutual algebraic invariants, database, computational geometry, object recognition, noise, polynomials, polynomial, vector, position, Bayes methods, patches, affine invariants
4	Todd Zickler, Satya P. Mallick, David J. Kriegman, Peter N. Belhumeur	Color Subspaces as Photometric Invariants.	International Journal of Computer Vision	2008	DBLP DOI BibTeX RDF	Shape invariants, Dichromatic reflection, Color-based segmentation, Color-based optical flow, Surface reconstruction, Stereo, Shape from shading, Photometric stereo, Color spaces, Multispectral imaging, Photometric invariants
4	Aaron R. Bradley, Zohar Manna	Property-directed incremental invariant generation.	Formal Asp. Comput.	2008	DBLP DOI BibTeX RDF	Polynomial invariants, Clausal invariants, Model checking, Static analysis, Affine invariants, Invariant generation
4	Jan Flusser, Barbara Zitová	Combined Invariants to Convolution and Rotation and Their Application to Image Registration.	ICAPR	2001	DBLP DOI BibTeX RDF	convolution invariants, invariant basis, image registration, rotation invariants, Complex moments
4	D. Gregory Arnold, Kirk Sturtz, Vincent J. Velten, Nagaraj Nandhakumar	Dominant-Subspace Invariants.	IEEE Trans. Pattern Anal. Mach. Intell.	2000	DBLP DOI BibTeX RDF	Dominant-subspace invariants, Lie group analysis, principal basis, quasi-invariants, thermophysical invariance, thermophysical model
4	Alexander G. Mamistvalov	n-Dimensional Moment Invariants and Conceptual Mathematical Theory of Recognition n-Dimensional Solids.	IEEE Trans. Pattern Anal. Mach. Intell.	1998	DBLP DOI BibTeX RDF	n-ary quantics, algebraic invariants, n-dimensional moments, geometric concepts, n-dimensional solids, metric characteristics, affine classification, affine transformation, moment invariants
4	Jun Sato, Roberto Cipolla	Quasi-Invariant Parameterisations and Matching of Curves in Images.	International Journal of Computer Vision	1998	DBLP DOI BibTeX RDF	quasi-invariant parameterisations, semi-local invariants, integral invariants, bilateral symmetry, curve matching, differential invariants
4	Irene Rothe, Herbert Süße, Klaus Voss	The Method of Normalization to Determine Invariants.	IEEE Trans. Pattern Anal. Mach. Intell.	1996	DBLP DOI BibTeX RDF	Legendre descriptors, Invariants, normalization, Fourier descriptors, projective invariants, invariant moments
4	Isaac Weiss	Noise-Resistant Invariants of Curves.	IEEE Trans. Pattern Anal. Mach. Intell.	1993	DBLP DOI BibTeX RDF	noise-resistant projective invariants, curve invariants, object recognition, robustness, image recognition, occlusion, shape descriptors, differentiation techniques
4	Rüdiger Valk	Bridging the Gap Between Place- and Floyd-Invariants with Applications to Preemptive Scheduling.	Application and Theory of Petri Nets	1993	DBLP DOI BibTeX RDF	structure and behavior of Petri nets, place-invariants, Floyd-invariants, selfmodifying coloured Petrinets, program verification, coloured Petri nets, higher-level net models, analysis and synthesis
4	Thomas H. Reiss	The revised Fundamental Theorem of Moment Invariants.	IEEE Trans. Pattern Anal. Mach. Intell.	1991	DBLP DOI BibTeX RDF	fundamental theorem, similitude, general linear transformations, pattern recognition, pattern recognition, invariance, invariance, algebra, algebra, rotation invariants, moment invariants
3	Stephanie Balzer, Thomas R. Gross	Modular reasoning about invariants over shared state with interposed data members.	PLPV	2010	DBLP DOI BibTeX RDF	ownership type systems, invariants
3	Max Thalmaier, Minh D. Nguyen, Markus Wedler, Dominik Stoffel, Jörg Bormann, Wolfgang Kunz	Analyzing k-step induction to compute invariants for SAT-based property checking.	DAC	2010	DBLP DOI BibTeX RDF	k-step induction, symbolic traversal, invariants, IPC
3	Chris Lewis 0002	Zenet: generating and enforcing real-time temporal invariants.	ICSE	2010	DBLP DOI BibTeX RDF	runtime softwarefault monitoring, specification generator, temporal invariants, video games, rule engine
3	Ivo Krka, Yuriy Brun, Daniel Popescu, Joshua Garcia, Nenad Medvidovic	Using dynamic execution traces and program invariants to enhance behavioral model inference.	ICSE	2010	DBLP DOI BibTeX RDF	likely invariants, dynamic analysis, specification mining
3	Sumit Gulwani, Sagar Jain, Eric Koskinen	Control-flow refinement and progress invariants for bound analysis.	PLDI	2009	DBLP DOI BibTeX RDF	control-flow refinement, progress invariants, formal verification, program verification, termination, bound analysis
3	Mostafa Jabarouti Moghaddam, Hamid Soltanian-Zadeh	Automatic Segmentation of Brain Structures Using Geometric Moment Invariants and Artificial Neural Networks.	IPMI	2009	DBLP DOI BibTeX RDF	Geometric Moments Invariants, Artificial Neural Network, Magnetic Resonance Images, automatic segmentation
3	David Lo, Shahar Maoz	Mining scenario-based specifications with value-based invariants.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	value-based invariants, live sequence charts, specification mining
3	Marinella Cadoni, Manuele Bicego, Enrico Grosso	3D Face Recognition Using Joint Differential Invariants.	ICB	2009	DBLP DOI BibTeX RDF	Biometrics, Invariants, 3D Face Recognition
3	Shan Suthaharan	Enhanced Accuracy Moment Invariants for Biometric Recognition and Cryptosystems.	ICIAR	2009	DBLP DOI BibTeX RDF	Central moments, hamming window, biometric cryptosystem, pattern recognition, moment invariants, geometric transformation
3	Saurabh Srivastava, Sumit Gulwani	Program verification using templates over predicate abstraction.	PLDI	2009	DBLP DOI BibTeX RDF	constraint-based fixed-point, iterative fixed-point, quantified invariants, template invariants, predicate abstraction, weakest preconditions, smt solvers
3	James Welch, David Faitelson, Jim Davies	Automatic maintenance of association invariants.	Software and System Modeling	2008	DBLP DOI BibTeX RDF	Model, Integrity, Maintenance, Completion, Invariants, Association
3	Olga Grinchtein, Martin Leucker	Network invariants for real-time systems.	Formal Asp. Comput.	2008	DBLP DOI BibTeX RDF	Real-time systems, Parameterized systems, Network invariants
3	Dhruv Mahajan, Ravi Ramamoorthi, Brian Curless	A Theory Of Frequency Domain Invariants: Spherical Harmonic Identities for BRDF/Lighting Transfer and Image Consistency.	IEEE Trans. Pattern Anal. Mach. Intell.	2008	DBLP DOI BibTeX RDF	Frequency Domain Invariants, Spherical harmonic identities, Convolution, Relighting, Inverse rendering, Image Forensics, Tampering
3	Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna	Constructing invariants for hybrid systems.	Formal Methods in System Design	2008	DBLP DOI BibTeX RDF	Grobner bases, Verification, Analysis, Hybrid systems, Invariants, Polynomials, Algebraic geometry, Groebner bases
3	Ning Ouyang, Le-ping Lin, Zhao Liu	Cross-View Object Tracking by Projective Invariants and Feature Matching.	PCM	2008	DBLP DOI BibTeX RDF	Cross-view tracking, Feature Matching, projective invariants
3	Rui Abreu, Alberto González 0002, Peter Zoeteweij, Arjan J. C. van Gemund	Automatic software fault localization using generic program invariants.	SAC	2008	DBLP DOI BibTeX RDF	black box diagnosis, error detection, fault localization, program invariants, program spectra
3	Amit M. Paradkar, Avik Sinha	Specify Once Test Everywhere: Analyzing Invariants to Augment Service Descriptions for Automated Test Generation.	ICSOC	2008	DBLP DOI BibTeX RDF	Invariants analysis, Service Functional Testing, Automated Test Generation
3	Magne Haveraaen, Karl Trygve Kalleberg	JAxT and JDI: the simplicity of junit applied to axioms and data invariants.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	data invariants, java, program transformation, unit testing, test data generation, axioms, junit, mouldable programming
3	André Platzer, Edmund M. Clarke	Computing Differential Invariants of Hybrid Systems as Fixedpoints.	CAV	2008	DBLP DOI BibTeX RDF	verification of hybrid systems, verification logic, fixedpoint engine, differential invariants
3	Muhammad Zubair Malik, Aman Pervaiz, Engin Uzuncaova, Sarfraz Khurshid	Deryaft: a tool for generating representation invariants of structurally complex data.	ICSE	2008	DBLP DOI BibTeX RDF	invariant detection, representation invariants
3	Ekaterina Shemyakova, Elizabeth L. Mansfield	Moving frames for laplace invariants.	ISSAC	2008	DBLP DOI BibTeX RDF	gauge transformations, partial differential operators, invariants, moving frames
3	Azah Kamilah Muda, Siti Mariyam Hj. Shamsuddin, Maslina Darus	Invariants Discretization for Individuality Representation in Handwritten Authorship.	IWCF	2008	DBLP DOI BibTeX RDF	Authorship Invarianceness, Invariants Discretization, Writer Identification
3	David A. Naumann	On assertion-based encapsulation for object invariants and simulations.	Formal Asp. Comput.	2007	DBLP DOI BibTeX RDF	Object invariants, Encapsulation and abstraction, Separation and alias control
3	Alberto Pinto, Goffredo Haus	A novel XML music information retrieval method using graph invariants.	ACM Trans. Inf. Syst.	2007	DBLP DOI BibTeX RDF	melodic similarity, XML, metadata, Graphs, music, invariants, music information retrieval, structural properties
3	Makram Nabti, Ahmed Bouridane	An Improved Iris Recognition System Using Feature Extraction Based on Wavelet Maxima Moment Invariants.	ICB	2007	DBLP DOI BibTeX RDF	wavelet maxima, biometrics, iris recognition, moment invariants, multiscale edge detection
3	Pablo Toharia, Oscar David Robles, Angel Rodríguez, Luis Pastor	A Study of Zernike Invariants for Content-Based Image Retrieval.	PSIVT	2007	DBLP DOI BibTeX RDF	CBIR primitives, Zernike invariants
3	Ekaterina Shemyakova, Franz Winkler	A Full System of Invariants for Third-Order Linear Partial Differential Operators in General Form.	CASC	2007	DBLP DOI BibTeX RDF	Linear Partial Differential Operators, Gauge transformations, Invariants
3	Siddharth Manay, Daniel Cremers, Byung-Woo Hong, Anthony J. Yezzi, Stefano Soatto	Integral Invariants for Shape Matching.	IEEE Trans. Pattern Anal. Mach. Intell.	2006	DBLP DOI BibTeX RDF	Integral invariants, shape distance, shape, shape matching, shape retrieval
3	Guofei Jiang, Haifeng Chen, Kenji Yoshihira	Discovering likely invariants of distributed transaction systems for autonomic system management.	Cluster Computing	2006	DBLP DOI BibTeX RDF	Distributed transaction systems, Flow intensity, Invariants, System management, Regression model
3	Markus Rütten, Min S. Chong	Analyzing Vortex Breakdown Flow Structures by Assignment of Colors to Tensor Invariants.	IEEE Trans. Vis. Comput. Graph.	2006	DBLP DOI BibTeX RDF	Tensor field Topology, Invariants, Flow visualization
3	Alexander E. Kostin	A Reachability Algorithm for General Petri Nets Based on Transition Invariants.	MFCS	2006	DBLP DOI BibTeX RDF	transition invariants, Petri nets, reachability
3	Ekaterina Shemyakova	A Full System of Invariants for Third-Order Linear Partial Differential Operators.	AISC	2006	DBLP DOI BibTeX RDF	Laplace invariants, partial differential operators, Maple
3	David Evans, Michael Peck	Inculcating invariants in introductory courses.	ICSE	2006	DBLP DOI BibTeX RDF	dynamic inference, introductory software engineering, security, software engineering, static analysis, dependability, invariants
3	Basil Becker, Dirk Beyer, Holger Giese, Florian Klein, Daniela Schilling	Symbolic invariant verification for systems with dynamic structural adaptation.	ICSE	2006	DBLP DOI BibTeX RDF	gormal verification, hraph transformation systems, structural invariants, transition invariants, embedded systems, mechatronics, symbolic algorithms
3	Theo Gevers, Harro M. G. Stokman	Robust Histogram Construction from Color Invariants for Object Recognition.	IEEE Trans. Pattern Anal. Mach. Intell.	2004	DBLP DOI BibTeX RDF	color invariants, histogram construction, noise propagation, Object recognition, matching, kernel density estimation, noise robustness
3	Tomás Suk, Jan Flusser	Projective Moment Invariants.	IEEE Trans. Pattern Anal. Mach. Intell.	2004	DBLP DOI BibTeX RDF	object recognition, moment invariants, Projective transform
3	Shao Ying Zhu, Gerald Schaefer	Thermal Medical Image Retrieval by Moment Invariants.	ISBMDA	2004	DBLP DOI BibTeX RDF	Thermal medical images, medical infrared images, content-based image retrieval, moment invariants
3	Saeid Belkasim, E. Hassan, T. Obeidi	Radial Zernike Moment Invariants.	CIT	2004	DBLP DOI BibTeX RDF	radial moments, pattern recognition, feature extraction, Invariance, moment invariants
3	Chee-Way Chong, P. Raveendran, R. Mukundan	The scale invariants of pseudo-Zernike moments.	Pattern Anal. Appl.	2003	DBLP DOI BibTeX RDF	Image normalisation, Radial moments, Scale Invariants, Geometric moments, Pseudo-Zernike moments
3	Neelam Gupta, Zachary V. Heidepriem	A New Structural Coverage Criterion for Dynamic Detection of Program Invariants.	ASE	2003	DBLP DOI BibTeX RDF	dynamic analysis, Test data generation, execution traces, path testing, program invariants
3	Michel Charpentier	Composing Invariants.	FME	2003	DBLP DOI BibTeX RDF	formal specification, temporal logic, invariants, compositional verification
3	Jan Flusser, Jirí Boldys, Barbara Zitová	Moment Forms Invariant to Rotation and Blur in Arbitrary Number of Dimensions.	IEEE Trans. Pattern Anal. Mach. Intell.	2003	DBLP DOI BibTeX RDF	N-D imaging, blur invariants, group representation theory, image matching, rotation invariants
3	Changyun Wen, Ying Zhang, Yani Zhang	Recognition of Symmetrical Images Using Affine Moment Invariants in both Frequency and Spatial Domains.	Pattern Anal. Appl.	2002	DBLP DOI BibTeX RDF	Symmetrical image, Object recognition, Fourier transform, Threshold, Affine transformation, Moment invariants
3	Jamie Shield, Ian J. Hayes	Refining Object-Oriented Invariants and Dynamic Constraints.	APSEC	2002	DBLP DOI BibTeX RDF	history properties, Object-orientation, invariants, refinement calculus
3	Michael D. Ernst, Jake Cockrell, William G. Griswold, David Notkin	Dynamically Discovering Likely Program Invariants to Support Program Evolution.	IEEE Trans. Software Eng.	2001	DBLP DOI BibTeX RDF	pattern recognition, formal specification, software evolution, dynamic analysis, execution traces, logical inference, Program invariants
3	Matthias Berth, Günter Czichowski	Using Invariants to Solve the Equivalence Problem for Ordinary Differential Equations.	Appl. Algebra Eng. Commun. Comput.	2001	DBLP DOI BibTeX RDF	Equivalence problem for differential equations, Emden-Fowler equations, Differential invariants
3	Andreas Blass, Yuri Gurevich	Inadequacy of computable loop invariants.	ACM Trans. Comput. Log.	2001	DBLP DOI BibTeX RDF	postcondition uncomputable, recursive inseparability, assertion, automated reasoning, precondition, Hoare logic, automated deduction, loop invariants
3	Jean-Philippe Tarel, David B. Cooper	The Complex Representation of Algebraic Curves and Its Simple Exploitation for Pose Estimation and Invariant Recognition.	IEEE Trans. Pattern Anal. Mach. Intell.	2000	DBLP DOI BibTeX RDF	Complex polynomials, pose-independent curve recognition, Euclidean invariants, complete-sets of rotation invariants, curve centers, implicit polynomial curves, pose estimation, shape representation, shape recognition, algebraic curves
3	A. Prasad Sistla, Viktor Gyuris	Parameterized Verification of Linear Networks using Automata as Invariants.	Formal Asp. Comput.	1999	DBLP DOI BibTeX RDF	Safety, Invariants, Automata, Induction, Liveness, Linear networks
3	Zhengwei Yang, Fernand S. Cohen	Cross-Weighted Moments and Affine Invariants for Image Registration and Matching.	IEEE Trans. Pattern Anal. Mach. Intell.	1999	DBLP DOI BibTeX RDF	weighted moments, registration, occlusion, missing data, affine transformations, Affine invariants, weak perspective
3	Gabriela Csurka, Olivier D. Faugeras	Algebraic and Geometric Tools to Compute Projective and Permutation Invariants.	IEEE Trans. Pattern Anal. Mach. Intell.	1999	DBLP DOI BibTeX RDF	Uncalibrated stereo, projective and permutation invariants, Grassmann-Cayley algebra, indexation, projective reconstruction, cross ratio
3	Anna Mikhajlova	Consistent Extension of Components in the Presence of Explicit Invariants.	TOOLS	1999	DBLP DOI BibTeX RDF	semantic conformance, component extensions, explicit invariants, refinement, consistency, inheritance, forwarding
3	Ralph D. Jeffords, Constance L. Heitmeyer	Automatic Generation of State Invariants from Requirements Specifications.	SIGSOFT FSE	1998	DBLP DOI BibTeX RDF	verification, formal methods, specification, software tools, validation, requirements, invariants
3	Jan Flusser, Tomás Suk	Degraded Image Analysis: An Invariant Approach.	IEEE Trans. Pattern Anal. Mach. Intell.	1998	DBLP DOI BibTeX RDF	Degraded image, symmetric blur, blur invariants, combined invariants, object recognition, image moments
3	Cordelia Schmid, Roger Mohr	Local Grayvalue Invariants for Image Retrieval.	IEEE Trans. Pattern Anal. Mach. Intell.	1997	DBLP DOI BibTeX RDF	graylevel invariants, Image retrieval, matching, image indexing, interest points
3	Jayashree Subrahmonia, David B. Cooper, Daniel Keren	Practical Reliable Bayesian Recognition of 2D and 3D Objects Using Implicit Polynomials and Algebraic Invariants.	IEEE Trans. Pattern Anal. Mach. Intell.	1996	DBLP DOI BibTeX RDF	algebraic invariants, Bayesian recognition, Mahalanobis distance, Implicit polynomials
3	David S. Doermann, Ehud Rivlin, Isaac Weiss	Applying algebraic and differential invariants for logo recognition.	Mach. Vis. Appl.	1996	DBLP DOI BibTeX RDF	Document databases –Algebraic and differential invariants, Application, Document understanding, Logos
3	Åke Wallin, Olaf Kübler	Complete Sets of Complex Zernike Moment Invariants and the Role of the Pseudoinvariants.	IEEE Trans. Pattern Anal. Mach. Intell.	1995	DBLP DOI BibTeX RDF	pseudoinvariants, rotational invariants, shape description, Zernike moment
3	Ehud Rivlin, Isaac Weiss	Local Invariants For Recognition.	IEEE Trans. Pattern Anal. Mach. Intell.	1995	DBLP DOI BibTeX RDF	Object recognition, invariants, image matching, geometry
3	Kalle Åström	Fundamental Limitations on Projective Invariants of Planar Curves.	IEEE Trans. Pattern Anal. Mach. Intell.	1995	DBLP DOI BibTeX RDF	Projective and affine invariants, recognition, Hausdorff metric
3	Helmer Aslaksen, Shih-Ping Chan, Tor Gulliksen	Invariants ofS4 and the shape of sets of vectors.	Appl. Algebra Eng. Commun. Comput.	1995	DBLP DOI BibTeX RDF	Invariants of finite groups, Shape of sets of vectors
3	George Bebis, Michael Georgiopoulos, Niels da Vitoria Lobo	Learning Geometric Hashing Functions for Model-Based Object Recognition. (PDF / PS)	ICCV	1995	DBLP DOI BibTeX RDF	geometric hashing functions, distribution of invariants, geometric hash function, elastic hash table, hash bins, statistical characteristics, neural network, learning (artificial intelligence), learning, object recognition, indexing, training, invariants, file organisation, topology preserving, self-organizing feature map, self-organising feature maps, elastic net, model-based object recognition
3	Daniel Keren	Using Symbolic Computation to Find Algebraic Invariants.	IEEE Trans. Pattern Anal. Mach. Intell.	1994	DBLP DOI BibTeX RDF	algebraic invariants, complicated objects, Brown University, polynomial coefficients, computer vision, object recognition, CAD, polynomials, graphics, symbolic computation, symbol manipulation, implicit polynomials
3	Richard I. Hartley	Projective Reconstruction and Invariants from Multiple Images.	IEEE Trans. Pattern Anal. Mach. Intell.	1994	DBLP DOI BibTeX RDF	geometric configurations, epipolar correspondence, seven-point correspondences, six-point correspondences, image sequences, image reconstruction, invariance, geometry, matrix algebra, fundamental matrix, projective reconstruction, projective invariants, multiple images
3	Kurt Lautenbach, Hanno Ridder	Liveness in Bounded Petri Nets Which Are Covered by T-Invariants.	Application and Theory of Petri Nets	1994	DBLP DOI BibTeX RDF	linear invariants, deadlocks, liveness
3	Jörg Desel	Proving Non-Reachabililty by Modulo-Place-Invariants.	FSTTCS	1994	DBLP DOI BibTeX RDF	Petri nets, Invariants, Reachability analysis
3	Daphna Weinshall	Direct Computation of Qualitative 3-D Shape and Motion Invariants.	IEEE Trans. Pattern Anal. Mach. Intell.	1991	DBLP DOI BibTeX RDF	3D shape invariants, 3D motion invariants, matched images, local surface patches, cylindrical, hyperbolic, pattern recognition, pattern recognition, picture processing, picture processing, optical flow, structure from motion, convex, planar, depth map, saddle point, concave, focus of expansion
3	Bart M. ter Haar Romeny, Luc Florack, Jan J. Koenderink, Max A. Viergever	Scale-Space: Its Natural Operators and Differential Invariants.	IPMI	1991	DBLP DOI BibTeX RDF	Scale-space, gaussian kernel, gaussian derivatives, differential invariants
3	Tadao Murata, Boris Shenker, Sol M. Shatz	Detection of Ada Static Deadlocks Using Petri Net Invariants.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	Ada static deadlocks, Petri net invariants, Ada tasking programs, message-flow, computational complexity, complexities, Petri nets, Ada, concurrency control, program testing, system recovery, control-flow
3	Jean-Michel Couvreur, Javier Martínez	Linear invariants in commutative high level nets.	Applications and Theory of Petri Nets	1989	DBLP DOI BibTeX RDF	Linear invariants, flow computation, structural analysis methods, subclasses of Petri nets, colored nets
2	Juan P. Galeotti, Nicolás Rosner, Carlos López Pombo, Marcelo F. Frias	Analysis of invariants for efficient bounded verification.	ISSTA	2010	DBLP DOI BibTeX RDF	dynalloy, kodkod, sat-based code analysis, static analysis, alloy
2	Haifeng Chen, Guofei Jiang, Kenji Yoshihira, Akhilesh Saxena	Invariants Based Failure Diagnosis in Distributed Computing Systems.	SRDS	2010	DBLP DOI BibTeX RDF	Distributed Systems, Invariants, Failure Diagnosis
2	F. Chevonne Thomas Dancer, David A. Dampier	A Platform Independent Process Model for Smartphones Based on Invariants.	SADFE	2010	DBLP DOI BibTeX RDF	process model, invariants, smartphone, computer forensics
2	Sriram Sankaranarayanan	Automatic invariant generation for hybrid systems using ideal fixed points.	HSCC	2010	DBLP DOI BibTeX RDF	verification, hybrid systems, invariants, conservation laws, algebraic geometry
2	Sumit Gulwani, Florian Zuleger	The reachability-bound problem.	PLDI	2010	DBLP DOI BibTeX RDF	disjunctive invariants, resource bound analysis, pattern matching, transitive closure, ranking functions
2	Andreas Podelski, Thomas Wies	Counterexample-guided focus.	POPL	2010	DBLP DOI BibTeX RDF	quantified invariants, data structures, shape analysis, predicate abstraction, abstraction refinement
2	Gianpiero Cabodi, Sergio Nocco, Stefano Quer	Strengthening Model Checking Techniques With Inductive Invariants.	IEEE Trans. on CAD of Integrated Circuits and Systems	2009	DBLP DOI BibTeX RDF
2	Yu-Ping Wang, Shi-Min Hu	A New Watermarking Method for 3D Models Based on Integral Invariants.	IEEE Trans. Vis. Comput. Graph.	2009	DBLP DOI BibTeX RDF
2	Ville Ojansivu, Janne Heikkilä	Weighted DFT Based Blur Invariants for Pattern Recognition.	SCIA	2009	DBLP DOI BibTeX RDF
2	Tom Schrijvers, Louis-Julien Guillemette, Stefan Monnier	Type invariants for Haskell.	PLPV	2009	DBLP DOI BibTeX RDF	type families, type functions, haskell, type checking
2	Tomás Suk, Jan Flusser	Affine Moment Invariants of Color Images.	CAIP	2009	DBLP DOI BibTeX RDF
2	Matthew A. Holgate, Thomas Sugar, Alexander W. Boehler	A novel control algorithm for wearable robotics using phase plane invariants.	ICRA	2009	DBLP DOI BibTeX RDF
2	Yumi Iwashita, Ryo Kurazume	Person identification from human walking sequences using affine moment invariants.	ICRA	2009	DBLP DOI BibTeX RDF
2	Alexander Heußner, Tristan Le Gall, Grégoire Sutre	Extrapolation-Based Path Invariants for Abstraction Refinement of Fifo Systems.	SPIN	2009	DBLP DOI BibTeX RDF
2	Laura Kovács, Andrei Voronkov	Finding Loop Invariants for Programs over Arrays Using a Theorem Prover.	FASE	2009	DBLP DOI BibTeX RDF
2	Yu-Kun Lai, Shi-Min Hu, Tong Fang	Robust principal curvatures using feature adapted integral invariants.	Symposium on Solid and Physical Modeling	2009	DBLP DOI BibTeX RDF
2	Akrem El-ghazal, Otman A. Basir, Saeid Belkasim	Scale Invariants of Radial Tchebichef Moments for Shape-Based Image Retrieval.	ISM	2009	DBLP DOI BibTeX RDF	Tchebichef moment, Image retrieval, Scale, Shape descriptors, Moment invariants
2	Yanhong A. Liu, Michael Gorbovitski, Scott D. Stoller	A language and framework for invariant-driven transformations.	GPCE	2009	DBLP DOI BibTeX RDF	runtime invariant checking, program transformation, invariants, program optimization, incremental maintenance
2	David Schuler, Valentin Dallmeier, Andreas Zeller	Efficient mutation testing by checking invariant violations.	ISSTA	2009	DBLP DOI BibTeX RDF	dynamic invariants, mutation testing