Search results for "invariants"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
20	Isaac Weiss, Manjit Ray	Recognizing Articulated Objects Using a Region-Based Invariant Transform.	IEEE Trans. Pattern Anal. Mach. Intell.	2005	DBLP DOI BibTeX RDF	Object recognition, transform, invariance, range images
20	Aaron R. Bradley, Zohar Manna, Henny B. Sipma	Linear Ranking with Reachability.	CAV	2005	DBLP DOI BibTeX RDF
20	Sung-Hyuk Cha, Michael L. Gargano, Louis V. Quintas, Eric M. Wahl	A Vascular Network Growth Estimation Algorithm Using Random Graphs.	GbRPR	2005	DBLP DOI BibTeX RDF
20	Byron Cook, Andreas Podelski, Andrey Rybalchenko	Abstraction Refinement for Termination.	SAS	2005	DBLP DOI BibTeX RDF
20	Xavier Rival	Symbolic transfer function-based approaches to certified compilation.	POPL	2004	DBLP DOI BibTeX RDF	compilation, static analysis, abstract interpretation, certification, translation validation
20	Sriram Sankaranarayanan 0001, Henny Sipma, Zohar Manna	Non-linear loop invariant generation using Gröbner bases.	POPL	2004	DBLP DOI BibTeX RDF	Gröbner bases, verification, program analysis, constraint programming, symbolic computation, ideals, invariant generation
20	Michael Colón	Schema-Guided Synthesis of Imperative Programs by Constraint Solving.	LOPSTR	2004	DBLP DOI BibTeX RDF
20	Amitabh Mishra, Prithviraj Banerjee	An Algorithm-Based Error Detection Scheme for the Multigrid Method.	IEEE Trans. Computers	2003	DBLP DOI BibTeX RDF	rounding error analysis, parallel, error detection, partial differential equations, Algorithm-Based Fault Tolerance, multigrid method
20	Jean-François Mangin, Fabrice Poupon, Denis Rivière, Arnaud Cachia, D. Louis Collins, Alan C. Evans, Jean Régis	3D Moment Invariant Based Morphometry.	MICCAI (2)	2003	DBLP DOI BibTeX RDF
20	Wim H. Hesselink	An assertional criterion for atomicity.	Acta Informatica	2002	DBLP DOI BibTeX RDF
20	Walter Bachl	Semi-dynamic Orthogonal Drawings of Planar Graphs.	GD	2002	DBLP DOI BibTeX RDF
20	Elizabeth L. Mansfield	Algorithms for Symmetric Differential Systems.	Found. Comput. Math.	2001	DBLP DOI BibTeX RDF
20	Nick Cropper, Ursula Martin	The Classification of Polynomial Orderings on Monadic Terms.	Appl. Algebra Eng. Commun. Comput.	2001	DBLP DOI BibTeX RDF	Termination, Term rewriting systems, Ordinals
20	Adam Brooks Webber	What is a class invariant?	PASTE	2001	DBLP DOI BibTeX RDF	Java
20	Tamarah Arons, Amir Pnueli, Sitvanit Ruah, Jiazhao Xu, Lenore D. Zuck	Parameterized Verification with Automatically Computed Inductive Assertions.	CAV	2001	DBLP DOI BibTeX RDF
20	Anders Møller, Michael I. Schwartzbach	The Pointer Assertion Logic Engine.	PLDI	2001	DBLP DOI BibTeX RDF
20	Ashish Tiwari 0001, Harald Rueß, Hassen Saïdi, Natarajan Shankar	A Technique for Invariant Generation.	TACAS	2001	DBLP DOI BibTeX RDF
20	Rikard Berthilsson	Character Recognition Using Shape for Curves.	ICPR	2000	DBLP DOI BibTeX RDF
20	Klaus-Dieter Schewe, Bernhard Thalheim	Towards a Theory of Consistency Enforcement.	Acta Informatica	1999	DBLP DOI BibTeX RDF
20	Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani	Verifying Sequential Consistency on Shared-Memory Multiprocessor Systems.	CAV	1999	DBLP DOI BibTeX RDF
20	Amitabh Mishra, Prithviraj Banerjee	An Algorithm Based Error Detection Scheme for the Multigrid Algorithm.	FTCS	1999	DBLP DOI BibTeX RDF	Algorithm Based fault Tolerance (ABFT), Parallel, Error Detection, Multigrid Method
20	Steve Dunne	The Safe Machine: A New Specification Construct for B.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
20	Rikard Berthilsson, Anders Heyden	Recognition of Planar Point Configurations Using Density of Affine Shape.	ECCV (1)	1998	DBLP DOI BibTeX RDF
20	David Slater, Glenn Healey	Object recognition using invariant profiles.	CVPR	1997	DBLP DOI BibTeX RDF	invariant profiles, multidimensional distributions, illumination-invariant recognition, object recognition, object recognition, sensitivity analysis, color images, surface representation
20	Luc Bougé, David Cachera	A logical framework to prove properties of Alpha programs.	ASAP	1997	DBLP DOI BibTeX RDF
20	Stefan Carlsson	Projectively invariant decomposition and recognition of planar shapes.	Int. J. Comput. Vis.	1996	DBLP DOI BibTeX RDF
20	Eric J. Pauwels, Theo Moons, Luc Van Gool, P. Kempenaers, André Oosterlinck	Recognition of planar shapes under affine distortion.	Int. J. Comput. Vis.	1995	DBLP DOI BibTeX RDF
20	J. Brian Burns, Richard S. Weiss, Edward M. Riseman	View Variation of Point-Set and Line-Segment Features.	IEEE Trans. Pattern Anal. Mach. Intell.	1993	DBLP DOI BibTeX RDF	feature variation, view variation, 3D point sets, weak perspective approximation, 2D line segment features, feature extraction, image recognition, image recognition
20	Opher Etzion	PARDES - An Enhanced Active Database System (Abstract).	ACM Conference on Computer Science	1990	DBLP DOI BibTeX RDF
20	Chong-Huah Lo, Hon-Son Don	3-D Moment Forms: Their Construction and Application to Object Identification and Positioning.	IEEE Trans. Pattern Anal. Mach. Intell.	1989	DBLP DOI BibTeX RDF	3D moment method, Clebsch-Gordon expansion, pattern recognition, pattern recognition, motion estimation, picture processing, picture processing, perturbation, tensor, object identification, group theory, group theory, complex moments
20	Erik Meineche Schmidt, Michael I. Schwartzbach	An Imperative Type Hierarchy with Partial Products.	MFCS	1989	DBLP DOI BibTeX RDF
20	Anthony P. Reeves, Richard J. Prokop, Susan E. Andrews, Frank P. Kuhl	Three-Dimensional Shape Analysis Using Moments and Fourier Descriptors.	IEEE Trans. Pattern Anal. Mach. Intell.	1988	DBLP DOI BibTeX RDF	3-D shape analysis, 2-D image, boundary moments, pattern recognition, pattern recognition, picture processing, picture processing, silhouette, Fourier analysis, Fourier descriptors
20	Mordechai Ben-Ari	On-the-Fly Garbage Collection: New Algorithms Inspired by Program Proofs.	ICALP	1982	DBLP DOI BibTeX RDF
19	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
19	XiaoFu Lee, Qian Yin	Combining Color and Shape Features for Image Retrieval.	HCI (7)	2009	DBLP DOI BibTeX RDF	HSV color features, Content-Based Image Retrieval (CBIR), moment invariants
19	Tom Ridge	Verifying distributed systems: the operational approach.	POPL	2009	DBLP DOI BibTeX RDF	ground and symbolic evaluation, hoare-style assertions, persistent queue, rely/guarantee, distributed, refinement, invariants, network protocol, operational semantics, infrastructure, separation, linearizability, hol, ocaml, local reasoning, inductive reasoning
19	Nan Xing, Imran Shafiq Ahmad	Shape-based image retrieval.	MoMM	2009	DBLP DOI BibTeX RDF	fuzzy k-means clustering, shape-based retrieval, image retrieval, Zernik moments, moment invariants
19	Sandip Ray, Warren A. Hunt Jr., John Matthews, J Strother Moore	A Mechanical Analysis of Program Verification Strategies.	J. Autom. Reason.	2008	DBLP DOI BibTeX RDF	Inductive assertions, Partial correctness, Theorem proving, Invariants, Total correctness
19	Sascha A. Parduhn, Raimund Seidel, Reinhard Wilhelm	Algorithm visualization using concrete and abstract shape graphs.	SOFTVIS	2008	DBLP DOI BibTeX RDF	algorithm visualisation, shape graphs, invariants, shape analysis, algorithm animation
19	LunBo Li, Guangfu Ma	Optimizing the Performance of Probabilistic Neural Networks Using PSO in the Task of Traffic Sign Recognition.	ICIC (2)	2008	DBLP DOI BibTeX RDF	traffic signs recognition, combined blur-affine invariants, particle swarm optimization, probabilistic neural networks
19	Frantisek Capkovic	Synthesis of the Supervising Agent in MAS.	ICCS (3)	2008	DBLP DOI BibTeX RDF	modelling, MAS, Agent, Petri nets, invariants, supervisor
19	Dong Xu 0008, Hua Li 0009, Tongjun Gu	Shape Representation and Invariant Description of Protein Tertiary Structure in Applications to Shape Retrieval and Classification.	GMP	2008	DBLP DOI BibTeX RDF	triangulated surface, shape retrieval, moment invariants
19	Mario Vélez, Juan Ospina	Gravitational Topological Quantum Computation.	UC	2007	DBLP DOI BibTeX RDF	Gravitational computer, Topological quantum computing, link invariants, complexity, computability, entanglement
19	Xiaoliu Chen, Imran Shafiq Ahmad	Shape-Based Image Retrieval Using k -Means Clustering and Neural Networks.	PSIVT	2007	DBLP DOI BibTeX RDF	shape-based image retrieval, image retrieval, k-means clustering, Zernike moments, moment-invariants
19	Antoine Miné	The octagon abstract domain.	High. Order Symb. Comput.	2006	DBLP DOI BibTeX RDF	Numerical abstract domains, Relational numerical invariants, Static analysis, Abstract interpretation
19	Qi-Xing Huang, Simon Flöry, Natasha Gelfand, Michael Hofer, Helmut Pottmann	Reassembling fractured objects by geometric matching.	ACM Trans. Graph.	2006	DBLP DOI BibTeX RDF	3D puzzle, feature-based registration, geometric matching, integral invariants, non-penetrating alignment
19	Nadya Kuzmina, Ruben Gamboa	Dynamic constraint detection for polymorphic behavior.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	automatic specification recovery, class invariants, object constraints, dynamic invariant detection
19	Allen C. Tsai, Peter W. Gibbens, R. Hugh Stone	Terminal Phase Vision-Based Target Recognition and 3D Pose Estimation for a Tail-Sitter, Vertical Takeoff and Landing Unmanned Air Vehicle.	PSIVT	2006	DBLP DOI BibTeX RDF	Tail-sitter vertical takeoff and landing unmanned air vehicle, vision-based pose/attitude estimation, target identification/detection, perspective transformation and vision-based autonomous landing, computer vision, vanishing points, moment invariants, parallel lines
19	Svetlana Lazebnik, Jean Ponce	The Local Projective Shape of Smooth Surfaces and Their Outlines.	Int. J. Comput. Vis.	2005	DBLP DOI BibTeX RDF	projective differential geometry, oriented projective geometry, local shape, frontier points, differential invariants
19	Shihong Xia, Xianjie Qiu, Zhaoqi Wang	A novel framework for athlete training based on interactive motion editing and silhouette analysis.	VRST	2005	DBLP DOI BibTeX RDF	motion training, moment invariants, motion editing
19	Giovanni Garibotto, Marco Corvi	Landmark-Based Stereo Vision.	ICIAP	2005	DBLP DOI BibTeX RDF	3D stereovision, perspective invariants, Computer Vision, camera calibration
19	Hervé Locteau, Sébastien Adam, Éric Trupin, Jacques Labiche, Pierre Héroux	Symbol Recognition Combining Vectorial and Statistical Features.	GREC	2005	DBLP DOI BibTeX RDF	Graph Matching, Symbol Recognition, Moment Invariants, Symbol representation, Vectorisation
19	Martin Reuter 0001, Franz-Erich Wolter, Niklas Peinecke	Laplace-spectra as fingerprints for shape matching.	Symposium on Solid and Physical Modeling	2005	DBLP DOI BibTeX RDF	parameterized surfaces and bodies, shape invariants, fingerprints, copyright protection, shape matching, NURBS, polyhedra, database retrieval, laplace-beltrami operator
19	Nicholas Eriksson	Toric ideals of homogeneous phylogenetic models.	ISSAC	2004	DBLP DOI BibTeX RDF	Gröbner bases, parametric inference, phylogenetic invariants, toric ideals
19	H. M. W. Verbeek, Twan Basten	Deciding Life-Cycle Inheritance on Petri Nets.	ICATPN	2003	DBLP DOI BibTeX RDF	life-cycle inheritance, branching bisimilarity, T-invariants, Petri nets, workflow, Object-orientation, backtracking, structural properties
19	Jens Gravesen, Michael Ungstrup	Constructing Invariant Fairness Measures for Surfaces.	Adv. Comput. Math.	2002	DBLP DOI BibTeX RDF	fairness measure, plane intersection, fairing, invariants, surface design
19	Anneke Kleppe, Jos Warmer	The Semantics of the OCL Action Clause.	Object Modeling with the OCL	2002	DBLP DOI BibTeX RDF	action clause, UML, constraints, invariants, OCL, actions, operations, dynamic semantics, pre- and postconditions
19	Antoine Miné	The Octagon Abstract Domain.	WCRE	2001	DBLP DOI BibTeX RDF	linear invariants, abstract interpretation, safety analysis, abstract domains, static analysis tools
19	Eckhard Pflügel	Effective Formal Reduction of Linear Differential Systems.	Appl. Algebra Eng. Commun. Comput.	2000	DBLP DOI BibTeX RDF	Linear Differential Systems, Formal Solutions, Formal Invariants, Newton Polygon
19	Anneke Kleppe, Jos Warmer	Extending OCL to include Actions.	UML	2000	DBLP DOI BibTeX RDF	UML, constraints, invariants, OCL, actions, operations, dynamic semantics, pre- and postconditions
19	Hans-Arno Jacobsen, Bernd J. Krämer	Modeling Interface Definition Language Extensions.	TOOLS (37)	2000	DBLP DOI BibTeX RDF	interface definition language extensions, module names, interface names, operation signatures, pre-conditions, post-conditions, service quality annotations, real-time annotations, combined modeling language, CORBA middleware platform, semantic aspects specification, XML document type definitions, Extensible Style Language, quality of service, Extensible Markup Language, specification languages, invariants, synchronisation, client-server systems, subroutines, distributed object management, XSL, OMG, hypermedia markup languages, synchronization constraints
19	Walid S. Ibrahim, Fernand S. Cohen	3D Geometric Invariant Alignment of Surfaces with Application in Brain Mapping.	CVPR	1999	DBLP DOI BibTeX RDF	Surface alignment, umbilical curves, inflection points, absolute invariants, geodesics, brain mapping
19	Alfred O. Hero III, Christophe Guillouet	Robust detection of SAR/IR targets via invariance.	ICIP (3)	1997	DBLP DOI BibTeX RDF	robust detection, SAR/IR targets, high clutter backgrounds, clutter statistics, test statistics, clutter variations, maximal invariants, target detection algorithms design, constant false alarm rate, high target detection rate, multisnapshot radar images, multispectral radar images, synthetic aperture radar, automatic target recognition
19	Luc Van Gool, Theo Moons, Marc Proesmans	Mirror and Point Symmetry under Perspective Skewing.	CVPR	1996	DBLP DOI BibTeX RDF	skewed mirror and point symmetry, symmetry invariants, grouping, hypothesis testing, projective transformations
19	Amnon Shashua	Algebraic Functions For Recognition.	IEEE Trans. Pattern Anal. Mach. Intell.	1995	DBLP DOI BibTeX RDF	reprojection, algebraic and geometric invariants, alignment, projective geometry, Visual recognition
19	Kenji Nagao	Recognizing 3D Objects Using Photometric Invariant.	ICCV	1995	DBLP DOI BibTeX RDF	photometric property, relative object motion, conventional color constancy algorithms, varying light conditions, derived color invariant, data space coordinates, centroid invariance, feature positions, computational geometry, object recognition, 3D object recognition, geometric invariants, spatial constraints, photometry, photometric invariant, 3D space
19	Amnon Shashua, Michael Werman	Trilinearity of Three Perspective Views and its Associated Tensor.	ICCV	1995	DBLP DOI BibTeX RDF	three perspective views, trilinear forms, intrinsic coefficients, trilinear coefficients, homography matrices, intrinsic planes, 3D invariants, epipoles, Euclidean structure, trilinear tensor, 3D recovery, 2D views, computational geometry, image reconstruction, matrix algebra, epipolar geometry, matrix, tensors, tensor, projective transformations
19	Long Quan	Invariant of a Pair of Non-Coplanar Conies in Space: Definition, Geometric Interpretation and Computation.	ICCV	1995	DBLP DOI BibTeX RDF	noncoplanar conics, joint invariants, coplanar conics, algebraic invariant, invariant algebra, quaternary quadratic forms, computer vision, computational geometry, image reconstruction, image recognition, calibration, algebra, cross-ratios, geometric interpretation, uncalibrated images, geometric computation
19	Murat Tandirci, Jorge Angeles, John Darcovich	On rotation representations in computational robot kinematics.	J. Intell. Robotic Syst.	1994	DBLP DOI BibTeX RDF	Computational kinematics, forward and inverse kinematics, robotic manipulators, rotation invariants
19	Raymond K. K. Yip, Peter Kwong-Shun Tam, Dennis N. K. Leung	Application of Elliptic Fourier Descriptors to Symmetry Detection Under Parallel Projection.	IEEE Trans. Pattern Anal. Mach. Intell.	1994	DBLP DOI BibTeX RDF	elliptic Fourier descriptors, parallel projection, arc length parameterization, planar object recognition, computer vision, iterative methods, invariance, invariants, iteration algorithm, symmetry detection, series (mathematics)
19	Joanne M. Atlee, John D. Gannon	State-Based Model Checking of Event-Driven System Requirements.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	event-driven system requirements, SCR tabular requirements, A-7 military aircraft, system invariants, automobile cruise control system, water-level monitoring system, model checking, formal specification, formal specification, formal verification, temporal logics, software requirements
19	Daniel Hoffman, Paul A. Strooper	Automated Module Testing in Prolog.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	input generation, test oracle problems, test inputs, output oracle, automated input generation, trace invariants, run-time performance, logic programming, Prolog, PROLOG, C, program testing, random testing, functional testing, C language, maintenance costs
19	Stanley Lee, Suzanne Sluizer	An Executable Language For Modeling Simple Behavior.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	state transition language, executable language, simple behavior, conventional state-transition framework, model behavior, logical invariants, entity-relationship structure, declarative logic, SXL, specification-oriented methods, formal specification, logic programming, software development, specification languages, modeling language, executable model, system behavior, requirements document, behavioral description
19	Alan C. Shaw	Reasoning About Time in Higher-Level Language Software.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	higher-level language software, program elements, time-related statements, timing invariants, periodic processes, real-time systems, real-time, formal specification, synchronization, specification, lower bounds, delay, concurrent programs, synchronisation, upper bounds, assertions, deadlines, execution times, computer times, formal logic, Hoare logic, timing bounds, sequential programs
18	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
18	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
18	Yumi Iwashita, Ryo Kurazume	Person identification from human walking sequences using affine moment invariants.	ICRA	2009	DBLP DOI BibTeX RDF
18	Yu-Kun Lai, Shi-Min Hu 0001, Tong Fang	Robust principal curvatures using feature adapted integral invariants.	Symposium on Solid and Physical Modeling	2009	DBLP DOI BibTeX RDF
18	Mohamed Amine Boutiche	Control of Some Graph Invariants in Dynamic Routing.	MCO	2008	DBLP DOI BibTeX RDF	Tree length, Routing, Graphs, Topology Control, Tree Decomposition, Tree width
18	Omar Tahri, François Chaumette, Youcef Mezouar	New decoupled visual servoing scheme based on invariants from projection onto a sphere.	ICRA	2008	DBLP DOI BibTeX RDF
18	Miaomiao Zhang, Dang Van Hung, Zhiming Liu 0001	Verification of Linear Duration Invariants by Model Checking CTL Properties.	ICTAC	2008	DBLP DOI BibTeX RDF
18	Haihe Shi, Dawei Du, Jinyun Xue	Generating Algorithms plus Loop Invariants by Formal Derivation.	ACIS-ICIS	2008	DBLP DOI BibTeX RDF
18	Pavel Vacha, Michal Haindl	Illumination invariants based on Markov random fields.	ICPR	2008	DBLP DOI BibTeX RDF
18	Anindya Banerjee 0001, David A. Naumann, Stan Rosenberg	Regional Logic for Local Reasoning about Global Invariants.	ECOOP	2008	DBLP DOI BibTeX RDF
18	Prashan Premaratne, Farzad Safaei	Stereo Correspondence Using Moment Invariants.	ICIC (3)	2008	DBLP DOI BibTeX RDF
18	Xavier Allamigeon, Stephane Gaubert, Eric Goubault	Inferring Min and Max Invariants Using Max-Plus Polyhedra.	SAS	2008	DBLP DOI BibTeX RDF
18	Johann A. Makowsky	Uniform Algebraic Reducibilities between Parameterized Numeric Graph Invariants.	CiE	2008	DBLP DOI BibTeX RDF
18	Shan Lu 0001, Joseph A. Tucek, Feng Qin, Yuanyuan Zhou 0001	AVIO: Detecting Atomicity Violations via Access-Interleaving Invariants.	IEEE Micro	2007	DBLP DOI BibTeX RDF	reliability, testing, debugging, concurrent program, hardware support, concurrency bug, bug detection, program invariant, atomicity violation
18	Gang Zheng, Chia-Jiu Wang, Terrance E. Boult	Application of Projective Invariants in Hand Geometry Biometrics.	IEEE Trans. Inf. Forensics Secur.	2007	DBLP DOI BibTeX RDF
18	Makram Nabti, Ahmed Bouridane	Wavelet Maxima and Moment Invariants Based Iris Feature Extraction.	ICIP (2)	2007	DBLP DOI BibTeX RDF
18	Yinghua Chen, Bican Xia, Lu Yang, Naijun Zhan	Generating Polynomial Invariants with DISCOVERER and QEPCAD.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF	Semi-Algebraic Systems, DISCOVERER, QEPCAD, Program Verification, Quantifier Elimination, Invariant Generation, Polynomial Programs
18	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott	Model Checking Invariants Through Search.	All About Maude	2007	DBLP DOI BibTeX RDF
18	Tian-Tsong Ng, Shih-Fu Chang, Mao-Pei Tsui	Using Geometry Invariants for Camera Response Function Estimation.	CVPR	2007	DBLP DOI BibTeX RDF
18	Zhong Yi Sun 0003, Denis Rivière, Fabrice Poupon, Jean Régis, Jean-François Mangin	Automatic Inference of Sulcus Patterns Using 3D Moment Invariants.	MICCAI (1)	2007	DBLP DOI BibTeX RDF
18	André Platzer	A Temporal Dynamic Logic for Verifying Hybrid System Invariants.	LFCS	2007	DBLP DOI BibTeX RDF	logic for hybrid systems, deductive verification of embedded systems, temporal logic, dynamic logic, sequent calculus
18	Marian V. Iordache, Panos J. Antsaklis	Supervision Based on Place Invariants: A Survey.	Discret. Event Dyn. Syst.	2006	DBLP DOI BibTeX RDF	Petri nets, Mutual exclusion, Supervisory control
18	Abdullah I. Al-Shoshan	Handwritten Signature Verification Using Image Invariants and Dynamic Features.	CGIV	2006	DBLP DOI BibTeX RDF
18	Shijian Lu, Chew Lim Tan	Camera Text Recognition based on Perspective Invariants.	ICPR (2)	2006	DBLP DOI BibTeX RDF
18	Jianjiang Feng, Anni Cai	Fingerprint Indexing Using Ridge Invariants.	ICPR (4)	2006	DBLP DOI BibTeX RDF
18	Alberto Dainotti, Alessio Botta, Antonio Pescapè, Giorgio Ventre	Searching for invariants in network games traffic.	CoNEXT	2006	DBLP DOI BibTeX RDF	measurement, traffic analysis, networked games