Search results for "Invariant"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Jeffrey A. Fessler, W. Leslie Rogers	Spatial resolution properties of penalized-likelihood image reconstruction: space-invariant tomographs.	IEEE Trans. Image Process.	1996	DBLP DOI BibTeX RDF
12	Wen-Rong Wu, Shieh-Chung Wei	Rotation and gray-scale transform-invariant texture classification using spiral resampling, subband decomposition, and hidden Markov model .	IEEE Trans. Image Process.	1996	DBLP DOI BibTeX RDF
12	Ioannis Andreadis, Philippos Tsalides	Coloured object recognition using invariant spectral features.	J. Intell. Robotic Syst.	1995	DBLP DOI BibTeX RDF	pattern recognition, filters, mathematical morphology, Colour
12	Michael Werman, Daphna Weinshall	Similarity and Affine Invariant Distances Between 2D Point Sets.	IEEE Trans. Pattern Anal. Mach. Intell.	1995	DBLP DOI BibTeX RDF	2D affine invariance, 2D similarity invariance, Image matching, pattern analysis, image metric
12	Fernand S. Cohen, Zhaohui Huang, Zhengwei Yang	Invariant matching and identification of curves using B-splines curve representation.	IEEE Trans. Image Process.	1995	DBLP DOI BibTeX RDF
12	G. A. Watson	The solution of orthogonal Procrustes problems for a family of orthogonally invariant norms.	Adv. Comput. Math.	1994	DBLP DOI BibTeX RDF	AMS(MOS) subject classification 65F30
12	Guillermo Sapiro, Allen R. Tannenbaum	Area and Lenght Preserving Geometric Invariant Scale-Spaces.	ECCV (2)	1994	DBLP DOI BibTeX RDF
12	Gonzalo Joya Caparrós, Francisco Sandoval Hernández	Projectivity Invariant Pattern Recognition with High-Order Neural Networks.	IWANN	1993	DBLP DOI BibTeX RDF
12	Gilles Lachaud	Exponential Sums as Discrete Fourier Transform with Invariant Phase Functions.	AAECC	1993	DBLP DOI BibTeX RDF
12	Shafi Goldwasser, Rafail Ostrovsky	Invariant Signatures and Non-Interactive Zero-Knowledge Proofs are Equivalent (Extended Abstract).	CRYPTO	1992	DBLP DOI BibTeX RDF
12	Kie-Bum Eom, Juha Park	Shape recognition by a scale-invariant model.	J. Syst. Integr.	1991	DBLP DOI BibTeX RDF	circular autoregressive model, shape recognition, maximum likelihood method
12	Wolfgang Pölzleitner, Harry Wechsler	Selective and Focused Invariant Recognition Using Distributed Associative Memories (DAM).	IEEE Trans. Pattern Anal. Mach. Intell.	1990	DBLP DOI BibTeX RDF	2-D object recognition, Moore-Penrose distributed associative memory, association weights, computerised pattern recognition, computerised pattern recognition, selectivity, regression analysis, content addressable storage, content-addressable storage
12	Stan Z. Li	Invariant surface segmentation through energy minimization with discontinuities.	Int. J. Comput. Vis.	1990	DBLP DOI BibTeX RDF	surface curvature, segmentation, regularization, invariance, energy minimization, range images, differential geometry, discontinuities, symbolic descriptions
12	Pascale Charpin	A Minimum System of Generators for Extended Cyclic Codes which are Invariant under the Affine Group.	AAECC	1985	DBLP DOI BibTeX RDF
12	Manfred Broy, Bernd Krieg-Brückner	Derivation of Invariant Assertions During Program Development by Transformation.	ACM Trans. Program. Lang. Syst.	1980	DBLP DOI BibTeX RDF
12	M. R. Scott, Lawrence F. Shampine, G. Milton Wing	Invariant imbedding and the calculation of eigenvalues for Sturm-Liouville systems.	Computing	1969	DBLP DOI BibTeX RDF
11	Dimitris Arabadjis, Panayiotis Rousopoulos, Constantin Papaodysseus, Mihalis Exarhos, Michail Panagopoulos, Lena Papazoglou-Manioudaki	Optimization in Differentiable Manifolds in Order to Determine the Method of Construction of Prehistoric Wall Paintings.	IEEE Trans. Pattern Anal. Mach. Intell.	2011	DBLP DOI BibTeX RDF	Rotation and translation invariant curve fitting, pattern recognition in paintings, optimization in differentiable manifolds, geometric guides in prehistoric wall paintings, minimal parameters set for curve description, fitting prototype curves to drawn borders
11	Arati Baliga, Vinod Ganapathy, Liviu Iftode	Detecting Kernel-Level Rootkits Using Data Structure Invariants.	IEEE Trans. Dependable Secur. Comput.	2011	DBLP DOI BibTeX RDF	Kernel-level rootkits, noncontrol data attacks, invariant inference, static and dynamic program analysis
11	Hui Kong 0004, Hehua Zhang, Xiaoyu Song, Ming Gu 0001, Jiaguang Sun 0001	Proving Computational Geometry Algorithms in TLA+2.	TASE	2011	DBLP DOI BibTeX RDF	algorithm verification, TLA+2, geometry algorithm, theorem proving, loop invariant
11	Dimitris Arabadjis, Panayiotis Rousopoulos, Constantin Papaodysseus, Mihalis Panagopoulos, Panayiota Loumou, Georgios Theodoropoulos 0002	A General Methodology for the Determination of 2D Bodies Elastic Deformation Invariants: Application to the Automatic Identification of Parasites.	IEEE Trans. Pattern Anal. Mach. Intell.	2010	DBLP DOI BibTeX RDF	Deformation invariant elastic properties, automatic curve classification, parasite automatic identification, straightening deformed objects, pattern classification techniques, image analysis, elastic deformation
11	Hilla Ben-Yaacov, David Malah, Meir Barzohar	Recognition of 3D Objects Based on Implicit Polynomials.	IEEE Trans. Pattern Anal. Mach. Intell.	2010	DBLP DOI BibTeX RDF	tensor contraction, 3D object fitting, rotation-invariant, 3D object recognition, Implicit polynomials
11	Masakatsu Ohta	Non-negative Matrix Factorization for Inferring Implicit Preference of Potential Customer.	CIT	2010	DBLP DOI BibTeX RDF	implicit preference, mere exposure effect, adaptive gain control, sparseness, Non-negative Matrix Factorization, scale-invariant feature transform
11	Antti Siirtola	Cut-Offs with Network Invariants.	ACSD	2010	DBLP DOI BibTeX RDF	parameterised verification, cut-off, formal verification, refinement, process algebra, induction, network invariant
11	Waldemar Villamayor-Venialbo, Horacio Andrés Legal-Ayala, Edson J. R. Justino, Jacques Facon	Partial Matching Using Set Exclusion Criteria: Applied to Livestock Brand Retrieval.	SIBGRAPI	2010	DBLP DOI BibTeX RDF	set exclusion criteria, exclusion measure function, livestock brands, handwritten symbols, pattern recognition, image retrieval, partial matching, invariant features
11	Raúl A. Santelices, Mary Jean Harrold	Exploiting program dependencies for scalable multiple-path symbolic execution.	ISSTA	2010	DBLP DOI BibTeX RDF	invariant detection, modular analysis, path family, test suite augmentation, verification, program analysis, test generation, data dependence, symbolic execution, control dependence, change analysis, path sensitive analysis, path condition
11	Hsiang-Chuan Liu	Type 2 Generalized Intuitionistic Fuzzy Choquet Integral Operator for Multi-criteria Decision Making.	ISPA	2010	DBLP DOI BibTeX RDF	Intuitionistic fuzzy numbers, generalized intuitionistic fuzzy numbers, linear aggregation operator, operation-invariant, partial order
11	Yuan-Kai Wang, Ching-Tang Fan	Moving Object Detection for Night Surveillance.	IIH-MSP	2010	DBLP DOI BibTeX RDF	night surveillance, background subtraction, visual surveillance, illumination-invariant, illumination compensation
11	Huawei Tian, Yao Zhao 0001, Rongrong Ni, Jeng-Shyang Pan 0001	Spread Spectrum-Based Image Watermarking Resistant to Rotation and Scaling Using Radon Transform.	IIH-MSP	2010	DBLP DOI BibTeX RDF	robust waterarking, rotation and scale invariant, code division multiple access, Radon transform, spread spectrum, geometric attacks
11	Kenji Ohmori, Tosiyasu L. Kunii	A Formal Methodology for Developing Enterprise Systems Procedurally: Homotopy, Pi-Calculus and Event-Driven Programs.	CW	2010	DBLP DOI BibTeX RDF	Invariant Preserving, Multi Threads, Event Driven, Homotopy, Pi-calculus, Abstraction Hierarchy
11	Alexander Miller, Victor Reiner	Differential Posets and Smith Normal Forms.	Order	2009	DBLP DOI BibTeX RDF	Invariant factors, Differential poset, Dual graded graphs, Smith normal form
11	M'hammed El Kahoui, Adamou Otto	Stability of Disease Free Equilibria in Epidemiological Models.	Math. Comput. Sci.	2009	DBLP DOI BibTeX RDF	stability of equilibria, invariant set, basic reproduction number, Gröbner basis, Routh-Hurwitz criterion, M-matrices, Epidemiological models
11	Richard Ehrenborg, Margaret A. Readdy, Michael Slone	Affine and Toric Hyperplane Arrangements.	Discret. Comput. Geom.	2009	DBLP DOI BibTeX RDF	The cd-index, The complex of unbounded regions, Flag enumeration, The toric Zaslavsky invariant, The n-dimensional torus, Manifolds
11	Alexander M. Bronstein, Michael M. Bronstein, Alfred M. Bruckstein, Ron Kimmel	Partial Similarity of Objects, or How to Compare a Centaur to a Horse.	Int. J. Comput. Vis.	2009	DBLP DOI BibTeX RDF	Partial similarity, Non-rigid shapes, Gromov-Hausdorff distance, Metric geometry, Deformation-invariant similarity, Multicriterion optimization, Edit distance, Pareto optimality, Correspondence, Shape similarity, Levenshtein distance
11	Jing Liu 0007, Gang Liu 0006, Jiulong Zhang	Robust Image Watermarking Based on SIFT Feature and Optimal Triangulation.	IFITA (3)	2009	DBLP DOI BibTeX RDF	optimal triangulation, dynamic programming, convex hull, scale invariant feature transform
11	Sam S. Tsai, David M. Chen, Gabriel Takacs, Vijay Chandrasekhar 0001, Jatinder Pal Singh, Bernd Girod	Location coding for mobile image retrieval.	MobiMedia	2009	DBLP DOI BibTeX RDF	scalable vocabulary tree, scale-invariant feature, content-based image retrieval, mobile augmented reality
11	Guofei Jiang, Haifeng Chen, Kenji Yoshihira, Akhilesh Saxena	Ranking the importance of alerts for problem determination in large computer systems.	ICAC	2009	DBLP DOI BibTeX RDF	alert ranking, invariant network, fault model, peer review, fault management, rule management
11	Tong-jun He, Zhengping Shi	A Stochastic Complex Dynamical Network and Its Synchronization.	ISNN (1)	2009	DBLP DOI BibTeX RDF	Stochastic dynamical network, Time invariant, Synchronization, Time varying
11	Ji-Wei Wen, Fei Liu 0001	Robust Model Predictive Control for Fuzzy Systems Subject to Actuator Saturation.	FSKD (6)	2009	DBLP DOI BibTeX RDF	actuator saturation, invariant ellipsoid, domain of attraction, model predictive control, T-S fuzzy model, semi-definite programming
11	Xu Liu 0003, David S. Doermann	Mobile Retriever: access to digital documents from their physical source.	Int. J. Document Anal. Recognit.	2008	DBLP DOI BibTeX RDF	View point invariant features, Document retrieval, Camera phone
11	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
11	Peter Carbonetto, Gyuri Dorkó, Cordelia Schmid, Hendrik Kück, Nando de Freitas	Learning to Recognize Objects with Little Supervision.	Int. J. Comput. Vis.	2008	DBLP DOI BibTeX RDF	Scale-invariant keypoints, Object recognition, Markov Chain Monte Carlo, Bayesian analysis, Data association, Weakly supervised learning
11	Yihong Wu 0002, Youfu Li, Zhanyi Hu	Detecting and Handling Unreliable Points for Camera Parameter Estimation.	Int. J. Comput. Vis.	2008	DBLP DOI BibTeX RDF	Bracket algebra, Invariant, Camera calibration
11	Dror Aiger, Niloy J. Mitra, Daniel Cohen-Or	4-points congruent sets for robust pairwise surface registration.	ACM Trans. Graph.	2008	DBLP DOI BibTeX RDF	affine invariant ratio, largest common pointset (LCP) measure, pairwise surface registration, partial shape matching, scan alignment, computational geometry
11	Basil Becker, Holger Giese	On Safe Service-Oriented Real-Time Coordination for Autonomous Vehicles.	ISORC	2008	DBLP DOI BibTeX RDF	real-time coordination, verification, invariant, graph transformations, service-oriented, autonomous vehicles, structural adaptation
11	Kazuhiro Ogata 0001, Kokichi Futatsugi	Formal Analysis of the Bakery Protocol with Consideration of Nonatomic Reads and Writes.	ICFEM	2008	DBLP DOI BibTeX RDF	observational transition system (OTS), verification, mutual exclusion, invariant property, CafeOBJ
11	Sam S. Tsai, David M. Chen, Jatinder Pal Singh, Bernd Girod	Rate-efficient, real-time cd cover recognition on a camera-phone.	ACM Multimedia	2008	DBLP DOI BibTeX RDF	scalable vocabulary tree, scale-invariant feature, content-based image retrieval, mobile augmented reality
11	Nicolas Halbwachs, Mathias Péron	Discovering properties about arrays in simple programs.	PLDI	2008	DBLP DOI BibTeX RDF	sentinel, invariant synthesis, abstract interpretation, program verification, arrays, sorting algorithms
11	Lina Nemuraite, Lina Ceponiene, Gediminas Vedrickas	Representation of Business Rules in UML&OCL Models for Developing Information Systems.	PoEM	2008	DBLP DOI BibTeX RDF	UML, constraint, invariant, event, OCL, Business rule, action, stereotype, condition
11	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
11	Basil Becker, Holger Giese	Modeling of correct self-adaptive systems: a graph transformation system based approach.	CSTST	2008	DBLP DOI BibTeX RDF	invariant checking, modeling, correctness, graph transformations, self-adaptive systems
11	Ion Necoara, Bart De Schutter, Ton J. J. van den Boom, Hans Hellendoorn	Stable Model Predictive Control for Constrained Max-Plus-Linear Systems.	Discret. Event Dyn. Syst.	2007	DBLP DOI BibTeX RDF	Max-plus-linear systems, Input-state constraints, Positively invariant sets, Stability, Discrete-event systems, Model predictive control
11	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
11	Emmanuel Briand	Equations, inequations and inequalities characterizing the configurations of two real projective conics.	Appl. Algebra Eng. Commun. Comput.	2007	DBLP DOI BibTeX RDF	Arrangements of conics, Rigid isotopy, Relative position of two conics, Classical invariant theory
11	Nicolas Beldiceanu, Mats Carlsson, Sophie Demassey, Thierry Petit	Global Constraint Catalogue: Past, Present and Future.	Constraints An Int. J.	2007	DBLP DOI BibTeX RDF	Graph invariant, Graph, Meta-data, Bound, Global constraint, Catalogue
11	Jianguo Zhang 0001, Marcin Marszalek, Svetlana Lazebnik, Cordelia Schmid	Local Features and Kernels for Classification of Texture and Object Categories: A Comprehensive Study.	Int. J. Comput. Vis.	2007	DBLP DOI BibTeX RDF	scale- and affine-invariant keypoints, support vector machines, object recognition, image classification, kernel methods, texture recognition
11	Minakshi Banerjee, Malay K. Kundu	Image Retrieval Using Fuzzy Relevance Feedback and Validation with MPEG-7 Content Descriptors.	PReMI	2007	DBLP DOI BibTeX RDF	fuzzy feature evaluation index, MPEG-7 feature descriptors, Content-Based image retrieval, invariant moments
11	Bozhan Zhechev	Null spaces and Haar transform.	CompSysTech	2007	DBLP DOI BibTeX RDF	cyclic endomorphisms and orthogonal bases, haar transform, linear time invariant systems, wavelets, compression, signal processing, filter banks, projectors, null spaces, dihedral group
11	Bolei Guo, Neil Vachharajani, David I. August	Shape analysis with inductive recursion synthesis.	PLDI	2007	DBLP DOI BibTeX RDF	inductive recursion synthesis, loop invariant inference, artificial intelligence, shape analysis, separation logic
11	Hassen Saïdi	Guarded models for intrusion detection.	PLAS	2007	DBLP DOI BibTeX RDF	intrusion detection, static analysis, dynamic analysis, invariant generation
11	Beiji Zou, Yi Yao, Ling Zhang	A New Algorithm for Trademark Image Retrieval Based on Sub-block of Polar Coordinates.	ICEC	2007	DBLP DOI BibTeX RDF	trademark retrieval, sub-block image, mirror invariant performance
11	Gary T. Leavens	Tutorial on JML, the java modeling language.	ASE	2007	DBLP DOI BibTeX RDF	java modeling language (JML), model field, specification inheritance, verification, specification, tool, invariant, information hiding, assertion, design by contract, extended static checking, behavioral subtype, runtime assertion checking
11	Ulrich Steinhoff, Dusan Omercevic, Roland Perko, Bernt Schiele, Ales Leonardis	How Computer Vision Can Help in Outdoor Positioning.	AmI	2007	DBLP DOI BibTeX RDF	computer vision based positioning, local invariant features, sensor fusion for outdoor localization
11	Dong-Woei Lin, Shih-Hsuan Yang	Wavelet-Based Salient Region Extraction.	PCM	2007	DBLP DOI BibTeX RDF	Invariant image features, salient region extraction, wavelet transform, image understanding
11	Chandan Kumar Behera, Pawan Kumar	An improved algorithm for loop dead optimization.	ACM SIGPLAN Notices	2006	DBLP DOI BibTeX RDF	loop invariant computations, loop optimization, compiler design
11	Daniel Kressner	Block algorithms for reordering standard and generalized schur forms.	ACM Trans. Math. Softw.	2006	DBLP DOI BibTeX RDF	Schur form, deflating subspace, invariant subspace, reordering
11	Michail Vlachos, Philip S. Yu, Vittorio Castelli, Christopher Meek	Structural Periodic Measures for Time-Series Data.	Data Min. Knowl. Discov.	2006	DBLP DOI BibTeX RDF	periodicity estimation, periodogram, phase-invariant matching, metric index, autocorrelation
11	Viktor Kuncak, Patrick Lam 0001, Karen Zee, Martin C. Rinard	Modular Pluggable Analyses for Data Structure Consistency.	IEEE Trans. Software Eng.	2006	DBLP DOI BibTeX RDF	formal methods, data structure, program analysis, program verification, invariant, shape analysis, Typestate, programming language design
11	Michael E. Caspersen, Michael Kölling	A novice's process of object-oriented programming.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	programming process, representation invariant, UML, testing, pedagogy, refactoring, CS1, design by contract, objects-first, incremental development, programming education, stepwise refinement, top-down design, systematic programming
11	Isabelle Dony, Baudouin Le Charlier	A tool for helping teach a programming method.	ITiCSE	2006	DBLP DOI BibTeX RDF	formal specification, program verification, invariant, program construction, programming course, programming errors
11	Atul Singh, Petros Maniatis, Timothy Roscoe, Peter Druschel	Using queries for distributed monitoring and forensics.	EuroSys	2006	DBLP DOI BibTeX RDF	declarative overlays, invariant checking, distributed debugging, distributed monitoring
11	Chandan Kumar Behera, Pawan Kumar	An improved algorithm for loop dead optimization.	ACM SIGPLAN Notices	2005	DBLP DOI BibTeX RDF	loop invariant computations, loop optimization, compiler design
11	Wim H. Hesselink	Eternity variables to prove simulation of specifications.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	History variables, preservation of quiescence, prophecy variables, simulation, implementation, invariant, refinement mapping
11	Martin Gogolla, Jörn Bohling, Mark Richters	Validating UML and OCL models in USE by automatic snapshot generation.	Softw. Syst. Model.	2005	DBLP DOI BibTeX RDF	models, UML, Invariant, Reasoning, OCL, Test case, Class diagram, Model validation, Snapshot, Pre- and postcondition, Model testing
11	Christophe Damas, Bernard Lambeau, Pierre Dupont, Axel van Lamsweerde	Generating Annotated Behavior Models from End-User Scenarios.	IEEE Trans. Software Eng.	2005	DBLP DOI BibTeX RDF	Scenario-based elicitation, synthesis of behavior models, incremental learning, labeled transition systems, model validation, message sequence charts, analysis tools, scenario generation, invariant generation
11	Krystian Mikolajczyk, Tinne Tuytelaars, Cordelia Schmid, Andrew Zisserman, Jiri Matas, Frederik Schaffalitzky, Timor Kadir, Luc Van Gool	A Comparison of Affine Region Detectors.	Int. J. Comput. Vis.	2005	DBLP DOI BibTeX RDF	affine region detectors, invariant image description, performance evaluation, local features
11	Zong Min Wu, Jian Ping Liu	Generalized Strang-Fix condition for scattered data quasi-interpolation.	Adv. Comput. Math.	2005	DBLP DOI BibTeX RDF	quasi-interpolation, Strang-Fix condition, radial basis interpolation, scattered data approximation, shift-invariant space
11	Dierk Johannes, Raimund Seidel, Reinhard Wilhelm	Algorithm animation using shape analysis: visualising abstract executions.	SOFTVIS	2005	DBLP DOI BibTeX RDF	abstract execution, tree, invariant, visualisation, shape analysis, algorithm animation
11	Jun Sun 0002, Wanghong Yuan, Mahesh Kallahalla, Nayeem Islam	HAIL: a language for easy and correct device access.	EMSOFT	2005	DBLP DOI BibTeX RDF	invariant specification and verification, register access, embedded systems, system-on-chip, software reuse, domain-specific languages, automatic code generation, device drivers
11	Lu Yang, Zhenbing Zeng	An open problem on metric invariants of tetrahedra.	ISSAC	2005	DBLP DOI BibTeX RDF	manifold solution, metric invariant, tetrahedron, distance geometry
11	Toh Ne Win, Michael D. Ernst, Stephen J. Garland, Dilsun Kirli Kaynar, Nancy A. Lynch	Using simulated execution in verifying distributed algorithms.	Int. J. Softw. Tools Technol. Transf.	2004	DBLP DOI BibTeX RDF	Invariant detection, Static analysis, Theorem proving, Dynamic analysis
11	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
11	Wim H. Hesselink	An assertional proof for a construction of an atomic variable.	Formal Aspects Comput.	2004	DBLP DOI BibTeX RDF	Invariant, Atomicity, Wait-free, Safeness
11	Shai Dekel, Dany Leviatan	On Measuring the Efficiency of Kernel Operators in Lp(Rd).	Adv. Comput. Math.	2004	DBLP DOI BibTeX RDF	quasi-interpolation, kernel operators, approximation order, shift-invariant spaces
11	Hari Rangarajan, J. J. Garcia-Luna-Aceves	Using labeled paths for loop-free on-demand routing in ad hoc networks.	MobiHoc	2004	DBLP DOI BibTeX RDF	path information, routing invariant, routing, ad hoc network, loop-free
11	Hong Oh Kim, Rae Young Kim, Jae Kun Lim	Quasi-Biorthogonal Frame Multiresolution Analyses and Wavelets.	Adv. Comput. Math.	2003	DBLP DOI BibTeX RDF	wavelets, frames, multiresolution analysis, shift-invariant spaces
11	J. J. Garcia-Luna-Aceves, Marc Mosko, Charles E. Perkins	A new approach to on-demand loop-free routing in ad hoc networks.	PODC	2003	DBLP DOI BibTeX RDF	distance invariant, routing, ad hoc network, loop-free
11	Boris A. Romov	Partial Hyperclones on a Finite Set.	ISMVL	2002	DBLP DOI BibTeX RDF	partial hyperoperation, partial hyperclone, restriction of hyperoperation, invariant relation
11	Victor Y. Pan, Xinmao Wang	Acceleration of Euclidean algorithm and extensions.	ISSAC	2002	DBLP DOI BibTeX RDF	p-adic lifting, Smith invariant factors, Toeplitz and Hankel matrices, bit operation complexity, rational number reconstruction, randomized algorithms, linear system of equations, extended euclidean algorithm
11	Irina A. Kogan, Marc Moreno Maza	Computation of canonical forms for ternary cubics.	ISSAC	2002	DBLP DOI BibTeX RDF	classical invariant theory, method of moving frames, systems of algebraic equations, ternary cubics, elliptic curves, triangular decompositions
11	Kenneth P. Bogart, Joshua D. Laison, Garth Isaak, Ann N. Trenk	Comparability Invariance Results for Tolerance Orders.	Order	2001	DBLP DOI BibTeX RDF	comparability invariant, tolerance order, interval orders, ordered sets
11	Manfred Göbel	Visualizing Properties of Comprehensive SAGBI Bases - Two Examples.	Appl. Algebra Eng. Commun. Comput.	2001	DBLP DOI BibTeX RDF	Algorithmic invariant theory, Comprehensive SAGBI bases, Alternating and symmetric groups, Conjugation
11	Graham E. Deacon	An Attempt to Raise the Level of Software Abstraction in Assembly Robotics through an Apposite Choice of Underlying Mechatronics.	J. Intell. Robotic Syst.	2000	DBLP DOI BibTeX RDF	accommodating control, contact configurations, object sliding, task-invariant assembly strategies, programming abstraction, direct-drive robot
11	Lynne Baur	Cardinal Functions on Initial Chain Algebras on Pseudotrees.	Order	2000	DBLP DOI BibTeX RDF	cardinal function, cardinal invariant, initial chain algebra, interval algebra
11	Peter Benner, Maribel Castillo, Enrique S. Quintana-Ortí, Vicente Hernández	Parallel Partial Stabilizing Algorithms for Large Linear Control Systems.	J. Supercomput.	2000	DBLP DOI BibTeX RDF	Linear control systems, stabilizing algorithms, Lyapunov matrix equations, invariant subspaces, mathematical software, Newton iteration, matrix sign function
11	Meera Sitharam, Timothy Straney	Sampling Boolean Functions over Abelian Groups and Applications.	Appl. Algebra Eng. Commun. Comput.	2000	DBLP DOI BibTeX RDF	Invariant factor decomposition, Data compression, Boolean functions, Pseudorandom generators, VC-dimension, Computational learning theory, Diophantine equations, Linearity testing, Abelian groups
11	Yonit Kesten, Amir Pnueli	Control and Data Abstraction: The Cornerstones of Practical Formal Verification.	Int. J. Softw. Tools Technol. Transf.	2000	DBLP DOI BibTeX RDF	Control abstraction, Safety and liveness property, Weak and strong fairness, Model checking, Formal verification, Data abstraction, Linear temporal logic, Network invariant
11	Pei-hsiu Suen, Glenn Healey	The Analysis and Recognition of Real-World Textures in Three Dimensions.	IEEE Trans. Pattern Anal. Mach. Intell.	2000	DBLP DOI BibTeX RDF	bidirectional reflectance distribution function (BRDF), bidirectional texture function (BTF), classification, computer vision, texture, recognition, color, invariant, 3D texture
11	Sébastien Adam, Jean-Marc Ogier, Claude Cariou, Rémy Mullot, Jacques Labiche, Joël Gardes	Symbol and character recognition: application to engineering drawings.	Int. J. Document Anal. Recognit.	2000	DBLP DOI BibTeX RDF	Character and symbol recognition, Feature extraction and classification, Engineering drawing, Invariant moments
11	David Ginat	Colorful examples for elaborating exploration of regularities in high-school CS1.	ITiCSE	2000	DBLP DOI BibTeX RDF	high-school CS1, problem analysis, regularities, invariant properties
11	Nassir Navab, Benedicte Bascle, Michael H. Loser, Bernhard Geiger, Russell H. Taylor	Visual Servoing for Automatic and Uncalibrated Needle Placement for Percutaneous Procedures.	CVPR	2000	DBLP DOI BibTeX RDF	perspective invariant, percutaneous procedures, needle placement, projective geometry, visual servoing, cross-ratios