The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for invariants with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1962-1977 (19) 1978-1980 (21) 1981-1983 (19) 1984-1985 (16) 1986-1987 (19) 1988 (19) 1989 (16) 1990 (21) 1991 (33) 1992 (28) 1993 (65) 1994 (50) 1995 (63) 1996 (78) 1997 (79) 1998 (94) 1999 (94) 2000 (126) 2001 (95) 2002 (126) 2003 (136) 2004 (175) 2005 (209) 2006 (234) 2007 (221) 2008 (245) 2009 (195) 2010 (135) 2011 (103) 2012 (89) 2013 (107) 2014 (117) 2015 (99) 2016 (92) 2017 (133) 2018 (107) 2019 (114) 2020 (127) 2021 (109) 2022 (110) 2023 (106) 2024 (29)
Publication types (Num. hits)
article(1718) book(8) data(1) incollection(29) inproceedings(2272) phdthesis(45)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2303 occurrences of 1266 keywords

Results
Found 4073 publication records. Showing 4073 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
114Zhibin Lei, Daniel Keren, David B. Cooper Computationally fast Bayesian recognition of complex objects based on mutual algebraic invariants. Search on Bibsonomy ICIP The full citation details ... 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
96Ralph D. Jeffords, Constance L. Heitmeyer Automatic Generation of State Invariants from Requirements Specifications. Search on Bibsonomy SIGSOFT FSE The full citation details ... 1998 DBLP  DOI  BibTeX  RDF verification, formal methods, specification, software tools, validation, requirements, invariants
83Michael D. Ernst, Adam Czeisler, William G. Griswold, David Notkin Quickly detecting relevant program invariants. Search on Bibsonomy ICSE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
83Neelam Gupta, Zachary V. Heidepriem A New Structural Coverage Criterion for Dynamic Detection of Program Invariants. Search on Bibsonomy ASE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF dynamic analysis, Test data generation, execution traces, path testing, program invariants
83Michael D. Ernst, Jake Cockrell, William G. Griswold, David Notkin Dynamically Discovering Likely Program Invariants to Support Program Evolution. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF pattern recognition, formal specification, software evolution, dynamic analysis, execution traces, logical inference, Program invariants
83Irene Rothe, Herbert Süße, Klaus Voss The Method of Normalization to Determine Invariants. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Legendre descriptors, Invariants, normalization, Fourier descriptors, projective invariants, invariant moments
72Ekkart Kindler, Hagen Völzer Flexibility in Algebraic Nets. Search on Bibsonomy ICATPN The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Algebraic Petri nets, place invariants, verification techniques
70Long Quan Invariants of Six Points and Projective Reconstruction From Three Uncalibrated Images. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF This invariant, epipolar geometry, projective geometry, self-calibration, projective reconstruction, uncalibrated images
70Ekaterina Shemyakova A Full System of Invariants for Third-Order Linear Partial Differential Operators. Search on Bibsonomy AISC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Laplace invariants, partial differential operators, Maple
70Thomas H. Reiss The revised Fundamental Theorem of Moment Invariants. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF fundamental theorem, similitude, general linear transformations, pattern recognition, pattern recognition, invariance, invariance, algebra, algebra, rotation invariants, moment invariants
65Christoph Csallner, Nikolai Tillmann, Yannis Smaragdakis DySy: dynamic symbolic execution for invariant inference. Search on Bibsonomy ICSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF daikon, dynamic invariant inference, dysy, pex, symbolic reasoning
65George Bebis, Michael Georgiopoulos, Niels da Vitoria Lobo Learning Geometric Hashing Functions for Model-Based Object Recognition. Search on Bibsonomy ICCV The full citation details ... 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
64Muhammad Zubair Malik, Aman Pervaiz, Sarfraz Khurshid Generating Representation Invariants of Structurally Complex Data. Search on Bibsonomy TACAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
64Joost van de Weijer 0001, Theo Gevers, Jan-Mark Geusebroek Edge and Corner Detection by Photometric Quasi-Invariants. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
64Yaron Gvili, Nir A. Sochen A Complete System of Measurement Invariants for Abelian Lie Transformation Groups. Search on Bibsonomy Scale-Space The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
64Michael D. Ernst Summary of Dynamically Discovering Likely Program Invariants. Search on Bibsonomy ICSM The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
64Long Quan Invariants of 6 Points from 3 Uncalibrated Images. Search on Bibsonomy ECCV (2) The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
63Shan Suthaharan Enhanced Accuracy Moment Invariants for Biometric Recognition and Cryptosystems. Search on Bibsonomy ICIAR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Central moments, hamming window, biometric cryptosystem, pattern recognition, moment invariants, geometric transformation
63D. Gregory Arnold, Kirk Sturtz, Vincent J. Velten, Nagaraj Nandhakumar Dominant-Subspace Invariants. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Dominant-subspace invariants, Lie group analysis, principal basis, quasi-invariants, thermophysical invariance, thermophysical model
63Alexander G. Mamistvalov n-Dimensional Moment Invariants and Conceptual Mathematical Theory of Recognition n-Dimensional Solids. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 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
63Rüdiger Valk Bridging the Gap Between Place- and Floyd-Invariants with Applications to Preemptive Scheduling. Search on Bibsonomy Application and Theory of Petri Nets The full citation details ... 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
59Koen Claessen, Hans Svensson Finding Counter Examples in Induction Proofs. Search on Bibsonomy TAP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
59Sunae Seo, Hongseok Yang, Kwangkeun Yi, Taisook Han Goal-directed weakening of abstract interpretation results. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF static analysis, Abstract interpretation, program verification, Hoare logic, backward analysis
58Ralph D. Jeffords, Constance L. Heitmeyer A strategy for efficiently verifying requirements. Search on Bibsonomy ESEC / SIGSOFT FSE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF model checking, formal methods, software tools, invariants, requirements specification, compositional verification
57Klaus Dräger, Bernd Finkbeiner Subsequence Invariants. Search on Bibsonomy CONCUR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
57Slim Kallel, Anis Charfi, Mira Mezini, Mohamed Jmaiel Combining Formal Methods and Aspects for Specifying and Enforcing Architectural Invariants. Search on Bibsonomy COORDINATION The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
57Michael L. Case, Alan Mishchenko, Robert K. Brayton Automated Extraction of Inductive Invariants to Aid Model Checking. Search on Bibsonomy FMCAD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
57Ying Piao, Jun Sato Space-Time Invariants for 3D Motions from Projective Cameras. Search on Bibsonomy ACCV (2) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
57Anne M. Faber, Minaxi Gupta, Camilo H. Viecco Grid networks and portals - Revisiting web server workload invariants in the context of scientific web sites. Search on Bibsonomy SC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
57K. Rustan M. Leino, Peter Müller 0001 Modular Verification of Static Class Invariants. Search on Bibsonomy FM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
57Tomiyuki Fukunaga, Qi-Wei Ge, Mitsuru Nakata On generating elementary T-invariants of Petri nets by linear programming. Search on Bibsonomy ISCAS (1) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
57Tanton H. Gibbs, Brian A. Malloy Weaving Aspects into C++ Applications for Validation of Temporal Invariants. Search on Bibsonomy CSMR The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
57Jan Flusser, Tomás Suk Construction of Complete and Independent Systems of Rotation Moment Invariants. Search on Bibsonomy CAIP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
57Alexander E. Kostin A Reachability Algorithm for General Petri Nets Based on Transition Invariants. Search on Bibsonomy MFCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF transition invariants, Petri nets, reachability
57Matthias Berth, Günter Czichowski Using Invariants to Solve the Equivalence Problem for Ordinary Differential Equations. Search on Bibsonomy Appl. Algebra Eng. Commun. Comput. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Equivalence problem for differential equations, Emden-Fowler equations, Differential invariants
57Ehud Rivlin, Isaac Weiss Local Invariants For Recognition. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF Object recognition, invariants, image matching, geometry
57Daniel Keren Using Symbolic Computation to Find Algebraic Invariants. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 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
56Todd E. Zickler, Satya P. Mallick, David J. Kriegman, Peter N. Belhumeur Color Subspaces as Photometric Invariants. Search on Bibsonomy Int. J. Comput. Vis. The full citation details ... 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
52Ralph-Johan Back Invariant based programming: basic approach and teaching experiences. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
52Ralph-Johan Back Invariant Based Programming. Search on Bibsonomy ICATPN The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
52Douglas Herbert, Vinaitheerthan Sundaram, Yung-Hsiang Lu, Saurabh Bagchi, Zhiyuan Li 0001 Adaptive correctness monitoring for wireless sensor networks using hierarchical distributed run-time invariant checking. Search on Bibsonomy ACM Trans. Auton. Adapt. Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF correctness monitoring, fault tolerance and diagnostics, programming models and languages, data integrity, tools, Invariants, network protocols, run-time, in-network processing and aggregation
51Aaron R. Bradley, Zohar Manna Property-directed incremental invariant generation. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Polynomial invariants, Clausal invariants, Model checking, Static analysis, Affine invariants, Invariant generation
51Jun Sato, Roberto Cipolla Quasi-Invariant Parameterisations and Matching of Curves in Images. Search on Bibsonomy Int. J. Comput. Vis. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF quasi-invariant parameterisations, semi-local invariants, integral invariants, bilateral symmetry, curve matching, differential invariants
51Simona Orzan, Tim A. C. Willemse Invariants for Parameterised Boolean Equation Systems. Search on Bibsonomy CONCUR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
51Natalia Dounskaia Kinematic invariants during cyclical arm movements. Search on Bibsonomy Biol. Cybern. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Arm movement, Velocity profile, Trajectory, Power law, Curvature, Kinematics
51Jaroslav Kautsky, Jan Flusser, Filip Sroubek Implicit Invariants and Object Recognition. Search on Bibsonomy DICTA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
51Takatsugu Yamada, Jun Sato Space-Time Moment Invariants and Recognition of Non-Rigid Motions from Arbitrary Viewpoints. Search on Bibsonomy ICPR (2) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
51Joost van de Weijer 0001, Theo Gevers, Jan-Mark Geusebroek Color Edge Detection by Photometric Quasi-Invariants. Search on Bibsonomy ICCV The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
51Srinivasa G. Narasimhan, Visvanathan Ramesh, Shree K. Nayar A Class of Photometric Invariants: Separating Material from Shape and Illumination. Search on Bibsonomy ICCV The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
51David Slater, Glenn Healey The Illumination-Invariant Recognition of 3D Objects Using Local Color Invariants. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF illumination correction, Object recognition, color, machine vision, illumination invariant, color constancy, color vision
51Edmund M. Clarke Synthesis of Resource Invariants for Concurrent Programs. Search on Bibsonomy POPL The full citation details ... 1979 DBLP  DOI  BibTeX  RDF
50Sumit Gulwani, Sagar Jain, Eric Koskinen Control-flow refinement and progress invariants for bound analysis. Search on Bibsonomy PLDI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF control-flow refinement, progress invariants, formal verification, program verification, termination, bound analysis
50James Welch, David Faitelson, Jim Davies Automatic maintenance of association invariants. Search on Bibsonomy Softw. Syst. Model. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Model, Integrity, Maintenance, Completion, Invariants, Association
50André Platzer, Edmund M. Clarke Computing Differential Invariants of Hybrid Systems as Fixedpoints. Search on Bibsonomy CAV The full citation details ... 2008 DBLP  DOI  BibTeX  RDF verification of hybrid systems, verification logic, fixedpoint engine, differential invariants
50Muhammad Zubair Malik, Aman Pervaiz, Engin Uzuncaova, Sarfraz Khurshid Deryaft: a tool for generating representation invariants of structurally complex data. Search on Bibsonomy ICSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF invariant detection, representation invariants
50Ekaterina Shemyakova, Elizabeth L. Mansfield Moving frames for laplace invariants. Search on Bibsonomy ISSAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF gauge transformations, partial differential operators, invariants, moving frames
50Markus Rütten, Min S. Chong Analyzing Vortex Breakdown Flow Structures by Assignment of Colors to Tensor Invariants. Search on Bibsonomy IEEE Trans. Vis. Comput. Graph. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Tensor field Topology, Invariants, Flow visualization
50David Evans 0001, Michael Peck Inculcating invariants in introductory courses. Search on Bibsonomy ICSE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF dynamic inference, introductory software engineering, security, software engineering, static analysis, dependability, invariants
50Saeid Belkasim, E. Hassan, T. Obeidi Radial Zernike Moment Invariants. Search on Bibsonomy CIT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF radial moments, pattern recognition, feature extraction, Invariance, moment invariants
50Jamie Shield, Ian J. Hayes Refining Object-Oriented Invariants and Dynamic Constraints. Search on Bibsonomy APSEC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF history properties, Object-orientation, invariants, refinement calculus
50Gabriela Csurka, Olivier D. Faugeras Algebraic and Geometric Tools to Compute Projective and Permutation Invariants. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Uncalibrated stereo, projective and permutation invariants, Grassmann-Cayley algebra, indexation, projective reconstruction, cross ratio
50David S. Doermann, Ehud Rivlin, Isaac Weiss Applying algebraic and differential invariants for logo recognition. Search on Bibsonomy Mach. Vis. Appl. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Document databases –Algebraic and differential invariants, Application, Document understanding, Logos
50Richard I. Hartley Projective Reconstruction and Invariants from Multiple Images. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 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
50Jan Flusser, Barbara Zitová Combined Invariants to Convolution and Rotation and Their Application to Image Registration. Search on Bibsonomy ICAPR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF convolution invariants, invariant basis, image registration, rotation invariants, Complex moments
46Frédéric Blanqui, Thérèse Hardin, Pierre Weis On the Implementation of Construction Functions for Non-free Concrete Data Types. Search on Bibsonomy ESOP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
46Tanush Shaska Determining the automorphism group of a hyperelliptic curve. Search on Bibsonomy ISSAC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF moduli space, hyperelliptic curve, automorphism
45Monica K. Hurdal, Juan B. Gutierrez, Christian Laing, Deborah A. Smith Shape analysis for automated sulcal classification and parcellation of MRI data. Search on Bibsonomy J. Comb. Optim. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Gauss integrals, MRI data, Sulcal curves, Cortical shape, Data mining, Pattern classification, Curvature, Moments, Shape descriptors, Geometric invariants
45Saurabh Srivastava 0001, Sumit Gulwani Program verification using templates over predicate abstraction. Search on Bibsonomy PLDI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF constraint-based fixed-point, iterative fixed-point, quantified invariants, template invariants, predicate abstraction, weakest preconditions, smt solvers
45Jan Flusser, Jirí Boldys, Barbara Zitová Moment Forms Invariant to Rotation and Blur in Arbitrary Number of Dimensions. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF N-D imaging, blur invariants, group representation theory, image matching, rotation invariants
44Tomás Suk, Jan Flusser Affine Moment Invariants of Color Images. Search on Bibsonomy CAIP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
44Jicheng Fu, Farokh B. Bastani, I-Ling Yen Automated Discovery of Loop Invariants for High-Assurance Programs Synthesized Using AI Planning Techniques. Search on Bibsonomy HASE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
44Haifeng Chen, Haibin Cheng, Guofei Jiang, Kenji Yoshihira Exploiting Local and Global Invariants for the Management of Large Scale Information Systems. Search on Bibsonomy ICDM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
44Sophia Drossopoulou, Adrian Francalanza, Peter Müller 0001, Alexander J. Summers A Unified Framework for Verification Techniques for Object Invariants. Search on Bibsonomy ECOOP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
44Evelyne Hubert, Irina A. Kogan Smooth and Algebraic Invariants of a Group Action: Local and Global Constructions. Search on Bibsonomy Found. Comput. Math. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
44K. Rustan M. Leino, Wolfram Schulte Using History Invariants to Verify Observers. Search on Bibsonomy ESOP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
44Yihong Wu 0002, Zhanyi Hu Geometric Invariants and Applications under Catadioptric Camera Model. Search on Bibsonomy ICCV The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
44Jinhui Chao, Shintaro Suzuki, Jongdae Kim Copyright tracing using invariants of contents. Search on Bibsonomy ICIP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
44K. Rustan M. Leino, Peter Müller 0001 Object Invariants in Dynamic Contexts. Search on Bibsonomy ECOOP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
44Karsten Schmidt 0004 Using Petri Net Invariants in State Space Construction. Search on Bibsonomy TACAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
44Tanton H. Gibbs, Brian A. Malloy, James F. Power Automated Validation of Class Invariants in C ++ Applications. Search on Bibsonomy ASE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
44Ralph D. Jeffords, Constance L. Heitmeyer An Algorithm for Strengthening State Invariants Generated from Requirements Specifications. Search on Bibsonomy RE The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
44Ronald-Bryan O. Alferez, Yuan-Fang Wang Geometric and Illumination Invariants for Object Recognition. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF wavelet, recognition, color, shape, Invariant, spline
44Parosh Aziz Abdulla, Bengt Jonsson 0001 On the Existence of Network Invariants for Verifying Parameterized Systems. Search on Bibsonomy Correct System Design The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
44Jeffrey X. Su, David L. Dill, Jens U. Skakkebæk Formally Verifying Data and Control with Weak Reachability Invariants. Search on Bibsonomy FMCAD The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
44Saddek Bensalem, Yassine Lakhnech, Hassen Saïdi Powerful Techniques for the Automatic Generation of Invariants. Search on Bibsonomy CAV The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
44Zhenyi Jin Deriving Mode Invariants from SCR Specifications. Search on Bibsonomy ICECCS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
44Edmund M. Clarke Synthesis of Resource Invariants for Concurrent Programs. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
44David Lo 0001, Shahar Maoz Mining scenario-based specifications with value-based invariants. Search on Bibsonomy OOPSLA Companion The full citation details ... 2009 DBLP  DOI  BibTeX  RDF value-based invariants, live sequence charts, specification mining
44Sriram Sankaranarayanan 0001, Henny B. Sipma, Zohar Manna Constructing invariants for hybrid systems. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Grobner bases, Verification, Analysis, Hybrid systems, Invariants, Polynomials, Algebraic geometry, Groebner bases
44Dhruv Mahajan 0001, Ravi Ramamoorthi, Brian Curless A Theory Of Frequency Domain Invariants: Spherical Harmonic Identities for BRDF/Lighting Transfer and Image Consistency. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Frequency Domain Invariants, Spherical harmonic identities, Convolution, Relighting, Inverse rendering, Image Forensics, Tampering
44Guofei Jiang, Haifeng Chen, Kenji Yoshihira Discovering likely invariants of distributed transaction systems for autonomic system management. Search on Bibsonomy Clust. Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Distributed transaction systems, Flow intensity, Invariants, System management, Regression model
44Tomás Suk, Jan Flusser Projective Moment Invariants. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF object recognition, moment invariants, Projective transform
44Chee-Way Chong, P. Raveendran 0001, R. Mukundan 0001 The scale invariants of pseudo-Zernike moments. Search on Bibsonomy Pattern Anal. Appl. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Image normalisation, Radial moments, Scale Invariants, Geometric moments, Pseudo-Zernike moments
44Michel Charpentier Composing Invariants. Search on Bibsonomy FME The full citation details ... 2003 DBLP  DOI  BibTeX  RDF formal specification, temporal logic, invariants, compositional verification
44Changyun Wen, Ying Zhang 0031, Yani Zhang Recognition of Symmetrical Images Using Affine Moment Invariants in both Frequency and Spatial Domains. Search on Bibsonomy Pattern Anal. Appl. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Symmetrical image, Object recognition, Fourier transform, Threshold, Affine transformation, Moment invariants
44Zhengwei Yang, Fernand S. Cohen Cross-Weighted Moments and Affine Invariants for Image Registration and Matching. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF weighted moments, registration, occlusion, missing data, affine transformations, Affine invariants, weak perspective
44Anna Mikhajlova Consistent Extension of Components in the Presence of Explicit Invariants. Search on Bibsonomy TOOLS (29) The full citation details ... 1999 DBLP  DOI  BibTeX  RDF semantic conformance, component extensions, explicit invariants, refinement, consistency, inheritance, forwarding
44Åke Wallin, Olaf Kübler Complete Sets of Complex Zernike Moment Invariants and the Role of the Pseudoinvariants. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF pseudoinvariants, rotational invariants, shape description, Zernike moment
43Isaac Weiss Noise-Resistant Invariants of Curves. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF noise-resistant projective invariants, curve invariants, object recognition, robustness, image recognition, occlusion, shape descriptors, differentiation techniques
42Benedicte Bascle, Olivier Bernier, Vincent Lemaire 0001 A Statistical Approach for Learning Invariants: Application to Image Color Correction and Learning Invariants to Illumination. Search on Bibsonomy ICONIP (2) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 4073 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license