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