Search results for "invariants"

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