|
|
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 |
39 | Ekaterina Shemyakova |
Invariant Properties of Third-Order Non-hyperbolic Linear Partial Differential Operators. |
Calculemus/MKM |
2009 |
DBLP DOI BibTeX RDF |
|
39 | Bor-Yuh Evan Chang, Xavier Rival |
Relational inductive shape analysis. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
symbolic abstract domain, shape analysis, materialization, separation logic, inductive definitions, heap analysis |
39 | Tosiyasu L. Kunii |
Autonomic and Trusted Computing for Ubiquitous Intelligence. |
UIC |
2007 |
DBLP DOI BibTeX RDF |
|
39 | Qingguang Ji, Sihan Qing, Yeping He |
A formal model for integrity protection based on DTE technique. |
Sci. China Ser. F Inf. Sci. |
2006 |
DBLP DOI BibTeX RDF |
integrity policy, information flow, formal model, type, domain |
39 | Daniel Fagerström |
Galilean Differential Geometry of Moving Images. |
ECCV (4) |
2004 |
DBLP DOI BibTeX RDF |
|
39 | George Bebis, Michael Georgiopoulos, Niels da Vitoria Lobo |
Using self-organizing maps to learn geometric hash functions for model-based object recognition. |
IEEE Trans. Neural Networks |
1998 |
DBLP DOI BibTeX RDF |
|
39 | David Slater, Glenn Healey |
Combining Color and Geometric Information for the Illumination Invariant Recognition of 3D Objects. |
ICCV |
1995 |
DBLP DOI BibTeX RDF |
illumination invariant recognition, three dimensional object recognition, three dimensional object geometry, two dimensional image geometry, local color pixel distribution, spectral content, spectral reflectance, color image regions, model objects, cluttered scenes, image segmentation, database, segmentation, object recognition, reflectivity, color, occlusion, pose estimation, geometry, lighting, image colour analysis, heuristic programming, 3D object recognition, geometric information, hypothesis verification |
39 | Sriram Sankaranarayanan 0001 |
Automatic invariant generation for hybrid systems using ideal fixed points. |
HSCC |
2010 |
DBLP DOI BibTeX RDF |
verification, hybrid systems, invariants, conservation laws, algebraic geometry |
39 | Yamini Kannan, Koushik Sen |
Universal symbolic execution and its application to likely data structure invariant generation. |
ISSTA |
2008 |
DBLP DOI BibTeX RDF |
dynamic analysis, symbolic execution, execution traces, logical inference, program invariants |
39 | Behrouz Tork Ladani, Baptiste Alcalde, Ana R. Cavalli |
Passive Testing - A Constrained Invariant Checking Approach. |
TestCom |
2005 |
DBLP DOI BibTeX RDF |
invariant checking, SCP, invariants, constraint solving, passive testing |
39 | Jong Seung Park, TaeYong Kim 0003 |
Shape-Based Image Retrieval Using Invariant Features. |
PCM (2) |
2004 |
DBLP DOI BibTeX RDF |
Fourier descriptors, Shape retrieval, Moment invariants |
39 | Jan-Mark Geusebroek, Rein van den Boomgaard, Arnold W. M. Smeulders, Hugo Geerts |
Color Invariance. |
IEEE Trans. Pattern Anal. Mach. Intell. |
2001 |
DBLP DOI BibTeX RDF |
Kubelka-Munk theory, photometric models, Gaussian color model, scale-space, differential geometry, color constancy, measurement theory, multispectral imaging, differential invariants, Photometric invariance |
39 | Tomás Suk, Jan Flusser |
Features Invariant Simultaneously to Convolution and Affine Transformation. |
CAIP |
2001 |
DBLP DOI BibTeX RDF |
image invariants, pattern recognition |
39 | Isaac Weiss, Manjit Ray |
Model-Based Recognition of 3D Objects from One View. |
ECCV (2) |
1998 |
DBLP DOI BibTeX RDF |
object recognition, invariants, model based vision |
39 | Andrea Califano, Rakesh Mohan |
Multidimensional Indexing for Recognizing Visual Shapes. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1994 |
DBLP DOI BibTeX RDF |
visual shapes recognition, limited index selectivity, look-up table buckets, high-dimensional highly descriptive global invariants, 2-D shape acquisition/recognition system, local curve descriptors, image contour information, computer vision, image sequences, image recognition, table lookup, multidimensional indexing |
38 | Yu-Ping Wang 0001, Shi-Min Hu 0001 |
A New Watermarking Method for 3D Models Based on Integral Invariants. |
IEEE Trans. Vis. Comput. Graph. |
2009 |
DBLP DOI BibTeX RDF |
|
38 | Ville Ojansivu, Janne Heikkilä |
Weighted DFT Based Blur Invariants for Pattern Recognition. |
SCIA |
2009 |
DBLP DOI BibTeX RDF |
|
38 | Arati Baliga, Vinod Ganapathy, Liviu Iftode |
Automatic Inference and Enforcement of Kernel Data Structure Invariants. |
ACSAC |
2008 |
DBLP DOI BibTeX RDF |
|
38 | Xiao Bai 0001, Richard C. Wilson 0001, Edwin R. Hancock |
Quantitative Evaluation on Heat Kernel Permutation Invariants. |
SSPR/SPR |
2008 |
DBLP DOI BibTeX RDF |
|
38 | Min Deng, Tao Cheng 0004, Xiaoyong Chen, Zhilin Li 0001 |
Multi-level Topological Relations Between Spatial Regions Based Upon Topological Invariants. |
GeoInformatica |
2007 |
DBLP DOI BibTeX RDF |
spatial set, neighborhood, topological relations, topological invariant |
38 | Gianpiero Cabodi, Sergio Nocco, Stefano Quer |
Boosting the role of inductive invariants in model checking. |
DATE |
2007 |
DBLP DOI BibTeX RDF |
|
38 | Himanshu Jain, Franjo Ivancic, Aarti Gupta, Ilya Shlyakhter, Chao Wang 0001 |
Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop. |
CAV |
2006 |
DBLP DOI BibTeX RDF |
|
38 | Dong Xu 0008, Hua Li 0009 |
3-D Surface Moment Invariants. |
ICPR (4) |
2006 |
DBLP DOI BibTeX RDF |
|
38 | Esa Rahtu, Mikko Salo, Janne Heikkilä, Jan Flusser |
Generalized affine moment invariants for object recogntion. |
ICPR (2) |
2006 |
DBLP DOI BibTeX RDF |
|
38 | Christoph Csallner, Yannis Smaragdakis |
Dynamically discovering likely interface invariants. |
ICSE |
2006 |
DBLP DOI BibTeX RDF |
invariant detection, method overriding, interfaces, dynamic analysis |
38 | Enric Rodríguez-Carbonell, Deepak Kapur |
Program Verification Using Automatic Generation of Invariants. |
ICTAC |
2004 |
DBLP DOI BibTeX RDF |
|
38 | Sriram Sankaranarayanan 0001, Henny Sipma, Zohar Manna |
Constructing Invariants for Hybrid Systems. |
HSCC |
2004 |
DBLP DOI BibTeX RDF |
|
38 | Tomás Suk, Jan Flusser |
Graph Method for Generating Affine Moment Invariants. |
ICPR (2) |
2004 |
DBLP DOI BibTeX RDF |
|
38 | Makoto Mizoguchi, Jun Sato |
Space-Time Invariants and Video Motion Extraction from Arbitrary Viewpoints. |
ICPR (4) |
2002 |
DBLP DOI BibTeX RDF |
|
38 | K. L. Lau, Wan-Chi Siu, Ngai-Fong Law |
Improved Scheme for Object Searching Using Moment Invariants. |
IEEE Pacific Rim Conference on Multimedia |
2002 |
DBLP DOI BibTeX RDF |
|
38 | Walter Vogler |
Partial S-Invariants for the Verification of Infinite Systems Families. |
ICATPN |
2001 |
DBLP DOI BibTeX RDF |
|
38 | Eamon B. Barrett, Paul M. Payton |
Geometric Invariants for Rational Polynomial Cameras. |
AIPR |
2000 |
DBLP DOI BibTeX RDF |
|
38 | David Y. W. Park, Jens U. Skakkebæk, David L. Dill |
Static Analysis to Identify Invariants in RSML Specifications. |
FTRTFT |
1998 |
DBLP DOI BibTeX RDF |
|
38 | Martin F. Arlitt, Carey L. Williamson |
Web Server Workload Characterization: The Search for Invariants. |
SIGMETRICS |
1996 |
DBLP DOI BibTeX RDF |
World Wide Web (WWW) |
37 | Ivo Krka, Yuriy Brun, Daniel Popescu 0001, Joshua Garcia, Nenad Medvidovic |
Using dynamic execution traces and program invariants to enhance behavioral model inference. |
ICSE (2) |
2010 |
DBLP DOI BibTeX RDF |
likely invariants, dynamic analysis, specification mining |
37 | Chris Lewis 0002 |
Zenet: generating and enforcing real-time temporal invariants. |
ICSE (2) |
2010 |
DBLP DOI BibTeX RDF |
runtime softwarefault monitoring, specification generator, temporal invariants, video games, rule engine |
37 | Rui Abreu 0001, Alberto González 0002, Peter Zoeteweij, Arjan J. C. van Gemund |
Automatic software fault localization using generic program invariants. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
black box diagnosis, error detection, fault localization, program invariants, program spectra |
37 | Pablo Toharia, Oscar David Robles, Angel Rodríguez, Luis Pastor |
A Study of Zernike Invariants for Content-Based Image Retrieval. |
PSIVT |
2007 |
DBLP DOI BibTeX RDF |
CBIR primitives, Zernike invariants |
37 | Siddharth Manay, Daniel Cremers, Byung-Woo Hong, Anthony J. Yezzi, Stefano Soatto |
Integral Invariants for Shape Matching. |
IEEE Trans. Pattern Anal. Mach. Intell. |
2006 |
DBLP DOI BibTeX RDF |
Integral invariants, shape distance, shape, shape matching, shape retrieval |
37 | Andreas Blass, Yuri Gurevich |
Inadequacy of computable loop invariants. |
ACM Trans. Comput. Log. |
2001 |
DBLP DOI BibTeX RDF |
postcondition uncomputable, recursive inseparability, assertion, automated reasoning, precondition, Hoare logic, automated deduction, loop invariants |
37 | Jayashree Subrahmonia, David B. Cooper, Daniel Keren |
Practical Reliable Bayesian Recognition of 2D and 3D Objects Using Implicit Polynomials and Algebraic Invariants. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1996 |
DBLP DOI BibTeX RDF |
algebraic invariants, Bayesian recognition, Mahalanobis distance, Implicit polynomials |
37 | Jörg Desel |
Proving Non-Reachabililty by Modulo-Place-Invariants. |
FSTTCS |
1994 |
DBLP DOI BibTeX RDF |
Petri nets, Invariants, Reachability analysis |
37 | Daphna Weinshall |
Direct Computation of Qualitative 3-D Shape and Motion Invariants. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1991 |
DBLP DOI BibTeX RDF |
3D shape invariants, 3D motion invariants, matched images, local surface patches, cylindrical, hyperbolic, pattern recognition, pattern recognition, picture processing, picture processing, optical flow, structure from motion, convex, planar, depth map, saddle point, concave, focus of expansion |
33 | Saddek Bensalem, Marius Bozga, Joseph Sifakis, Thanh-Hung Nguyen |
Compositional Verification for Component-Based Systems and Application. |
ATVA |
2008 |
DBLP DOI BibTeX RDF |
|
33 | Venkataramana Appala, Perugu Ananth Raj |
Image Watermarking Using Krawtchouk Moments. |
ICCTA |
2007 |
DBLP DOI BibTeX RDF |
Krawtchouk moments, Digital watermarking |
33 | Ville Ojansivu, Janne Heikkilä |
A Method for Blur and Similarity Transform Invariant Object Recognition. |
ICIAP |
2007 |
DBLP DOI BibTeX RDF |
|
33 | Aaron R. Bradley, Zohar Manna |
Termination and Invariance Analysis of Loops. |
ATVA |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Sudhindra Pandav, Konrad Slind, Ganesh Gopalakrishnan |
Counterexample Guided Invariant Discovery for Parameterized Cache Coherence Verification. |
CHARME |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Gordon Fraser 0001, Gerald Steinbauer, Franz Wotawa |
Plan Execution in Dynamic Environments. |
IEA/AIE |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Enric Rodríguez-Carbonell, Deepak Kapur |
Automatic generation of polynomial loop. |
ISSAC |
2004 |
DBLP DOI BibTeX RDF |
ideal, loop invariant, groebner basis |
33 | Peter A. Tucker, David Maier 0001, Tim Sheard, Leonidas Fegaras |
Exploiting Punctuation Semantics in Continuous Data Streams. |
IEEE Trans. Knowl. Data Eng. |
2003 |
DBLP DOI BibTeX RDF |
stream semantics, continuous data streams, stream iterators, Continuous queries, query operators |
33 | Michael Colón, Sriram Sankaranarayanan 0001, Henny Sipma |
Linear Invariant Generation Using Non-linear Constraint Solving. |
CAV |
2003 |
DBLP DOI BibTeX RDF |
|
33 | Cormac Flanagan, Shaz Qadeer |
Predicate abstraction for software verification. |
POPL |
2002 |
DBLP DOI BibTeX RDF |
|
33 | Hassen Saïdi |
Modular and Incremental Analysis of Concurrent Software Systems. |
ASE |
1999 |
DBLP DOI BibTeX RDF |
|
32 | David Schuler, Valentin Dallmeier, Andreas Zeller |
Efficient mutation testing by checking invariant violations. |
ISSTA |
2009 |
DBLP DOI BibTeX RDF |
dynamic invariants, mutation testing |
32 | Cees Pierik, Dave Clarke 0001, Frank S. de Boer |
Controlling Object Allocation Using Creation Guards. |
FM |
2005 |
DBLP DOI BibTeX RDF |
verification, object-oriented programming, specification, invariants, object allocation |
32 | Marcin Novotni, Reinhard Klein |
3D zernike descriptors for content based shape retrieval. |
Symposium on Solid Modeling and Applications |
2003 |
DBLP DOI BibTeX RDF |
3D Zernike moments, invariants, shape descriptor, shape retrieval |
32 | Lior Wolf, Assaf Zomet |
Sequence-to-Sequence Self Calibration. |
ECCV (2) |
2002 |
DBLP DOI BibTeX RDF |
Multi-View Invariants, Self-Calibration |
32 | Tosiyasu L. Kunii |
Science of Computer Graphics. |
PG |
1999 |
DBLP DOI BibTeX RDF |
a hierarchy of invariants, cellular spatial structures |
32 | Hemant D. Tagare, Donal O'Shea, Anand Rangarajan 0001 |
A Geometric Criterion for Shape-Based Non-Rigid Correspondence. |
ICCV |
1995 |
DBLP DOI BibTeX RDF |
geometric criterion, shape based nonrigid correspondence, shape-based non-rigid correspondence, shape based non rigid correspondence, angular deviations, concave segments, computational geometry, medical images, medical image processing, curve fitting, biomedical imaging, geometric invariants, plane curves |
32 | Basil Becker, Dirk Beyer 0001, Holger Giese, Florian Klein 0001, Daniela Schilling |
Symbolic invariant verification for systems with dynamic structural adaptation. |
ICSE |
2006 |
DBLP DOI BibTeX RDF |
gormal verification, hraph transformation systems, structural invariants, transition invariants, embedded systems, mechatronics, symbolic algorithms |
32 | Jean-Philippe Tarel, David B. Cooper |
The Complex Representation of Algebraic Curves and Its Simple Exploitation for Pose Estimation and Invariant Recognition. |
IEEE Trans. Pattern Anal. Mach. Intell. |
2000 |
DBLP DOI BibTeX RDF |
Complex polynomials, pose-independent curve recognition, Euclidean invariants, complete-sets of rotation invariants, curve centers, implicit polynomial curves, pose estimation, shape representation, shape recognition, algebraic curves |
32 | Jan Flusser, Tomás Suk |
Degraded Image Analysis: An Invariant Approach. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1998 |
DBLP DOI BibTeX RDF |
Degraded image, symmetric blur, blur invariants, combined invariants, object recognition, image moments |
31 | Gianpiero Cabodi, Sergio Nocco, Stefano Quer |
Strengthening Model Checking Techniques With Inductive Invariants. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2009 |
DBLP DOI BibTeX RDF |
|
31 | Laura Kovács, Andrei Voronkov |
Finding Loop Invariants for Programs over Arrays Using a Theorem Prover. |
FASE |
2009 |
DBLP DOI BibTeX RDF |
|
31 | Volker Sorge, Andreas Meier 0002, Roy L. McCasland, Simon Colton |
Automatic Construction and Verification of Isotopy Invariants. |
J. Autom. Reason. |
2008 |
DBLP DOI BibTeX RDF |
Automated mathematics, Classification theorems, Computer algebra, Automated theorem proving, Model generation, SAT solving, Invariant generation, Isotopy |
31 | Swarup Kumar Sahoo, Man-Lap Li, Pradeep Ramachandran, Sarita V. Adve, Vikram S. Adve, Yuanyuan Zhou |
Using likely program invariants to detect hardware errors. |
DSN |
2008 |
DBLP DOI BibTeX RDF |
|
31 | K. Rustan M. Leino, Angela Wallenburg |
Class-local object invariants. |
ISEC |
2008 |
DBLP DOI BibTeX RDF |
verification, object-oriented programming, specification, automation, tool support, subclassing |
31 | Luís Soares Barbosa, José Nuno Oliveira, Alexandra Silva 0001 |
Calculating Invariants as Coreflexive Bisimulations. |
AMAST |
2008 |
DBLP DOI BibTeX RDF |
coalgebraic reasoning, pointfree transform, proof obligations, program calculation |
31 | Xiao Bai 0001, Richard C. Wilson 0001, Edwin R. Hancock |
Object recognition using graph spectral invariants. |
ICPR |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Limsoon Wong |
Manifestation and Exploitation of Invariants in Bioinformatics. |
CSR |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Ognjen Arandjelovic, Roberto Cipolla |
Colour invariants for machine face recognition. |
FG |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Raul Daniel Millan, Laura Dempere-Marco, Jose M. Pozo, Juan R. Cebral, Alejandro F. Frangi |
Morphological Characterization of Intracranial Aneurysms Using 3-D Moment Invariants. |
IEEE Trans. Medical Imaging |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Michael Schlemmer, Manuel Heringer, Florian Morr, Ingrid Hotz, Martin Hering-Bertram, Christoph Garth, Wolfgang Kollmann, Bernd Hamann, Hans Hagen |
Moment Invariants for the Analysis of 2D Flow Fields. |
IEEE Trans. Vis. Comput. Graph. |
2007 |
DBLP DOI BibTeX RDF |
Pattern Recognition, Image Processing, Flow Visualization, Feature Detection |
31 | Guofei Jiang, Haifeng Chen, Kenji Yoshihira |
Efficient and Scalable Algorithms for Inferring Likely Invariants in Distributed Systems. |
IEEE Trans. Knowl. Data Eng. |
2007 |
DBLP DOI BibTeX RDF |
Data mining, Distributed Systems, Time series analysis, System Management, Analysis of Algorithms and Problem Complexity, Algorithms for data and knowledge management |
31 | Yi Lv, Huimin Lin, Hong Pan |
Computing Invariants for Parameter Abstraction. |
MEMOCODE |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Yi Lu 0003, John Potter, Jingling Xue |
Validity Invariants and Effects. |
ECOOP |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Dirk Beyer 0001, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko |
Path invariants. |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
invariant synthesis, formal verification, software model checking, predicate abstraction, abstraction refinement |
31 | Yana Momchilova Mileva, Andrés Bruhn, Joachim Weickert |
Illumination-Robust Variational Optical Flow with Photometric Invariants. |
DAGM-Symposium |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Jinhui Chao, Shintaro Suzuki |
A Scale-Space Reeb-Graph of Topological Invariants of Images and Its Applications to Content Identification. |
SSVM |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Limsoon Wong |
Manifestation and Exploitation of Invariants in Bioinformatics. |
AB |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Jan Flusser, Tomás Suk |
Rotation Moment Invariants for Recognition of Symmetric Objects. |
IEEE Trans. Image Process. |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Dong Xu 0008, Hua Li 0009 |
3-D Affine Moment Invariants Generated by Geometric Primitives. |
ICPR (2) |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Volker Sorge, Andreas Meier 0002, Roy L. McCasland, Simon Colton |
Automatic Construction and Verification of Isotopy Invariants. |
IJCAR |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Yu-Feng Hsu, Shih-Fu Chang |
Detecting Image Splicing using Geometry Invariants and Camera Characteristics Consistency. |
ICME |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Todd E. Zickler, Satya P. Mallick, David J. Kriegman, Peter N. Belhumeur |
Color Subspaces as Photometric Invariants. |
CVPR (2) |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Pascal Van Hentenryck, Laurent Michel |
Differentiable Invariants. |
CP |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Roberto Bagnara, Enric Rodríguez-Carbonell, Enea Zaffanella |
Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra. |
SAS |
2005 |
DBLP DOI BibTeX RDF |
|
31 | James Welch, David Faitelson, Jim Davies |
Automatic Maintenance of Association Invariants. |
SEFM |
2005 |
DBLP DOI BibTeX RDF |
|
31 | Xianghua Ying, Zhanyi Hu |
Catadioptric Camera Calibration Using Geometric Invariants. |
IEEE Trans. Pattern Anal. Mach. Intell. |
2004 |
DBLP DOI BibTeX RDF |
Camera calibration, omnidirectional vision, geometric invariant, catadioptric camera, panoramic vision |
31 | Michael Barnett 0001, David A. Naumann |
Friends Need a Bit More: Maintaining Invariants Over Shared State. |
MPC |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Hans Burkhardt, Marco Reisert, Hongdong Li |
Invariants for Discrete Structures ? An Extension of Haar Integrals over Transformation Groups to Dirac Delta Functions. |
DAGM-Symposium |
2004 |
DBLP DOI BibTeX RDF |
|
31 | J. M. González, José M. Sebastián, David García, Francisco Manuel Sánchez, Luis Ángel |
Recognition of 3D Object from One Image Based on Projective and Permutative Invariants. |
ICIAR (1) |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Xianghua Ying, Zhanyi Hu |
Catadioptric Camera Calibration Using Geometric Invariants. |
ICCV |
2003 |
DBLP DOI BibTeX RDF |
|
31 | Sava Krstic, John Matthews |
Inductive Invariants for Nested Recursion. |
TPHOLs |
2003 |
DBLP DOI BibTeX RDF |
|
31 | Dmitry Kinoshenko, Vladimir Mashtalir, Alexander Orlov, Elena Yegorova |
Method of Creating of Functional Invariants under One-Parameter Geometric Image Transformations. |
DAGM-Symposium |
2003 |
DBLP DOI BibTeX RDF |
|
31 | Tomás Suk, Jan Flusser |
Blur and Affine Moment Invariants. |
ICPR (4) |
2002 |
DBLP DOI BibTeX RDF |
|
31 | Julia Padberg, Bettina Enders |
Rule Invariants in Graph Transformation Systems for Analyzing Safety-Critical Systems. |
ICGT |
2002 |
DBLP DOI BibTeX RDF |
|
31 | Yoshio Kataoka, Michael D. Ernst, William G. Griswold, David Notkin |
Automated Support for Program Refactoring Using Invariants. |
ICSM |
2001 |
DBLP DOI BibTeX RDF |
static analysis, refactoring, dynamic analysis, invariant, program understanding, maintainability, readability |
31 | Jan-Mark Geusebroek, Arnold W. M. Smeulders, Rein van den Boomgaard |
Measurement of Color Invariants. |
CVPR |
2000 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #200 of 4073 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|