|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 5010 occurrences of 2619 keywords
|
|
|
Results
Found 17057 publication records. Showing 17057 according to the selection in the facets
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 |
|
|
|