Search results for "invariants"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
13	Jan-Mark Geusebroek, Anuj Dev, Rein van den Boomgaard, Arnold W. M. Smeulders, Frans W. Cornelissen, Hugo Geerts	Color Invariant Edge Detection.	Scale-Space	1999	DBLP DOI BibTeX RDF
13	Tinne Tuytelaars, Luc Van Gool	Content-Based Image Retrieval Based on Local Affinely Invariant Regions.	VISUAL	1999	DBLP DOI BibTeX RDF
13	Richard Mitchell	Analysis by Contract: UML with Attitude!	TOOLS (29)	1999	DBLP DOI BibTeX RDF
13	Victor Vianu	Topological Queries in Spatial Databases.	CSL	1999	DBLP DOI BibTeX RDF
13	Peter Meer, Reiner Lenz, Sudhir Ramakrishna	Efficient Invariant Representations.	Int. J. Comput. Vis.	1998	DBLP DOI BibTeX RDF	indexing, invariance, geometric hashing, feature correspondence
13	Eugenio Calabi, Peter J. Olver, Chehrzad Shakiban, Allen R. Tannenbaum, Steven Haker	Differential and Numerically Invariant Signature Curves Applied to Object Recognition.	Int. J. Comput. Vis.	1998	DBLP DOI BibTeX RDF	joint invariant, signature curve, Euclidean group, equi-affine group, curve shortening flow, object recognition, snake, differential invariant, symmetry group, numerical approximation
13	Xavier Leroy	Introduction.	Types in Compilation	1998	DBLP DOI BibTeX RDF
13	Pekka P. Pirinen	Barrier Techniques for Incremental Tracing.	ISMM	1998	DBLP DOI BibTeX RDF
13	R. Kramer	iContract - The Java(tm) Design by Contract(tm) Tool.	TOOLS (26)	1998	DBLP DOI BibTeX RDF
13	Raúl Pinto-Elías, Juan Humberto Sossa Azuela	Human Face Identification Using Invariant Descriptions and a Genetic Algorithm.	IBERAMIA	1998	DBLP DOI BibTeX RDF
13	Lei Zhou, Elke A. Rundensteiner, Kang G. Shin	Schema Evolution of an Object-Oriented Real-Time Database System for Manufacturing Automation.	IEEE Trans. Knowl. Data Eng.	1997	DBLP DOI BibTeX RDF	envelope/letter classes, letter-class hierarchy, performance polymorphism, real-time, database, object oriented, Data model, schema evolution
13	Luigi Portinale	Modeling and Solving Constraint Satisfaction Problems through Petri Nets.	ICATPN	1997	DBLP DOI BibTeX RDF
13	David Nowak, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic	An ML-Like Module System for the Synchronous Language SIGNAL.	Euro-Par	1997	DBLP DOI BibTeX RDF
13	Francis H. Y. Chan, Francis K. Lam, Hon Fung Li, J. G. Liu 0001	An all adder systolic structure for fast computation of moments.	J. VLSI Signal Process.	1996	DBLP DOI BibTeX RDF
13	Jan Flusser, Tomás Suk, Stanislav Saic	Recognition of blurred images by the method of moments.	IEEE Trans. Image Process.	1996	DBLP DOI BibTeX RDF
13	David Tarditi, J. Gregory Morrisett, Perry Cheng, Christopher A. Stone, Robert Harper 0001, Peter Lee 0001	TIL: a type-directed, optimizing compiler for ML (with retrospective)	Best of PLDI	1996	DBLP DOI BibTeX RDF
13	Stephen J. Maybank	Probabilistic analysis of the application of the cross ratio to model based vision.	Int. J. Comput. Vis.	1995	DBLP DOI BibTeX RDF
13	B. Vijayakumar, David J. Kriegman, Jean Ponce	Invariant-Based Recognition of Complex Curved 3D Objects from Image Contours.	ICCV	1995	DBLP DOI BibTeX RDF	invariant-based recognition, complex curved 3D object recognition, smooth curved surfaces, monocular image contours, viewpoint-dependent image features, object geometry, contour bitangents, parallel tangents points, scaled orthographic projection viewpoints, camera-object motion, model database, feature extraction, computational geometry, object recognition, motion estimation, 3D models, image features, occluding contour, image contours, inflections, three-dimensional objects
13	Søren Christensen, Niels Damgaard Hansen	Coloured Petri Nets Extended with Channels for Synchronous Communication.	Application and Theory of Petri Nets	1994	DBLP DOI BibTeX RDF	re-usable models, invariant analysis, Coloured Petri nets, channels, synchronous communication, modular specifications
13	Ganesh Gopalakrishnan, Richard Fujimoto	Design and Verification of the Rollback Chip Using HOP: A Case Study of Formal Methods Applied to Hardware design.	ACM Trans. Comput. Syst.	1993	DBLP DOI BibTeX RDF
13	Bart M. ter Haar Romeny, Luc Florack, Alfons H. Salden, Max A. Viergever	Higher Order Differential Structure of Images.	IPMI	1993	DBLP DOI BibTeX RDF
13	Roberto Cipolla, Andrew Blake 0001	Surface Orientation and Time to Contact from Image Divergence and Deformation.	ECCV	1992	DBLP DOI BibTeX RDF
13	Shamkant B. Navathe, Aloysius Cornelio	Modeling Physical Systems by Complex Structural Objects and Complex Functional Objects.	EDBT	1990	DBLP DOI BibTeX RDF
13	Gerard Tel	Assertional Verification of a Timer Based Protocol.	ICALP	1988	DBLP DOI BibTeX RDF	protocol skeleton, assertional proof, time, connection management, end-to-end protocol
13	Richard A. Kemmerer	Analyzing Encryption Protocols Using Formal Verification Authentication Schemes.	CRYPTO	1987	DBLP DOI BibTeX RDF
13	Gruia-Catalin Roman	Concurrency coordination in a locally distributed database system.	AFIPS National Computer Conference	1980	DBLP DOI BibTeX RDF
13	Karthik Pattabiraman, Giacinto Paolo Saggese, Daniel Chen 0001, Zbigniew Kalbarczyk, Ravishankar K. Iyer	Automated Derivation of Application-Specific Error Detectors Using Dynamic Analysis.	IEEE Trans. Dependable Secur. Comput.	2011	DBLP DOI BibTeX RDF	Data errors, likely invariants, critical variables, FPGA hardware, dynamic execution
13	Koen E. A. van de Sande, Theo Gevers, Cees G. M. Snoek	Evaluating Color Descriptors for Object and Scene Recognition.	IEEE Trans. Pattern Anal. Mach. Intell.	2010	DBLP DOI BibTeX RDF	pattern recognition, color, invariants, evaluation/methodology, Image/video retrieval
13	Walter Nunziati, Stan Sclaroff, Alberto Del Bimbo	Matching Trajectories between Video Sequences by Exploiting a Sparse Projective Invariant Representation.	IEEE Trans. Pattern Anal. Mach. Intell.	2010	DBLP DOI BibTeX RDF	similarity measures, invariants, Registration, cross ratio
13	Xiaoming Yao, Wencai Du, Weihua Wu, Mei Huang, Jundong Fu	A Robust EMD-Like Stegnographic Scheme.	IITSI	2010	DBLP DOI BibTeX RDF	EMD schemes, statistical invariants, robustness, information hiding, noisy channel
13	Huning Dai, Christian Murphy, Gail E. Kaiser	Configuration Fuzzing for Software Vulnerability Detection.	ARES	2010	DBLP DOI BibTeX RDF	Configuration fuzzing, Fuzz testing, In Vivo testing, Security invariants, Vulnerability
13	Yi Wei 0001, Yu Pei 0001, Carlo A. Furia, Lucas Serpa Silva, Stefan Buchholz, Bertrand Meyer 0001, Andreas Zeller	Automated fixing of programs with contracts.	ISSTA	2010	DBLP DOI BibTeX RDF	automatic debugging, automatic fixing, dynamic invariants, program synthesis
13	Ishtiaque Hussain, Christoph Csallner	Dynamic symbolic data structure repair.	ICSE (2)	2010	DBLP DOI BibTeX RDF	data structure invariants, data structure repair, dynamic symbolic execution
13	Chris Lewis 0002, Jim Whitehead	Runtime repair of software faults using event-driven monitoring.	ICSE (2)	2010	DBLP DOI BibTeX RDF	message broker, runtime software-fault monitoring, temporal invariants, specifications, video games, rule engine, event-driven systems
13	Herbert A. Hauptman	Phase Problem in X-ray Crystallography: Shake and Bake Approach.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Phase problem, Normalized structure factors, Structure invariants, Minimal function, Minimal principle, Shake and bake algorithm, Global optimization
13	Xiaodong Yue, Duoqian Miao	Rough Geometry and Its Applications in Character Recognition.	Trans. Rough Sets	2009	DBLP DOI BibTeX RDF	rough geometry, equichordal points, Rough sets, geometric invariants, principal curves
13	Felix Polyakov, Eran Stark, Rotem Drori, Moshe Abeles, Tamar Flash	Parabolic movement primitives and cortical states: merging optimality with geometric invariance.	Biol. Cybern.	2009	DBLP DOI BibTeX RDF	Drawing primitives, Equi-affine geometry, Neural representation, Hidden Markov modeling, Geometric invariants
13	Ishay Haviv, Vadim Lyubashevsky, Oded Regev 0001	A Note on the Distribution of the Distance from a Lattice.	Discret. Comput. Geom.	2009	DBLP DOI BibTeX RDF	Second moment, Computational complexity, Lattices, Geometrical invariants, Covering radius
13	Graham D. Finlayson, Mark S. Drew, Cheng Lu 0009	Entropy Minimization for Shadow Removal.	Int. J. Comput. Vis.	2009	DBLP DOI BibTeX RDF	Intrinsic images, Quadratic entropy, Entropy, Reflectance, Color, Illumination, Shadows, Illumination invariants
13	Iman Narasamdya, Michaël Périn	Certification of smart-card applications in common criteria.	SAC	2009	DBLP DOI BibTeX RDF	assertion functions, common criteria certification, smart-card applications, invariants, assertions, specification techniques
13	Maria Jump, Kathryn S. McKinley	Dynamic shape analysis via degree metrics.	ISMM	2009	DBLP DOI BibTeX RDF	degree metrics, dynamic invariants, dynamic shape analysis
13	Xin Qi 0012, Andrew C. Myers	Masked types for sound object initialization.	POPL	2009	DBLP DOI BibTeX RDF	conditional masks, cyclic data structures, null pointer exceptions, invariants, data abstraction
13	Yoonsik Cheon, Carmen Avila, Steve Roach, Cuauhtemoc Munoz, Neith Estrada, Valeria Fierro, Jessica Romo	An Aspect-Based Approach to Checking Design Constraints at Run-Time.	ITNG	2009	DBLP DOI BibTeX RDF	class invariants, Object Constraint Language, AspectJ, pre and postconditions, runtime checking
13	JiDong Ge, Haiyang Hu	A Decomposition Approach with Invariant Analysis for Workflow Coordination.	DASFAA Workshops	2009	DBLP DOI BibTeX RDF	Petri nets, Workflow, Invariants, Sequence diagram
13	Ji Zhang, Heather Goldsby, Betty H. C. Cheng	Modular verification of dynamically adaptive systems.	AOSD	2009	DBLP DOI BibTeX RDF	global invariants, modular model checking, reliability, verification, formal specification, autonomic computing, dynamic adaptation
13	Boaz Vigdor, Joseph M. Francos	Joint Affine and Radiometric Registration Using Kernel Operators.	CAIP	2009	DBLP DOI BibTeX RDF	Global Invariants, Image Registration
13	Michael D. Hendy, Sagi Snir	Hadamard Conjugation for the Kimura 3ST Model: Combinatorial Proof Using Path Sets.	IEEE ACM Trans. Comput. Biol. Bioinform.	2008	DBLP DOI BibTeX RDF	Hadamard conjugation, K3ST model, path-sets, phylogenetic invariants, phylogenetic trees
13	Cagatay Basdogan, A. Cengiz Öztireli	A new feature-based method for robust and efficient rigid-body registration of overlapping point clouds.	Vis. Comput.	2008	DBLP DOI BibTeX RDF	Distance invariants, Geometric descriptors, Feature extraction, Nearest neighbor search, 3D registration
13	Sumit Gulwani, Bill McCloskey, Ashish Tiwari 0001	Lifting abstract interpreters to quantified logical domains.	POPL	2008	DBLP DOI BibTeX RDF	logical lattices, quantified invariants, underapproximation algorithms, abstract interpreter
13	Nikolaos D. Liveris, Hai Zhou 0001, Robert P. Dick, Prithviraj Banerjee	State space abstraction for parameterized self-stabilizing embedded systems.	EMSOFT	2008	DBLP DOI BibTeX RDF	verification, abstraction, parameterized systems, self-stabilizing systems, network invariants
13	Heydi Mendez Vazquez, Edel B. García Reyes, Yadira Condes-Molleda	A New Combination of Local Appearance Based Methods for Face Recognition under Varying Lighting Conditions.	CIARP	2008	DBLP DOI BibTeX RDF	local appearance based methods, face recognition, DCT, illumination invariants, LBP
13	Michael Pedersen	Compositional Definitions of Minimal Flows in Petri Nets.	CMSB	2008	DBLP DOI BibTeX RDF	minimal flows, minimal invariants, the Calculus of Biochemical Systems, Petri nets, modularity
13	Jau-Hong Kao, Chih-Yang Lin, Wen-How Wang, Yi-Ta Wu	A Unified Hierarchical Appearance Model for People Re-identification Using Multi-view Vision Sensors.	PCM	2008	DBLP DOI BibTeX RDF	tracking, invariants, GMM, multiple-view, Appearance model, re-identification
13	Richard Riehle	Designing software components to tolerances.	ACM SIGSOFT Softw. Eng. Notes	2007	DBLP DOI BibTeX RDF	post-conditions, pre-conditions, snugness of fit, design, metrics, components, constraints, invariants, assertions, tolerances
13	Haibin Ling, David W. Jacobs	Shape Classification Using the Inner-Distance.	IEEE Trans. Pattern Anal. Mach. Intell.	2007	DBLP DOI BibTeX RDF	shape distance, Computer vision, object recognition, texture, shape, invariants, articulation
13	Federico Sukno, Sebastián Ordas, Constantine Butakoff, Santiago Cruz, Alejandro F. Frangi	Active Shape Models with Invariant Optimal Features: Application to Facial Analysis.	IEEE Trans. Pattern Anal. Mach. Intell.	2007	DBLP DOI BibTeX RDF	invariants, shape model, Face and gesture recognition, feature evaluation and selection, statistical image analysis
13	Simon Hardy, Pierre N. Robillard	Visualization of the simulation data of biochemical network models: a painted Petri net approach.	SCSC	2007	DBLP BibTeX RDF	biochemical modeling, quantitative studies, visualization, petri net, invariants
13	Manuel E. Loaiza, Alberto Raposo 0001, Marcelo Gattass	A Novel Optical Tracking Algorithm for Point-Based Projective Invariant Marker Patterns.	ISVC (1)	2007	DBLP DOI BibTeX RDF	Point-based Feature, Point Set Matching, Optical Tracking, Projective Invariants
13	Ajeet Shankar, Rastislav Bodík	DITTO: automatic incrementalization of data structure invariant checks (in Java).	PLDI	2007	DBLP DOI BibTeX RDF	data structure invariants, optimistic memoization, program analysis, dynamic optimization, incrementalization, automatic
13	Pavel Vacha, Michal Haindl	Demonstration of image retrieval based on illumination invariant textural MRF features.	CIVR	2007	DBLP DOI BibTeX RDF	Markov random fields (MRF), illumination invariants, content-based image retrieval (CBIR), demonstration
13	Pavel Vacha, Michal Haindl	Image retrieval measures based on illumination invariant textural MRF features.	CIVR	2007	DBLP DOI BibTeX RDF	Markov random fields (MRF), illumination invariants, content-based image retrieval (CBIR)
13	Arnold W. M. Smeulders	Multimedia Analysis by Learning.	MCAM	2007	DBLP DOI BibTeX RDF	multimedia analysis, learning, invariants, concepts
13	Ibrahim El Rube, Maher Ahmed, Mohamed S. Kamel	Wavelet Approximation-Based Affine Invariant Shape Representation Functions.	IEEE Trans. Pattern Anal. Mach. Intell.	2006	DBLP DOI BibTeX RDF	Wavelet transform, invariants, shape representation, affine transformation
13	JiDong Ge, Hao Hu 0001, Jian Lu 0001	Invariant Analysis for the Task Refinement of Workflow Nets.	CIMCA/IAWTIC	2006	DBLP DOI BibTeX RDF	workflow process model, task refinement, Petri nets, invariants, soundness, workflow composition
13	Lokesh Setia, Alexandra Teynor, Alaa Halawani, Hans Burkhardt	Grayscale Radiograph Annotation Using Local Relational Features.	CLEF	2006	DBLP DOI BibTeX RDF	Invariants, Image Annotation, Local Features, Radiograph
13	Ji Zhang, Betty H. C. Cheng	Model-based development of dynamically adaptive software.	ICSE	2006	DBLP DOI BibTeX RDF	global invariants, reliability, verification, formal specification, autonomic computing, dynamic adaptation
13	Lakshmi N. Bairavasundaram, Meenali Rungta, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau	Limiting trust in the storage stack.	StorageSS	2006	DBLP DOI BibTeX RDF	pointer corruption, type-aware corruption, verifiable invariants
13	Ronald-Bryan O. Alferez, Yuan-Fang Wang, Long Jiao	An Affine-Invariant Tool for Retrieving Images from Homogeneous Databases.	Multim. Tools Appl.	2005	DBLP DOI BibTeX RDF	homogeneous database, content-based image retrieval, shape, invariants, affine
13	Ernst Hairer	Important Aspects of Geometric Numerical Integration.	J. Sci. Comput.	2005	DBLP DOI BibTeX RDF	Geometric numerical integration, reversible differential equations, backward error analysis, modulated Fourier expansion, adiabatic invariants, sine-Gordon equation, energy conservation, Hamiltonian systems
13	Timothy S. Gegg-Harrison	Constructing contracts: Making discrete mathematics relevant to beginning programmers.	ACM J. Educ. Resour. Comput.	2005	DBLP DOI BibTeX RDF	programming by contract, Formal methods, program verification, weakest preconditions, programming tools, loop invariants, axiomatic semantics
13	Vijay K. Garg, Neeraj Mittal	A Critique of Java for Concurrent Programming.	IEEE Distributed Syst. Online	2005	DBLP DOI BibTeX RDF	await, Java, concurrent programming, invariants, nondeterminism
13	Yanhong A. Liu, Scott D. Stoller, Michael Gorbovitski, Tom Rothamel, Yanni Ellen Liu	Incrementalization across object abstraction.	OOPSLA	2005	DBLP DOI BibTeX RDF	design, object-oriented, program transformation, abstraction, program analysis, invariants, program optimization, incrementalization
13	Ben Liblit, Mayur Naik, Alice X. Zheng, Alexander Aiken, Michael I. Jordan	Scalable statistical bug isolation.	PLDI	2005	DBLP DOI BibTeX RDF	bug isolation, feature selection, invariants, random sampling, statistical debugging
13	Brian Demsky, Martin C. Rinard	Data structure repair using goal-directed reasoning.	ICSE	2005	DBLP DOI BibTeX RDF	data structure invariants, data structure repair
13	Kais Klai, Samir Tata	Abstraction-basedWorkflow Cooperation Using Petri Net Theory.	WETICE	2005	DBLP DOI BibTeX RDF	Inter-organizational Workflows, Cooperative Workflows, Petri nets, invariants
13	Stephen H. Edwards, Murali Sitaraman, Bruce W. Weide, Joseph E. Hollingsworth	Contract-Checking Wrappers for C++ Classes.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF	Assertion checkers, binary components, class invariants, specification, preconditions, design by contract, postconditions, debugging aids, coding techniques
13	Pascal Matsakis, James M. Keller, Ozy Sjahputera, Jonathon Marjamaa	The Use of Force Histograms for Affine-Invariant Relative Position Description.	IEEE Trans. Pattern Anal. Mach. Intell.	2004	DBLP DOI BibTeX RDF	force histograms, computer vision, invariants, Affine transformations, spatial relations, descriptors
13	Amit Sethi, David Renaudie, David J. Kriegman, Jean Ponce	Curve and Surface Duals and the Recognition of Curved 3D Objects from their Silhouettes.	Int. J. Comput. Vis.	2004	DBLP DOI BibTeX RDF	three-dimensional object recognition, pedal curves, invariants, duals
13	Jinlin Yang, David Evans 0001	Dynamically inferring temporal properties.	PASTE	2004	DBLP DOI BibTeX RDF	property patterns, dynamic analysis, concurrent programming, invariants, temporal properties
13	David Cohen, Ernst Hairer, Christian Lubich	Modulated Fourier Expansions of Highly Oscillatory Differential Equations.	Found. Comput. Math.	2003	DBLP DOI BibTeX RDF	Modulated Fourier expansion, Adiabatic invariants, Highly oscillatory differential equations, Exponentially small error estimates, Multiple time scales
13	A. Smet, Alain Verschoren	Mayer-Vietoris Sequences for Krull Domains.	Appl. Categorical Struct.	2003	DBLP DOI BibTeX RDF	Krull domain, invariants of rings, Cartesian diagram, fibre product category, Mayer-Vietoris sequence
13	Brian Demsky, Martin C. Rinard	Automatic detection and repair of errors in data structures.	OOPSLA	2003	DBLP DOI BibTeX RDF	data structure invariants, data structure repair
13	Helena Cristina da Gama Leitão, Jorge Stolfi	A Multiscale Method for the Reassembly of Two-Dimensional Fragmented Objects.	IEEE Trans. Pattern Anal. Mach. Intell.	2002	DBLP DOI BibTeX RDF	Outline matching, planar shape matching, planar shape invariants, ceramic fragments, fracture analysis, multiscale analysis, archaeology
13	Lourena Rocha, Luiz Velho 0001, Paulo Cezar Pinto Carvalho	Image Moments-Based Structuring and Tracking of Objects.	SIBGRAPI	2002	DBLP DOI BibTeX RDF	ellipsoidal structure, hierarchical coherence, moment invariants, BSP-tree
13	Yung-Pin Cheng	Refactoring design models for inductive verification.	ISSTA	2002	DBLP DOI BibTeX RDF	concurrency, refactoring, compositional analysis, parameterized system, network invariants
13	Yannis Avrithis, Yiannis Xirouhakis, Stefanos D. Kollias	Affine-invariant curve normalization for object shape representation, classification, and retrieval.	Mach. Vis. Appl.	2001	DBLP DOI BibTeX RDF	Curve normalization, Shape analysis, Affine invariants, Image and video retrieval
13	Ralph-Johan Back, Anna Mikhajlova, Joakim von Wright	Class Refinement as Semantics of Correct Object Substitutability.	Formal Aspects Comput.	2000	DBLP DOI BibTeX RDF	Class refinement, Code inheritance, Behavioural compatibility, Object substitutability, Semantics of object-oriented constructs, Implicit and explicit invariants, New methods, Correctness, Subtyping, Subclassing
13	Chin-Hsiung Wu, Shi-Jinn Horng, Jinn-Fu Lin, Horng-Ren Tsai, Tsrong-Lay Lin	An Optimal Parallel Algorithm for Computing Moments on Arrays with Reconfigurable Optical Buses.	IPDPS	2000	DBLP DOI BibTeX RDF	suffix sums, reconfigurable optical bus, image processing, moments, moment invariants
13	Steven M. Seitz, Charles R. Dyer	Photorealistic Scene Reconstruction by Voxel Coloring.	Int. J. Comput. Vis.	1999	DBLP DOI BibTeX RDF	multi-baseline stereo, invariants, occlusion, scene reconstruction, image correspondence, voxel representations, photorealism
13	Joris Vanden Wyngaerd, Luc Van Gool, Reinhard Koch, Marc Proesmans	Invariant-based Registration of Surface Patches.	ICCV	1999	DBLP DOI BibTeX RDF	3D Surface Registration, 3D Curve Invariants, Euclidean and affine matching
13	Simon Baker, Shree K. Nayar	Global Measures of Coherence for Edge Detector Evaluation.	CVPR	1999	DBLP DOI BibTeX RDF	Performance Evaluation, Edge Detection, Projective Invariants
13	João Paulo Costeira, Takeo Kanade	A Multibody Factorization Method for Independently Moving Objects.	Int. J. Comput. Vis.	1998	DBLP DOI BibTeX RDF	motin analysis, computer vision, invariants, image understanding, 3D vision, shape from motion
13	Manfred Göbel	On the Number of Special Permutation-Invariant Orbits and Terms.	Appl. Algebra Eng. Commun. Comput.	1997	DBLP DOI BibTeX RDF	Polynomial invariants of permutation groups, Special permutation-invariant orbits
13	Robert P. Grzeszczuk, Milana Huang, Louis H. Kauffman	Physically-Based Stochastic Simplification of Mathematical Knots.	IEEE Trans. Vis. Comput. Graph.	1997	DBLP DOI BibTeX RDF	knot classification, polynomial invariants, simulated annealing, knot theory, Mathematical visualization
13	Edmund M. Clarke, Orna Grumberg, Somesh Jha	Verifying Parameterized Networks.	ACM Trans. Program. Lang. Syst.	1997	DBLP DOI BibTeX RDF	process invariants, model checking, temporal logic, parameterized systems
13	R. Safari, N. Narasimhamurthi, Malayappan Shridhar, Majid Ahmadi	Form Registration: A Computer Vision Approach.	ICDAR	1997	DBLP DOI BibTeX RDF	Line and Point Correspondence, Forms, Affine Invariants, Point Pattern Matching, Skew Correction
13	Amnon Shashua, Nassir Navab	Relative Affine Structure: Canonical Model for 3D From 2D Geometry and Applications.	IEEE Trans. Pattern Anal. Mach. Intell.	1996	DBLP DOI BibTeX RDF	reprojection, projective reometry, algebraic and geometric invariants, Structure from motion, alignment, visual recognition
13	David W. Jacobs	The Space Requirements of Indexing Under Perspective Projections.	IEEE Trans. Pattern Anal. Mach. Intell.	1996	DBLP DOI BibTeX RDF	2-D images, complexity, object recognition, Indexing, invariants, space, perspective projection, geometric hashing, 3-D objects
13	Stan Sclaroff, Alex Pentland	Modal Matching for Correspondence and Recognition.	IEEE Trans. Pattern Anal. Mach. Intell.	1995	DBLP DOI BibTeX RDF	shape invariants, vibration modes, eigenmodes, object recognition, finite element methods, deformation, Correspondence, shape description, modal analysis
13	Yacov Hel-Or, Amir Shmuel, Michael Werman	Localization of primitives using adaptive projections.	J. Intell. Robotic Syst.	1994	DBLP DOI BibTeX RDF	Pattern recognition, invariants, affine transformation