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 (18) 1978-1980 (21) 1981-1983 (18) 1984-1985 (16) 1986-1987 (18) 1988 (18) 1989 (16) 1990 (19) 1991 (31) 1992 (20) 1993 (62) 1994 (50) 1995 (61) 1996 (77) 1997 (79) 1998 (93) 1999 (94) 2000 (119) 2001 (93) 2002 (123) 2003 (133) 2004 (173) 2005 (205) 2006 (229) 2007 (219) 2008 (245) 2009 (191) 2010 (130) 2011 (99) 2012 (86) 2013 (103) 2014 (109) 2015 (95) 2016 (88) 2017 (126) 2018 (101) 2019 (19)
Publication types (Num. hits)
article(1290) book(7) incollection(17) inproceedings(2063) phdthesis(20)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2304 occurrences of 1267 keywords

Results
Found 3397 publication records. Showing 3397 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
118Zhibin 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
103Ralph 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
90Michael 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
88Neelam 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
88Michael 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
87Irene 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
77Ekkart 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
76Long 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
74Ekaterina 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
72Thomas 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
72Christoph 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
69George 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
69Muhammad 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
69Joost van de Weijer, 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
69Yaron 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
69Michael D. Ernst Summary of Dynamically Discovering Likely Program Invariants. Search on Bibsonomy ICSM The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
69Long Quan Invariants of 6 Points from 3 Uncalibrated Images. Search on Bibsonomy ECCV (2) The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
67Shan 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
65D. 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
65Alexander 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
65Rü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
65Koen Claessen, Hans Svensson Finding Counter Examples in Induction Proofs. Search on Bibsonomy TAP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
65Sunae 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
63Ralph 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
61Klaus Dräger, Bernd Finkbeiner Subsequence Invariants. Search on Bibsonomy CONCUR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
61Michael 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
61Slim 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
61Anne 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
61Ying 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
61Tomiyuki 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
61K. 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
61Tanton 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
61Jan 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
60Alexander 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
60Matthias 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
60Ehud 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
60Daniel 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
58Todd E. Zickler, Satya P. Mallick, David J. Kriegman, Peter N. Belhumeur Color Subspaces as Photometric Invariants. Search on Bibsonomy International Journal of Computer Vision 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
58Ralph-Johan Back Invariant based programming: basic approach and teaching experiences. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
58Ralph-Johan Back Invariant Based Programming. Search on Bibsonomy ICATPN The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
56Douglas Herbert, Vinaitheerthan Sundaram, Yung-Hsiang Lu, Saurabh Bagchi, Zhiyuan Li Adaptive correctness monitoring for wireless sensor networks using hierarchical distributed run-time invariant checking. Search on Bibsonomy TAAS 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
54Simona Orzan, Tim A. C. Willemse Invariants for Parameterised Boolean Equation Systems. Search on Bibsonomy CONCUR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
54Natalia Dounskaia Kinematic invariants during cyclical arm movements. Search on Bibsonomy Biological Cybernetics The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Arm movement, Velocity profile, Trajectory, Power law, Curvature, Kinematics
54Jaroslav Kautsky, Jan Flusser, Filip Sroubek Implicit Invariants and Object Recognition. Search on Bibsonomy DICTA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
54Takatsugu 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
54Srinivasa 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
54Joost van de Weijer, 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
54David 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
54Edmund M. Clarke Synthesis of Resource Invariants for Concurrent Programs. Search on Bibsonomy POPL The full citation details ... 1979 DBLP  DOI  BibTeX  RDF
53Aaron R. Bradley, Zohar Manna Property-directed incremental invariant generation. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Polynomial invariants, Clausal invariants, Model checking, Static analysis, Affine invariants, Invariant generation
53Jun Sato, Roberto Cipolla Quasi-Invariant Parameterisations and Matching of Curves in Images. Search on Bibsonomy International Journal of Computer Vision The full citation details ... 1998 DBLP  DOI  BibTeX  RDF quasi-invariant parameterisations, semi-local invariants, integral invariants, bilateral symmetry, curve matching, differential invariants
52Sumit 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
52James Welch, David Faitelson, Jim Davies Automatic maintenance of association invariants. Search on Bibsonomy Software and System Modeling The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Model, Integrity, Maintenance, Completion, Invariants, Association
52André 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
52Ekaterina 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
52Muhammad 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
52Markus 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
52David 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
52Saeid 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
52Jamie 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
52Gabriela 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
52David 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
52Richard 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
51Jan 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
50Fré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
50Tanush 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
49Monica 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
47Saurabh 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
47Jan 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
47Tomás Suk, Jan Flusser Affine Moment Invariants of Color Images. Search on Bibsonomy CAIP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
47Sophia 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
47Haifeng 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
47Jicheng 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
47Evelyne Hubert, Irina A. Kogan Smooth and Algebraic Invariants of a Group Action: Local and Global Constructions. Search on Bibsonomy Foundations of Computational Mathematics The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
47K. Rustan M. Leino, Wolfram Schulte Using History Invariants to Verify Observers. Search on Bibsonomy ESOP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
47Yihong 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
47K. 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
47Jinhui Chao, Shintaro Suzuki, Jongdae Kim Copyright tracing using invariants of contents. Search on Bibsonomy ICIP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
47Karsten Schmidt 0004 Using Petri Net Invariants in State Space Construction. Search on Bibsonomy TACAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
47Tanton 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
47Ralph 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
47Ronald-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
47Parosh Aziz Abdulla, Bengt Jonsson 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
47Jeffrey 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
47Zhenyi Jin Deriving Mode Invariants from SCR Specifications. Search on Bibsonomy ICECCS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
47Saddek 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
47Edmund 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
45David 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
45Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna Constructing invariants for hybrid systems. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Grobner bases, Verification, Analysis, Hybrid systems, Invariants, Polynomials, Algebraic geometry, Groebner bases
45Dhruv Mahajan, 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
45Guofei Jiang, Haifeng Chen, Kenji Yoshihira Discovering likely invariants of distributed transaction systems for autonomic system management. Search on Bibsonomy Cluster Computing The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Distributed transaction systems, Flow intensity, Invariants, System management, Regression model
45Tomá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
45Chee-Way Chong, P. Raveendran, R. Mukundan 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
45Michel Charpentier Composing Invariants. Search on Bibsonomy FME The full citation details ... 2003 DBLP  DOI  BibTeX  RDF formal specification, temporal logic, invariants, compositional verification
45Changyun Wen, Ying Zhang, 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
45Zhengwei 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
45Anna 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
45Å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
44Isaac 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
44Benedicte Bascle, Olivier Bernier, Vincent Lemaire 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 3397 (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 Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license