Search results for "invariants"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
31	Jan-Mark Geusebroek, Dennis C. Koelma, Arnold W. M. Smeulders, Theo Gevers	Image Retrieval and Segmentation based on Color Invariants.	CVPR	2000	DBLP DOI BibTeX RDF
31	Zhengwei Yang, Fernand S. Cohen	Image registration and object recognition using affine invariants and convex hulls.	IEEE Trans. Image Process.	1999	DBLP DOI BibTeX RDF
31	Ali Nosary, Laurent Heutte, Thierry Paquet, Yves Lecourtier	Defining Writer's Invariants to Adapt the Recognition Task.	ICDAR	1999	DBLP DOI BibTeX RDF
31	Luc Van Gool, Theo Moons, Dorin Ungureanu	Affine/ Photometric Invariants for Planar Intensity Patterns.	ECCV (1)	1996	DBLP DOI BibTeX RDF
31	Theo Moons, Eric J. Pauwels, Luc Van Gool, André Oosterlinck	Foundations of semi-differential invariants.	Int. J. Comput. Vis.	1995	DBLP DOI BibTeX RDF
31	Jean-Michel Couvreur, Emmanuel Paviot-Adet	New Structural Invariants for Petri Nets Analysis.	Application and Theory of Petri Nets	1994	DBLP DOI BibTeX RDF
31	Sven Vinther, Roberto Cipolla	Active 3D Object Recognition using 3D Affine Invariants.	ECCV (2)	1994	DBLP DOI BibTeX RDF
31	Joseph Sifakis	Global and Local Invariants in Transition Systems.	ICALP	1982	DBLP DOI BibTeX RDF
31	Stephanie Balzer, Thomas R. Gross	Modular reasoning about invariants over shared state with interposed data members.	PLPV	2010	DBLP DOI BibTeX RDF	ownership type systems, invariants
31	Max Thalmaier, Minh D. Nguyen, Markus Wedler, Dominik Stoffel, Jörg Bormann, Wolfgang Kunz	Analyzing k-step induction to compute invariants for SAT-based property checking.	DAC	2010	DBLP DOI BibTeX RDF	k-step induction, symbolic traversal, invariants, IPC
31	Marinella Cadoni, Manuele Bicego, Enrico Grosso	3D Face Recognition Using Joint Differential Invariants.	ICB	2009	DBLP DOI BibTeX RDF	Biometrics, Invariants, 3D Face Recognition
31	Mostafa Jabarouti Moghaddam, Hamid Soltanian-Zadeh	Automatic Segmentation of Brain Structures Using Geometric Moment Invariants and Artificial Neural Networks.	IPMI	2009	DBLP DOI BibTeX RDF	Geometric Moments Invariants, Artificial Neural Network, Magnetic Resonance Images, automatic segmentation
31	Olga Grinchtein, Martin Leucker	Network invariants for real-time systems.	Formal Aspects Comput.	2008	DBLP DOI BibTeX RDF	Real-time systems, Parameterized systems, Network invariants
31	Amit M. Paradkar, Avik Sinha	Specify Once Test Everywhere: Analyzing Invariants to Augment Service Descriptions for Automated Test Generation.	ICSOC	2008	DBLP DOI BibTeX RDF	Invariants analysis, Service Functional Testing, Automated Test Generation
31	Magne Haveraaen, Karl Trygve Kalleberg	JAxT and JDI: the simplicity of junit applied to axioms and data invariants.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	data invariants, java, program transformation, unit testing, test data generation, axioms, junit, mouldable programming
31	Azah Kamilah Muda, Siti Mariyam Hj. Shamsuddin, Maslina Darus	Invariants Discretization for Individuality Representation in Handwritten Authorship.	IWCF	2008	DBLP DOI BibTeX RDF	Authorship Invarianceness, Invariants Discretization, Writer Identification
31	Ning Ouyang, Leping Lin, Zhao Liu	Cross-View Object Tracking by Projective Invariants and Feature Matching.	PCM	2008	DBLP DOI BibTeX RDF	Cross-view tracking, Feature Matching, projective invariants
31	Alberto Pinto, Goffredo Haus	A novel XML music information retrieval method using graph invariants.	ACM Trans. Inf. Syst.	2007	DBLP DOI BibTeX RDF	melodic similarity, XML, metadata, Graphs, music, invariants, music information retrieval, structural properties
31	David A. Naumann	On assertion-based encapsulation for object invariants and simulations.	Formal Aspects Comput.	2007	DBLP DOI BibTeX RDF	Object invariants, Encapsulation and abstraction, Separation and alias control
31	Makram Nabti, Ahmed Bouridane	An Improved Iris Recognition System Using Feature Extraction Based on Wavelet Maxima Moment Invariants.	ICB	2007	DBLP DOI BibTeX RDF	wavelet maxima, biometrics, iris recognition, moment invariants, multiscale edge detection
31	Ekaterina Shemyakova, Franz Winkler 0001	A Full System of Invariants for Third-Order Linear Partial Differential Operators in General Form.	CASC	2007	DBLP DOI BibTeX RDF	Linear Partial Differential Operators, Gauge transformations, Invariants
31	Theo Gevers, Harro M. G. Stokman	Robust Histogram Construction from Color Invariants for Object Recognition.	IEEE Trans. Pattern Anal. Mach. Intell.	2004	DBLP DOI BibTeX RDF	color invariants, histogram construction, noise propagation, Object recognition, matching, kernel density estimation, noise robustness
31	Shao Ying Zhu, Gerald Schaefer	Thermal Medical Image Retrieval by Moment Invariants.	ISBMDA	2004	DBLP DOI BibTeX RDF	Thermal medical images, medical infrared images, content-based image retrieval, moment invariants
31	A. Prasad Sistla, Viktor Gyuris	Parameterized Verification of Linear Networks using Automata as Invariants.	Formal Aspects Comput.	1999	DBLP DOI BibTeX RDF	Safety, Invariants, Automata, Induction, Liveness, Linear networks
31	Cordelia Schmid, Roger Mohr	Local Grayvalue Invariants for Image Retrieval.	IEEE Trans. Pattern Anal. Mach. Intell.	1997	DBLP DOI BibTeX RDF	graylevel invariants, Image retrieval, matching, image indexing, interest points
31	Helmer Aslaksen, Shih-Ping Chan, Tor Gulliksen	Invariants ofS4 and the shape of sets of vectors.	Appl. Algebra Eng. Commun. Comput.	1995	DBLP DOI BibTeX RDF	Invariants of finite groups, Shape of sets of vectors
31	Kalle Åström	Fundamental Limitations on Projective Invariants of Planar Curves.	IEEE Trans. Pattern Anal. Mach. Intell.	1995	DBLP DOI BibTeX RDF	Projective and affine invariants, recognition, Hausdorff metric
31	Kurt Lautenbach, Hanno Ridder	Liveness in Bounded Petri Nets Which Are Covered by T-Invariants.	Application and Theory of Petri Nets	1994	DBLP DOI BibTeX RDF	linear invariants, deadlocks, liveness
31	Bart M. ter Haar Romeny, Luc Florack, Jan J. Koenderink, Max A. Viergever	Scale-Space: Its Natural Operators and Differential Invariants.	IPMI	1991	DBLP DOI BibTeX RDF	Scale-space, gaussian kernel, gaussian derivatives, differential invariants
31	Tadao Murata, Boris Shenker, Sol M. Shatz	Detection of Ada Static Deadlocks Using Petri Net Invariants.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	Ada static deadlocks, Petri net invariants, Ada tasking programs, message-flow, computational complexity, complexities, Petri nets, Ada, concurrency control, program testing, system recovery, control-flow
31	Jean-Michel Couvreur, Javier Martínez	Linear invariants in commutative high level nets.	Applications and Theory of Petri Nets	1989	DBLP DOI BibTeX RDF	Linear invariants, flow computation, structural analysis methods, subclasses of Petri nets, colored nets
26	Hui Zhang 0062, Kwan-Yee Kenneth Wong	Self-Calibration of Turntable Sequences from Silhouettes.	IEEE Trans. Pattern Anal. Mach. Intell.	2009	DBLP DOI BibTeX RDF
26	Helmut E. Bez	The Invariant Functions of the Rational Bi-cubic Bézier Surfaces.	IMA Conference on the Mathematics of Surfaces	2009	DBLP DOI BibTeX RDF
26	Cecilia Di Ruberto, Andrea Morgera	Moment-Based Techniques for Image Retrieval.	DEXA Workshops	2008	DBLP DOI BibTeX RDF
26	Hui Zhang 0062, Ling Shao 0001, Kwan-Yee Kenneth Wong	Motion Recovery for Uncalibrated Turntable Sequences Using Silhouettes and a Single Point.	ACIVS	2008	DBLP DOI BibTeX RDF
26	Gang Xu, Yuqing Lei	A new image recognition algorithm based on skeleton.	IJCNN	2008	DBLP DOI BibTeX RDF
26	Vishnu C. Vimjam, Michael S. Hsiao	Explicit Safety Property Strengthening in SAT-based Induction.	VLSI Design	2007	DBLP DOI BibTeX RDF
26	Myla Archer	Can We Build an Automatic Program Verifier? Invariant Proofs and Other Challenges.	VSTTE	2005	DBLP DOI BibTeX RDF
26	Pew-Thian Yap, Paramesran Raveendran, Seng-Huat Ong	Image analysis by Krawtchouk moments.	IEEE Trans. Image Process.	2003	DBLP DOI BibTeX RDF
26	Tosiyasu L. Kunii	Algebraic Topological Modeling for Cyberworld Design.	CW	2003	DBLP DOI BibTeX RDF
26	Hongwei Xi	Facilitating Program Verification with Dependent Types.	SEFM	2003	DBLP DOI BibTeX RDF
26	Ana Georgina Flesia, David L. Donoho	Implications for Image Watermarking of Recent Work in Image Analysis and Representation.	IWDW	2002	DBLP DOI BibTeX RDF	Image Steganography, Natural Scene Statistics, Geometric Diffusion by Level Set Methods, Computational Harmonic Analysis, Wavelets, Interpolation, Discrete Cosine Transform, Inpainting, Image Watermarking, Total Variation
26	Peter J. Olver	Joint Invariant Signatures.	Found. Comput. Math.	2001	DBLP DOI BibTeX RDF	AMS Classification. 53A55, 35A30, 15A72, 58570, 58A20
26	Isaac Weiss, Manjit Ray	Model-Based Recognition of 3D Objects from Single Images.	IEEE Trans. Pattern Anal. Mach. Intell.	2001	DBLP DOI BibTeX RDF	Object recognition, invariance, model-based
26	Theo Gevers, Arnold W. M. Smeulders	PicToSeek: combining color and shape invariant features for image retrieval.	IEEE Trans. Image Process.	2000	DBLP DOI BibTeX RDF
26	Jamie Stark, Andrew Ireland	Invariant Discovery via Failed Proof Attempts.	LOPSTR	1998	DBLP DOI BibTeX RDF
26	Glenn Healey, David Slater	Computing illumination-invariant descriptors of spatially filtered color image regions.	IEEE Trans. Image Process.	1997	DBLP DOI BibTeX RDF
26	Charlie Rothwell, Julien P. Stern	Understanding the Shape Properties of Trihedral Polyhedra.	ECCV (1)	1996	DBLP DOI BibTeX RDF
26	Norihisa Suzuki, Kiyoshi Ishihata	Implementation of an Array Bound Checker.	POPL	1977	DBLP DOI BibTeX RDF
26	Andreas Podelski, Thomas Wies	Counterexample-guided focus.	POPL	2010	DBLP DOI BibTeX RDF	quantified invariants, data structures, shape analysis, predicate abstraction, abstraction refinement
26	Yanhong A. Liu, Michael Gorbovitski, Scott D. Stoller	A language and framework for invariant-driven transformations.	GPCE	2009	DBLP DOI BibTeX RDF	runtime invariant checking, program transformation, invariants, program optimization, incremental maintenance
26	Artur Boronat, José Meseguer 0001	Algebraic Semantics of OCL-Constrained Metamodel Specifications.	TOOLS (47)	2009	DBLP DOI BibTeX RDF	OCL invariants, MOF metamodel, static and dynamic analysis of models, Membership equational logic
26	Guofei Jiang, Haifeng Chen, Kenji Yoshihira	Profiling services for resource optimization and capacity planning in distributed systems.	Clust. Comput.	2008	DBLP DOI BibTeX RDF	System invariants, Distributed systems, Algorithms, System management, Capacity planning, Resource optimization
26	Mingxin Zhang, Zhaogan Lu, Junyi Shen	A Novel Hierarchical Block Image Retrieval Scheme Based Invariant Features.	Innovations in Hybrid Intelligent Systems	2008	DBLP DOI BibTeX RDF	normalized histogram, hierarchical image segmentation, image retrieval, geometric invariants
26	Madhu Gopinathan, Sriram K. Rajamani	Enforcing object protocols by combining static and runtime analysis.	OOPSLA	2008	DBLP DOI BibTeX RDF	aspect oriented programming, program verification, invariants
26	Bican Xia, Lu Yang, Naijun Zhan	Program Verification by Reduction to Semi-algebraic Systems Solving.	ISoLA	2008	DBLP DOI BibTeX RDF	Semi-Algebraic Systems, Program Verification, Invariants, Quantifier Elimination, Ranking Functions, Polynomial Programs
26	Matthew Kaplan 0003, Tim Klinger, Amit M. Paradkar, Avik Sinha, Clay Williams, Cemal Yilmaz 0001	Less is More: A Minimalistic Approach to UML Model-Based Conformance Test Generation.	ICST	2008	DBLP DOI BibTeX RDF	UML Model-based Test Generation, Use Case Based Test Generation, Test Verification Sequence, Fault Models for UML, Invariants analysis
26	Imad Muhi El-Ddin, Hedley Morris, Mohammad Eyadat	Watermarking: A New Approach.	ITNG	2008	DBLP DOI BibTeX RDF	SIFT algorithm, Watermarking, feature points, affine invariants, shape space
26	Torben Amtoft, Anindya Banerjee 0001	Verification condition generation for conditional information flow.	FMSE	2007	DBLP DOI BibTeX RDF	conditional information flow analysis, object invariants, verification condition generation
26	Mingxin Zhang, Zhaogan Lu, Junyi Shen	An Effective Content-Based Image Retrieval System by Hierachical Segmentation.	IDEAL	2007	DBLP DOI BibTeX RDF	normalized histogram, image retrieval, geometric invariants, hierarchical segmentation
26	Kuo-Hua Lo, Mau-Tsuen Yang, Rong-Yu Lin	Shadow Removal for Foreground Segmentation.	PSIVT	2006	DBLP DOI BibTeX RDF	shadow removal, penumbra, foreground segmentation, photometric invariants
26	Artur Boronat, Joaquín Oriente, Abel Gómez 0001, Isidro Ramos, José A. Carsí	An Algebraic Specification of Generic OCL Queries Within the Eclipse Modeling Framework.	ECMDA-FA	2006	DBLP DOI BibTeX RDF	OCL queries and invariants, MDA, metamodeling, algebraic specification
26	Matatyahu Rubin	On Lalpha, omega complete extensions of complete theories of Boolean algebras.	Arch. Math. Log.	2004	DBLP DOI BibTeX RDF	L1, Tarskis invariants
26	Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic	Secure protocol composition.	FMSE	2003	DBLP DOI BibTeX RDF	logic, security protocols, invariants, protocol composition
26	Tosiyasu L. Kunii	Cyber Graphics (Keynote).	CW	2002	DBLP DOI BibTeX RDF	adjunction spaces, cell attaching functions, a hierarchy of invariants, cellular spatial structures
26	Ragini Choudhury, J. B. Srivastava, Santanu Chaudhury	Reconstruction-Based Recognition of Scenes with Translationally Repeated Quadrics.	IEEE Trans. Pattern Anal. Mach. Intell.	2001	DBLP DOI BibTeX RDF	translationally repeated objects, reconstruction, recognition, 3D objects, projective invariants, quadrics
26	Serafino Cicerone, Daniele Frigioni, Paolino Di Felice	Decomposing Spatial Databases and Applications.	DEXA Workshops	2000	DBLP DOI BibTeX RDF	spatial database decomposition, boundary decomposition, polynomial time algorithm, visual databases, topological invariants
26	Florica Mindru, Theo Moons, Luc Van Gool	Recognizing Color Patterns Irrespective of Viewpoint and Illumination.	CVPR	1999	DBLP DOI BibTeX RDF	color pattern recognition, viewpoint and illumination independence, matching and indexing, moment invariants
26	Tosiyasu L. Kunii, Takao Maeda	On The Silhouette Cartoon Animation.	CA	1996	DBLP DOI BibTeX RDF	silhouette cartoon animation, human visual cognition, object movement, shape characteristics, dolphin, orientation independent invariants, convex portion, concave portions, user interfaces, computational geometry, computational geometry, human factors, graph, computer animation, computer animation, entertainment, visual perception, research, object identification, swimming, jumping
26	Michael Werman, Amnon Shashua	The Study of 3D-from-2D Using Elimination.	ICCV	1995	DBLP DOI BibTeX RDF	3D geometric invariants, multiple 2D views, invariant functions, trilinearity, Grobner base computation, elimination process, quadlinear tensor, minimal sets, distinct coefficients, N view geometry, 3D from 2D geometry, computational geometry, linear algebra, set theory, epipolar geometry, tensors, point correspondences, algebraic geometry
26	Kalle Åström	Affine and Projective Normalization of Planar Curves and Regions.	ECCV (2)	1994	DBLP DOI BibTeX RDF	projective and affine invariants, Recognition, planar curves
25	Humberto Sossa, Antonio Villasenor, Juan L. Olguin, Francisco A. Toscano	SISREC: A System for Image Retrieval.	ENC	2003	DBLP DOI BibTeX RDF	describing features, object recognition, Image retrieval, invariants, geometric invariants
25	Mourad Zerroug, Ramakant Nevatia	Three-Dimensional Descriptions Based on the Analysis of the Invariant and Quasi-Invariant Properties of Some Curved-Axis Generalized Cylinders.	IEEE Trans. Pattern Anal. Mach. Intell.	1996	DBLP DOI BibTeX RDF	quasi-invariants, segmentation, invariants, grouping, Shape description, generalized cylinders
24	Alexander Heußner, Tristan Le Gall, Grégoire Sutre	Extrapolation-Based Path Invariants for Abstraction Refinement of Fifo Systems.	SPIN	2009	DBLP DOI BibTeX RDF
24	Tom Schrijvers, Louis-Julien Guillemette, Stefan Monnier	Type invariants for Haskell.	PLPV	2009	DBLP DOI BibTeX RDF	type families, type functions, haskell, type checking
24	Jeongoo Cheh, Peter J. Olver, Juha Pohjanpelto	Algorithms for Differential Invariants of Symmetry Groups of Differential Equations.	Found. Comput. Math.	2008	DBLP DOI BibTeX RDF
24	Matías L. del Hoyo, Elias Gabriel Minian	Classical Invariants for Global Actions and Groupoid Atlases.	Appl. Categorical Struct.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 19D99, 20L05, 18G55, 55U35
24	Yoshihisa Shinagawa	Homotopic Image Pseudo-Invariants for Openset Object Recognition and Image Retrieval.	IEEE Trans. Pattern Anal. Mach. Intell.	2008	DBLP DOI BibTeX RDF
24	Telmo Amaral, Stephen J. McKenna, Katherine Robertson, Alastair M. Thompson	Classification of breast-tissue microarray spots using colour and local invariants.	ISBI	2008	DBLP DOI BibTeX RDF
24	Ashish Tiwari 0001	Generating Box Invariants.	HSCC	2008	DBLP DOI BibTeX RDF
24	Nawaf I. Almoosa, Soo Hyun Bae, Biing-Hwang Juang	Toward robust moment invariants for image registration.	ICASSP	2008	DBLP DOI BibTeX RDF
24	Li Chen 0002, Yongwu Rong	Linear time recognition algorithms for topological invariants in 3D.	ICPR	2008	DBLP DOI BibTeX RDF
24	Tomás Suk, Jan Flusser	Affine moment invariants generated by automated solution of the equations.	ICPR	2008	DBLP DOI BibTeX RDF
24	Xavier Litrico, Vincent Fromion	A link between Riemann invariants and frequency domain approaches for boundary control of open channel flow.	CDC	2008	DBLP DOI BibTeX RDF
24	Dong Xu 0008, Ping Hu, Weiguo Cao, Hua Li 0009	SHREC'08 entry: 3D face recognition using moment invariants.	Shape Modeling International	2008	DBLP DOI BibTeX RDF
24	Saad Ali, Arslan Basharat, Mubarak Shah	Chaotic Invariants for Human Action Recognition.	ICCV	2007	DBLP DOI BibTeX RDF
24	Michèle Gouiffès	Tracking by Combining Photometric Normalization and Color Invariants According to their Relevance.	ICIP (6)	2007	DBLP DOI BibTeX RDF
24	Gianfranco Ciardo, Gerald Lüttgen, Andy Jinqing Yu	Improving Static Variable Orders Via Invariants.	ICATPN	2007	DBLP DOI BibTeX RDF
24	Jörg Bauer 0001, Tobe Toben, Bernd Westphal	Mind the Shapes: Abstraction Refinement Via Topology Invariants.	ATVA	2007	DBLP DOI BibTeX RDF
24	Esa Rahtu, Mikko Salo, Janne Heikkilä	Nonlinear Functionals in the Construction of Multiscale Affine Invariants.	SCIA	2007	DBLP DOI BibTeX RDF
24	Julia Chifman, Sonja Petrovic	Toric Ideals of Phylogenetic Invariants for the General Group-Based Model on Claw Trees K 1, n .	AB	2007	DBLP DOI BibTeX RDF
24	Sigmund Cherem, Radu Rugina	Maintaining Doubly-Linked List Invariants in Shape Analysis with Local Reasoning.	VMCAI	2007	DBLP DOI BibTeX RDF
24	Jan Flusser, Jaroslav Kautsky, Filip Sroubek	Object Recognition by Implicit Invariants.	CAIP	2007	DBLP DOI BibTeX RDF
24	Lee-Yeng Ong, Chee-Way Chong, Rosli Besar	Scale Invariants of Three-Dimensional Legendre Moments.	ICPR (3)	2006	DBLP DOI BibTeX RDF
24	Olga Grinchtein, Martin Leucker, Nir Piterman	Inferring Network Invariants Automatically.	IJCAR	2006	DBLP DOI BibTeX RDF
24	Alaa Halawani, Hashem Tamimi	Retrieving Objects Using Local Integral Invariants.	CIVR	2006	DBLP DOI BibTeX RDF
24	Peter Niebert, Hongyang Qu 0001	Adding Invariants to Event Zone Automata.	FORMATS	2006	DBLP DOI BibTeX RDF
24	Shan Lu 0001, Joseph A. Tucek, Feng Qin, Yuanyuan Zhou 0001	AVIO: detecting atomicity violations via access interleaving invariants.	ASPLOS	2006	DBLP DOI BibTeX RDF	concurrent program, hardware support, concurrency bug, bug detection, program invariant, atomicity violation
24	Alaa Halawani, Hashem Tamimi, Hans Burkhardt, Andreas Zell	Using Local Integral Invariants for Object Recognition in Complex Scenes.	ICIAR (2)	2006	DBLP DOI BibTeX RDF
24	Xiao Bai 0001, Edwin R. Hancock	Clustering shapes using heat content invariants.	ICIP (1)	2005	DBLP DOI BibTeX RDF