Search results for "Invariant"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Takio Kurita, Yasuo Kobayashi, Taketoshi Mishima	Higher order local autocorrelation features of PARCOR images for gesture recognition.	ICIP (3)	1997	DBLP DOI BibTeX RDF	PARCOR images, higher order local autocorrelation, pixel values, PARCOR coefficients, shift-invariant features, performance evaluation, feature extraction, image sequence, image recognition, gesture recognition, experimental results, linear discriminant analysis, linear prediction coding, AR models
16	Uma S. Ranjan, M. Satyaranjan	A Stochastic Dynamical System for Image Segmentation.	ICIP (2)	1997	DBLP DOI BibTeX RDF	stochastic dynamical system, invariant distribution, multiple seed points, time-homogeneous Markov chains, clean images, image segmentation, image segmentation, simulated annealing, noisy images, region segmentation
16	Georg Lambert, Franziska Bock	Wavelet methods for texture defect detection.	ICIP (3)	1997	DBLP DOI BibTeX RDF	multiscale wavelet methods, texture defect detection, wavelet bases, texture defects localisation, multiscale wavelet representations, fast dyadic wavelet transform, translation invariant a trous algorithm, feature extraction, image texture, computational costs, defect classification, decomposition algorithms, image texture analysis
16	Xinan Tang, Rakesh Ghiya, Laurie J. Hendren, Guang R. Gao	Heap Analysis and Optimizations for Threaded Programs.	IEEE PACT	1997	DBLP DOI BibTeX RDF	threaded programs, traditional compiler optimizations, loop invariant removal, common sub-expression elimination, dynamically allocated data structures, heap pointer analyses, dependence testing, high quality code generation, EARTH-C compiler, generated multithreaded code, dynamic measurements, performance tradeoffs, optimizations, parallel programming, optimizing compilers, multithreaded architectures, multithreaded programs, heap analysis
16	Gurmeet Singh Manku, Pankaj Jain, Amit Aggarwal, Lalit Kumar, Subhashis Banerjee	Object tracking using affine structure for point correspondences.	CVPR	1997	DBLP DOI BibTeX RDF	object tracking algorithm, correlation tracker, individual corner disappearance, individual corner reappearance, performance, image sequence, Kalman filter, image matching, occlusion, motion analysis, point correspondences, experimental analysis, viewpoint invariant, affine structure
16	Jezekiel Ben-Arie, Dibyendu Nandy	Representation Of Objects In A Volumetric Frequency Domain With Application To Face Recognition.	CVPR	1997	DBLP DOI BibTeX RDF	Shape/Object Representation, Pose Invariant Face Recognition, Volumetric/Iconic Spectral Signature, Pose Estimation
16	Claudia I. Horta, José A. Lima	Slicing and non-slicing, unified and rotation independent, algebraic representation of floorplans.	EUROMICRO	1997	DBLP DOI BibTeX RDF	floorplan area optimization problem, rectangle envelope, nonoverlapping basic rectangles, floorplan topology, formal algebraic specification, SETS notation, VLSI physical design layout, module dimensions, arbitrarily complex composite floorplans, rotation-invariant single-expression formalism, generalized wheels floorplans, slicing representation, nonslicing representation, unified representation, topology-dimensionless description, floorplanning problem algorithms, algebraic specification, line segments, relative positioning
16	Jinhong Katherine Guo, David S. Doermann, Azriel Rosenfeld	Local correspondence for detecting random forgeries.	ICDAR	1997	DBLP DOI BibTeX RDF	local correspondence, random forgery detection, online applications, offline applications, forged signatures, stroke level, stroke segmentation, stylistically meaningful segments, questioned signature, reference signature, stroke features, random forgeries, skilled forgeries, handwriting recognition, signature verification, invariant properties
16	François Goudail, Eberhard Lange, Takashi Iwamoto, Kazuo Kyuma, Nobuyuki Otsu	Face Recognition System Using Local Autocorrelations and Multiscale Integration.	IEEE Trans. Pattern Anal. Mach. Intell.	1996	DBLP DOI BibTeX RDF	shift invariant feature extraction, multiresolution image analysis, Classification, face recognition, object recognition, autocorrelation
16	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
16	Henri B. Weinberg, Nancy A. Lynch	Correctness of vehicle control systems-a case study.	RTSS	1996	DBLP DOI BibTeX RDF	vehicle control systems correctness, vehicle deceleration manoeuvres, automated transportation systems, hybrid I/O automata, hybrid input output automata, invariant assertions, simulation mappings, differential calculus, real time systems, case study, vehicles, correctness verification
16	B. Vijayakumar, David J. Kriegman, Jean Ponce	Structure and motion of curved 3D objects from monocular silhouettes.	CVPR	1996	DBLP DOI BibTeX RDF	curved 3D objects, monocular silhouettes, smooth 3D object, Euclidean surface structure, scaled orthographic projection, viewpoint-invariant representation, viewpoint-dependent features, bitangents, contour points, parallel tangents, stereo frontier points, infinitesimal motion frontier points, computational geometry, motion estimation, computer graphics, stereo image processing, epipolar geometry, camera motion, surface geometry, inflections, moving camera, image velocity
16	Chen-Yang Pan, Kwang-Ting Cheng	Implicit functional testing for analog circuits.	VTS	1996	DBLP DOI BibTeX RDF	implicit functional testing, linear time-invariant circuits, impulse response samples, pseudo-random technique, production testing time, yield coverages, VLSI, integrated circuit testing, fault coverage, analog circuits, analogue integrated circuits, mixed analogue-digital integrated circuits, transient response
16	Andrea Giachetti 0001, Vincent Torre	Optical Flow and Deformable Objects.	ICCV	1995	DBLP DOI BibTeX RDF	planar linear vector field, optical device, 2D motion field, normal rototranslation, simulated deformations, image sequences, optical flow, eigenvalues, deformable objects, eigenvalues and eigenfunctions, projective invariant, angular velocity, angular velocity
16	Shree K. Nayar, Masahiro Watanabe, Minori Noguchi	Real-Time Focus Range Sensor.	ICCV	1995	DBLP DOI BibTeX RDF	optical focusing, real-time focus range sensor, dynamic scene structure recovery, depth-from-defocus system, dense range estimation, accurate depth estimation, textureless surfaces, blur estimation, magnification variations, textured surfaces, illumination pattern, optical path, relative image blurring, narrow-band linear operator, defocus-invariant magnification, imaging optics, 30 Hz, performance, real-time systems, image restoration, image texture, distance measurement, lighting, image sensors, computational efficiency, image processing equipment, spatial resolution, aperture
16	Tony Lindeberg	Direct Estimation of Affine Image Deformations Using Visual Front-End Operations with Automatic Scale Selection.	ICCV	1995	DBLP DOI BibTeX RDF	affine image deformations, visual front-end operations, automatic scale selection, brightness patterns, computer vision problems, canonical parametrization, rotationally invariant components, scale levels, computer vision, singular value decomposition, singular value decomposition, image classification, deformations, shape estimation, local deformations, iterative techniques, flow field, image correspondence, direct estimation
16	Eero P. Simoncelli, Hany Farid	Steerable Wedge Filters.	ICCV	1995	DBLP DOI BibTeX RDF	Hilbert transforms, mathematical operators, steerable wedge filters, rotation-invariant linear operators, local orientation patterns, 2D Hilbert transforms, orientation response, even-symmetric steerable filters, odd-symmetric steerable filters, spatially asymmetric wedge-like shape, optimal localization, angular components, oriented structures, image processing, symmetry, filtering theory, Gaussians, imagery, image structure, directional derivatives
16	Tomás Pajdla, Luc Van Gool	Matching of 3D Curves Using Semi-Differential Invariants.	ICCV	1995	DBLP DOI BibTeX RDF	3D curve matching, three dimensional curve matching, Euclidean motions, semidifferential invariant description, first derivatives, curve similarity measure, /spl epsiv/-reciprocal correspondence, partially occluded curves, curve registration, curve extraction, 3D sensor, feature extraction, motion estimation, motion estimation, image registration, image matching, reference point, least median of squares, least mean squares methods
16	Y. M. Kadah, Ahmed H. Tewfik	Theory of true-velocity duplex imaging using a single transducer.	ICIP	1995	DBLP DOI BibTeX RDF	Doppler measurement, ultrasonic scattering, ultrasonic transducers, flow measurement, velocity measurement, true velocity duplex imaging, B-mode/Doppler duplex imaging, true velocity vector, reflected signal, point scatterers, circularly symmetric apertures, illumination configuration, range invariant velocity estimation, generalized range 2D Doppler ambiguity function, Doppler ultrasound flowmeters, measurements, spectral analysis, power spectrum, Poisson distribution, Poisson distribution, ultrasonic imaging, range estimation
16	Mitsuji Muneyasu, Kazunari Yamamoto, Takao Hinamoto	Image restoration using layered neural networks and Hopfield networks.	ICIP	1995	DBLP DOI BibTeX RDF	layered neural networks, 2D shift-invariant point-spread function, white Gaussian noise, blurred image smoothing, 2D mask local variance, performance, algorithm, learning, edge detection, edge detection, image restoration, image restoration, Hopfield networks, smoothing methods, Gaussian noise, white noise, Hopfield neural nets, optical transfer function, image degradation
16	Michael K. Ng 0001	Nonlinear image restoration using FFT-based conjugate gradient methods.	ICIP	1995	DBLP DOI BibTeX RDF	atmospheric techniques, nonlinear image restoration, FFT-based conjugate gradient methods, space-invariant imaging system, weighted Toeplitz least squares problems, normal equations matrices, FFT-based preconditioners, regularized linear systems, ground-based atmospheric imaging problem, convergence, fast Fourier transforms, fast Fourier transforms, image restoration, iteration, least squares approximations, conjugate gradient methods, spatial domain, additive noise, Toeplitz matrices
16	Kyung Sub Joo, Tamal Bose	Two-dimensional periodic digital filters.	ICIP	1995	DBLP DOI BibTeX RDF	two-dimensional periodic digital filters, periodically shift variant digital filters, Fornasini-Marchesini state-space model, shift-invariant system, Kiok-Neon model, 2-D PSV FM system, image scrambling, inverse system, cryptography, image representation, inverse problems, state-space methods, invertibility, two-dimensional digital filters, time-domain analysis
16	Boris A. Romov	Completeness Theory for Vector Partial Multiple-Valued Logic Functions.	ISMVL	1995	DBLP DOI BibTeX RDF	completeness theory, vector partial multiple-valued logic functions, completeness criterion, multiple-base invariant relations algebra, restricted quantifier free calculus, multivalued logic, Galois connection
16	Arnold Jonk, Arnold W. M. Smeulders	An axiomatic approach to clustering line-segments.	ICDAR	1995	DBLP DOI BibTeX RDF	line-segments clustering, clustering-hierarchy, hierarchical ordering, scale-invariant clustering, pattern recognition, computer vision, edges, lines, scale-invariance, axiomatic approach
16	David Sinclair, Andrew Blake 0001	Isoperimetric Normalization of Planar Curves.	IEEE Trans. Pattern Anal. Mach. Intell.	1994	DBLP DOI BibTeX RDF	closed planar curves, isoperimetric normalization, projective group PGL(2), piecewise smooth closed curve, invariant shape descriptor, image processing, computational geometry, object recognition, edge detection, canonical form
16	Ping Liang, Clifford H. Taubes	Orientation-Based Differential Geometric Representations for Computer Vision Applications.	IEEE Trans. Pattern Anal. Mach. Intell.	1994	DBLP DOI BibTeX RDF	orientation-based differential geometric representations, extended Gaussian image, support-function-based representation, generalized Gaussian image, global descriptors, linked data structures, computer vision, computer vision, data structures, image sequences, matching, vectors, uniqueness, invariant properties, storage requirement, smooth surfaces
16	Patrick J. Flynn	3-D Object Recognition with Symmetric Models: Symmetry Extraction and Encoding.	IEEE Trans. Pattern Anal. Mach. Intell.	1994	DBLP DOI BibTeX RDF	symmetric models, symmetry extraction, invariant feature indexing, correspondence-building mechanism, segment label permutations, symmetry encoding, databases, feature extraction, image coding, image recognition, encoding, 3-D object recognition
16	Erik H. D'Hollander	Partitioning and Labeling of Loops by Unimodular Transformations.	IEEE Trans. Parallel Distributed Syst.	1992	DBLP DOI BibTeX RDF	loop labelling, invariant dependence relation, independent subsets, constant dependence vectors, serial loop, parallel DO-ALL loops, dependent iterations, n-fold nested loop, multithreaded dynamicscheduling, join primitive, scheduling, parallel algorithms, computational complexity, program compilers, programming theory, partitioning algorithm, parallelprogramming, labelling algorithm, unimodular transformations, unimodular transformation, loop partitioning, dependence matrix
16	Hong Zhang, Jian Guan, Gwong C. Sun	Artificial neural network-based image pattern recognition.	ACM Southeast Regional Conference	1992	DBLP DOI BibTeX RDF	standardized invariant moments, neural network, pattern recognition, back propagation
16	Ruud M. Bolle, Baba C. Vemuri	On Three-Dimensional Surface Reconstruction Methods.	IEEE Trans. Pattern Anal. Mach. Intell.	1991	DBLP DOI BibTeX RDF	rigid motion invariant, three-dimensional surface reconstruction methods, explicit functions, parametric reconstruction method, three-dimensional object surfaces, numeric grid generation techniques, variational principle formulations, computer vision, object recognition, robustness, parameter estimates, parameter estimation, computerised picture processing, invariance, sensitivity, surface representation, variational techniques, viewpoint invariance, obscuration
16	Minghua Chen, David Lee, Theodosios Pavlidis	Residual Analysis for Feature Detection.	IEEE Trans. Pattern Anal. Mach. Intell.	1991	DBLP DOI BibTeX RDF	reflectance invariant, moving average filters, computerised picture processing, correlation, computerised pattern recognition, regularization, invariance, filtering and prediction theory, feature detection, smooth surfaces, residual images, residual analysis, smoothing filters
16	Hemant D. Tagare, Rui J. P. de Figueiredo	On the Localization Performance Measure and Optimal Edge Detection.	IEEE Trans. Pattern Anal. Mach. Intell.	1990	DBLP DOI BibTeX RDF	localization performance measure, linear space-invariant filter, local maxima, pattern recognition, pattern recognition, picture processing, edge detection, optimisation, stochastic processes, stochastic processes, filtering and prediction theory, zero-crossings
16	Vincent A. Busam, Donald E. Englund	Optimization of expressions in Fortran.	Commun. ACM	1969	DBLP DOI BibTeX RDF	DO loops, invariant calculations, optimization, compilation, compilers, FORTRAN, FORTRAN, register allocation, expressions, common subexpressions, subscripts
15	Feng Xu 0006, Sorin Olaru, María M. Seron	Observer gain optimization for minimization of minimal robust positively invariant set and invariant set-based fault detection.	Autom.	2024	DBLP DOI BibTeX RDF
15	Guodong Du 0005, Liyan Zhang 0001	Enhanced Invariant Feature Joint Learning via Modality-Invariant Neighbor Relations for Cross-Modality Person Re-Identification.	IEEE Trans. Circuits Syst. Video Technol.	2024	DBLP DOI BibTeX RDF
15	Reetha Thomas, T. Bakkyaraj	Exact solution of time-fractional differential-difference equations: invariant subspace, partially invariant subspace, generalized separation of variables.	Comput. Appl. Math.	2024	DBLP DOI BibTeX RDF
15	Jiyu Zhong, Ying Liang	Invariant Tori and Heteroclinic Invariant Ellipsoids of a Generalized Hopf-Langford System.	Int. J. Bifurc. Chaos	2023	DBLP DOI BibTeX RDF
15	Irina Perfilieva, Vladik Kreinovich	Monotonic Bit-Invariant Permutation-Invariant Metrics on the Set of All Infinite Binary Sequences.	Uncertainty, Constraints, and Decision Making	2023	DBLP DOI BibTeX RDF
15	Amit Dhurandhar, Karthikeyan Natesan Ramamurthy, Kartik Ahuja, Vijay Arya	Locally Invariant Explanations: Towards Stable and Unidirectional Explanations through Local Invariant Learning.	NeurIPS	2023	DBLP BibTeX RDF
15	Vakeel A. Khan, Izhar Ali Khan, Ayhan Esi, Masood Alam	Invariant convergent and invariant ideal convergent sequence in intuitionistic fuzzy normed space.	J. Intell. Fuzzy Syst.	2022	DBLP DOI BibTeX RDF
15	Daizhan Cheng, Hongsheng Qi, Xiao Zhang 0007, Zhengping Ji	Invariant and Dual Invariant Subspaces of $k$-valued Networks.	CoRR	2022	DBLP DOI BibTeX RDF
15	Amit Dhurandhar, Karthikeyan Ramamurthy, Kartik Ahuja, Vijay Arya	Locally Invariant Explanations: Towards Stable and Unidirectional Explanations through Local Invariant Learning.	CoRR	2022	DBLP BibTeX RDF
15	Zhanybai T. Zhusubaliyev, Viktor Avrutin, Frank Bastian	Transformations of Closed Invariant Curves and Closed-Invariant-Curve-Like Chaotic Attractors in Piecewise Smooth Systems.	Int. J. Bifurc. Chaos	2021	DBLP DOI BibTeX RDF
15	Guangji Yu	Some invariant and inverse invariant characters of information systems under homomorphisms based on data compression.	Int. J. Gen. Syst.	2020	DBLP DOI BibTeX RDF
15	Yankai Huang, Tiecheng Song, Shuang Li, Yuanjing Han	Local Grouped Invariant Order Pattern for Grayscale-Inversion and Rotation Invariant Texture Classification.	ICPR	2020	DBLP DOI BibTeX RDF
15	Raphael S. Evangelista, Leandro A. F. Fernandes	The Recipe for Some Invariant Numbers and for a New Projective Invariant Feature Descriptor.	VISIGRAPP (4: VISAPP)	2020	DBLP DOI BibTeX RDF
15	Zheming Wang, Raphaël M. Jungers	Data-driven computation of invariant sets of discrete time-invariant black-box systems.	CoRR	2019	DBLP BibTeX RDF
15	Xue Dong He, Xian Hua Peng	Surplus-Invariant, Law-Invariant, and Conic Acceptance Sets Must Be the Sets Induced by Value at Risk.	Oper. Res.	2018	DBLP DOI BibTeX RDF
15	Alessandro Fortunati, Stephen Wiggins	Transient Invariant and Quasi-Invariant Structures in an Example of an Aperiodically Time Dependent Fluid Flow.	Int. J. Bifurc. Chaos	2018	DBLP DOI BibTeX RDF
15	Reza Aghayan	Orientation-invariant numerically invariant joint signatures in curve analysis.	Int. J. Comput. Math. Comput. Syst. Theory	2018	DBLP DOI BibTeX RDF
15	V. C. Swetha, Deepak Mishra 0002, Gorthi R. K. Sai Subrahmanyam	Scale and Rotation Corrected CNNs (SRC-CNNs) for Scale and Rotation Invariant Character Recognition: SRC-CNN for Scale and Rotation Invariant Character Recognition.	ICVGIP	2018	DBLP DOI BibTeX RDF
15	Marco Filax, Frank Ortmeier	VIOL: Viewpoint Invariant Object Localizator - Viewpoint Invariant Planar Features in Man-Made Environments.	VISIGRAPP (4: VISAPP)	2018	DBLP DOI BibTeX RDF
15	Rahul Sharma 0001, Alex Aiken	From invariant checking to invariant inference using randomized search.	Formal Methods Syst. Des.	2016	DBLP DOI BibTeX RDF
15	Igor I. Klebanov, O. Startsun, Sergey Ivanov	Model of the Newtonian cosmology: Symmetries, invariant and partially invariant solutions.	Commun. Nonlinear Sci. Numer. Simul.	2016	DBLP DOI BibTeX RDF
15	A. Vinay, Vinay S. Shekhar, Akshay Kumar C., S. Natarajan 0001, K. N. Balasubramanya Murthy	Affine-scale invariant feature transform and two-dimensional principal component analysis: a novel framework for affine and scale invariant face recognition.	IET Comput. Vis.	2016	DBLP DOI BibTeX RDF
15	Jaume Llibre, Marcelo Messias, Alisson de Carvalho Reinol	Normal Forms for Polynomial Differential Systems in ℝ3 Having an Invariant Quadric and a Darboux Invariant.	Int. J. Bifurc. Chaos	2015	DBLP DOI BibTeX RDF
15	Sergey Demyanov, James Bailey 0001, Kotagiri Ramamohanarao, Christopher Leckie	Invariant backpropagation: how to train a transformation-invariant neural network.	CoRR	2015	DBLP BibTeX RDF
15	J. L. Bhowmik	Is the locally best invariant test uniformly most powerful for a wider class of invariant tests?	Model. Assist. Stat. Appl.	2015	DBLP DOI BibTeX RDF
15	Tomás Bures, Ilias Gerostathopoulos, Jaroslav Keznikl, Frantisek Plásil, Petr Tuma 0001	Formalization of Invariant Patterns for the Invariant Refinement Method.	Software, Services, and Systems	2015	DBLP DOI BibTeX RDF
15	Rahul Sharma 0001, Alex Aiken	From Invariant Checking to Invariant Inference Using Randomized Search.	CAV	2014	DBLP DOI BibTeX RDF
15	Philip J. Roberts, Henning Reetz, Aditi Lahiri	Corpus-testing a fricative discriminator; or, just how invariant is this invariant?	INTERSPEECH	2014	DBLP DOI BibTeX RDF
15	Mohamed Amine Mezghich, Slim M'hiri, Faouzi Ghorbel	Invariant Shape Prior Knowledge for an Edge-based Active Contours - Invariant Shape Prior for Active Contours.	VISAPP (2)	2014	DBLP DOI BibTeX RDF
15	Chandan Singh, Sukhjeet K. Ranade	Rotation invariant moments and transforms for geometrically invariant image watermarking.	J. Electronic Imaging	2013	DBLP DOI BibTeX RDF
15	Qiaoliang Li, Huisheng Zhang, Tianfu Wang 0001	Scale Invariant Feature Matching using Rotation-Invariant Distance for Remote Sensing Image Registration.	Int. J. Pattern Recognit. Artif. Intell.	2013	DBLP DOI BibTeX RDF
15	H. E. Bez	The invariant functions and invariant-image conditions of the rational Bézier triangles.	Appl. Algebra Eng. Commun. Comput.	2012	DBLP DOI BibTeX RDF
15	Michael Eickenberg, Ryan J. Rowekamp, Minjoon Kouh, Tatyana O. Sharpee	Characterizing Responses of Translation-Invariant Neurons to Natural Stimuli: Maximally Informative Invariant Dimensions.	Neural Comput.	2012	DBLP DOI BibTeX RDF
15	Lamia Labed Jilani, Asma Louhichi, Olfa Mraihi, Ali Mili 0001	Invariant relations, invariant functions, and loop functions.	Innov. Syst. Softw. Eng.	2012	DBLP DOI BibTeX RDF
15	Andrei Voronkov, Laura Kovács, Nikolaj S. Bjørner (eds.)	Second International Workshop on Invariant Generation, WING 2009, York, UK, March 29, 2009 and Third International Workshop on Invariant Generation, WING 2010, Edinburgh, UK, July 21, 2010	WING@ETAPS/IJCAR	2012	DBLP BibTeX RDF
15	Aditya V. Nori	Specification Inference and Invariant Generation: A Machine Learning Perspective.	ATx/WInG@IJCAR	2012	DBLP DOI BibTeX RDF
15	Yongqiang Cao, Stephen Grossberg, Jeffrey E. Markowitz	How does the brain rapidly learn and reorganize view-invariant and position-invariant object representations in the inferotemporal cortex?	Neural Networks	2011	DBLP DOI BibTeX RDF
15	Oh-Seol Kwon, Yeong-Ho Ha	Panoramic video using scale-invariant feature transform with embedded color-invariant values.	IEEE Trans. Consumer Electron.	2010	DBLP DOI BibTeX RDF
15	Xu Chen 0019, Dan Schonfeld, Ashfaq A. Khokhar	Non-linear kernel space invariant representation for view-invariant motion trajectory retrieval and classification.	ICASSP	2010	DBLP DOI BibTeX RDF
15	Huawei Tian, Yao Zhao 0001, Rongrong Ni, Jeng-Shyang Pan 0001	Geometrically Invariant Image Watermarking Using Scale-Invariant Feature Transform and K-Means Clustering.	ICCCI (1)	2010	DBLP DOI BibTeX RDF
15	Lamia Labed Jilani, Olfa Mraihi, Asma Louhichi, Wided Ghardallou, Ali Mili 0001	Using invariant functions and invariant relations to compute loop functions.	ICSE (2)	2010	DBLP DOI BibTeX RDF	loop semantic, while loop, program analysis
15	Matthias Kuntz, Stefan Leue, Christoph Scheben	Extending Non-Termination Proof Techniques to Asynchronously Communicating Concurrent Programs.	WING@ETAPS/IJCAR	2010	DBLP DOI BibTeX RDF
15	Ewen Maclean, Andrew Ireland, Gudmund Grov	Synthesising Functional Invariants in Separation Logic.	WING@ETAPS/IJCAR	2010	DBLP DOI BibTeX RDF
15	Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger	Loopfrog - loop summarization for static analysis.	WING@ETAPS/IJCAR	2010	DBLP DOI BibTeX RDF
15	Florin Craciun, Chenguang Luo, Guanhua He, Shengchao Qin, Wei-Ngan Chin	Discovering Specifications for Unknown Procedures - Work in Progress.	WING@ETAPS/IJCAR	2010	DBLP DOI BibTeX RDF
15	Thomas Martin Gawlitza, Helmut Seidl	Abstract Interpretation over Zones without Widening.	WING@ETAPS/IJCAR	2010	DBLP DOI BibTeX RDF
15	Angela Wallenburg	Generalisation of Induction Formulae based on Proving by Symbolic Execution.	WING@ETAPS/IJCAR	2010	DBLP DOI BibTeX RDF
15	Jan Olaf Blech, Thanh-Hung Nguyen, Michaël Périn	Invariants and Robustness of BIP Models.	WING@ETAPS/IJCAR	2010	DBLP DOI BibTeX RDF
15	Alexei Lisitsa 0001	Finite countermodels as invariants. A case study in verification of parameterized mutual exclusion protocol.	WING@ETAPS/IJCAR	2010	DBLP DOI BibTeX RDF
15	Leonardo Mendonça de Moura, Nikolaj S. Bjørner	Applications and Challenges in Satisfiability Modulo Theories.	WING@ETAPS/IJCAR	2010	DBLP DOI BibTeX RDF
15	Michael Franssen	Cocktail II.	WING@ETAPS/IJCAR	2010	DBLP DOI BibTeX RDF
15	Stéphane Gaubert, Ricardo Katz, Sergei Sergeev	Tropical linear programming and parametric mean payoff games.	WING@ETAPS/IJCAR	2010	DBLP DOI BibTeX RDF
15	Igor Konnov 0001	CheAPS: a Checker of Asynchronous Parameterized Systems.	WING@ETAPS/IJCAR	2010	DBLP DOI BibTeX RDF
15	Gudmund Grov, Andrew Ireland	Towards Automated Property Discovery within Hume.	WING@ETAPS/IJCAR	2010	DBLP DOI BibTeX RDF
15	Marius Bozga, Radu Iosif, Filip Konecný, Tomás Vojnar	Tool Demonstration of the FLATA Counter Automata Toolset.	WING@ETAPS/IJCAR	2010	DBLP DOI BibTeX RDF
15	Alexander A. Letichevsky, Alexander Kolchin, Oleksandr Letychevskyy Jr., Stepan Potiyenko, Vladislav A. Volkov, Thomas Weigert	Formal Requirements Capturing using VRS system.	WING@ETAPS/IJCAR	2010	DBLP DOI BibTeX RDF
15	Moritz Sinn, Florian Zuleger	LOOPUS - A Tool for Computing Loop Bounds for C Programs.	WING@ETAPS/IJCAR	2010	DBLP DOI BibTeX RDF
15	Mohammad Reza Taban, Ali Ghobadzadeh, AliAkbar Tadaion	Transformation effects on invariant property of invariant hypothesis test and UMPI detector.	ISIT	2009	DBLP DOI BibTeX RDF
15	Daniel Alpay, Mamadou Mboup	A natural transfer function space for linear discrete time-invariant and scale-invariant systems.	nDS	2009	DBLP DOI BibTeX RDF
15	Javier A. Montoya-Zegarra, João Paulo Papa, Neucimar Jerônimo Leite, Ricardo da Silva Torres, Alexandre X. Falcão	Learning How to Extract Rotation-Invariant and Scale-Invariant Features from Texture Images.	EURASIP J. Adv. Signal Process.	2008	DBLP DOI BibTeX RDF
15	Ju Han, Kai-Kuang Ma	Rotation-invariant and scale-invariant Gabor features for texture image retrieval.	Image Vis. Comput.	2007	DBLP DOI BibTeX RDF
15	Sasa V. Rakovic, Konstantinos I. Kouramas	Invariant approximations of the minimal robust positively invariant set via finite time Aumann Integrals.	CDC	2007	DBLP DOI BibTeX RDF
15	Javier A. Montoya-Zegarra, Neucimar Jerônimo Leite, Ricardo da Silva Torres	Rotation-Invariant and Scale-Invariant Steerable Pyramid Decomposition for Texture Image Retrieval.	SIBGRAPI	2007	DBLP DOI BibTeX RDF
15	Teddy Ko, Peter Bock	Viewpoint-Invariant and Illumination-Invariant Classification of Natural Surfaces Using General-Purpose Color and Texture Features with the ALISA dCRC Classifier.	AIPR	2006	DBLP DOI BibTeX RDF
15	Sasa V. Rakovic, Eric C. Kerrigan, Konstantinos I. Kouramas, David Q. Mayne	Invariant approximations of the minimal robust positively Invariant set.	IEEE Trans. Autom. Control.	2005	DBLP DOI BibTeX RDF
15	Hanumappa B. Walikar, Fred Buckley, M. K. Itagi	Radius-edge-invariant and diameter-edge-invariant graphs.	Discret. Math.	2003	DBLP DOI BibTeX RDF
15	Vicenç Puig, Pep Cugueró, Joseba Quevedo	Time-invariant approach to set-membership simulation and state observation for discrete linear time-invariant systems with parametric uncertainty.	CDC	2002	DBLP DOI BibTeX RDF