Stem invari$ (all stems)

528 papers:

DAC-2015-DingCZ #algorithm #invariant #performance

An efficient shift invariant rasterization algorithm for all-angle mask patterns in ILT (YD, CCNC, XZ), p. 6.

SAS-2015-AdjeGM #generative #invariant #optimisation #polynomial #using

Property-based Polynomial Invariant Generation Using Sums-of-Squares Optimization (AA, PLG, VM), pp. 235–251.

SAS-2015-Brain0KS #invariant #safety #verification

Safety Verification and Refutation by k-Invariants and k-Induction (MB, SJ, DK, PS), pp. 145–161.

ICALP-v1-2015-BurtonMS #algorithm #complexity #invariant

Algorithms and Complexity for Turaev-Viro Invariants (BAB, CM, JS), pp. 281–293.

ICGT-2015-DyckG #induction #invariant

Inductive Invariant Checking with Partial Negative Application Conditions (JD, HG), pp. 237–253.

ICGT-2015-RadkeABHT #constraints #graph #invariant #ocl #set

Translating Essential OCL Invariants to Nested Graph Constraints Focusing on Set Operations (HR, TA, JSB, AH, GT), pp. 155–170.

ICML-2015-FetayaU #invariant #learning

Learning Local Invariant Mahalanobis Distances (EF, SU), pp. 162–168.

KDD-2015-MomtazpourZRSR #cyber-physical #invariant #using

Analyzing Invariants in Cyber-Physical Systems using Latent Factor Regression (MM, JZ, SR, RKS, NR), pp. 2009–2018.

POPL-2015-JungSSSTBD #concurrent #invariant #monad #named #orthogonal #reasoning

Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning (RJ, DS, FS, KS, AT, LB, DD), pp. 637–650.

ICSE-v1-2015-KusanoCW #generative #invariant #parallel #source code #thread

Dynamic Generation of Likely Invariants for Multithreaded Programs (MK, AC, CW), pp. 835–846.

ICSE-v2-2015-Lemieux #invariant #mining

Mining Temporal Properties of Data Invariants (CL), pp. 751–753.

CAV-2015-BeyerW #invariant

Boosting k-Induction with Continuously-Refined Invariants (DB, MD, PW), pp. 622–640.

CAV-2015-ChenHWZ #generative #invariant #polynomial

Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation (YFC, CDH, BYW, LZ), pp. 658–674.

CAV-2015-KarbyshevBIRS #invariant #proving

Property-Directed Inference of Universal Invariants or Proving Their Absence (AK, NB, SI, NR, SS), pp. 583–602.

LICS-2015-Carreiro #bisimulation #invariant #logic

PDL Is the Bisimulation-Invariant Fragment of Weak Chain Logic (FC), pp. 341–352.

LICS-2015-EnqvistSV #algebra #bisimulation #higher-order #logic #monad

Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras (SE, FS, YV), pp. 353–365.

TAP-2015-SoekenSD #invariant #ocl #specification

Coverage of OCL Operation Specifications and Invariants (MS, JS, RD), pp. 191–207.

VMCAI-2015-AdjeG #automation #invariant #linear #polynomial #source code #synthesis

Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs (AA, PLG), pp. 99–116.

VMCAI-2015-GhorbalSP #algebra #difference #proving #set

A Hierarchy of Proof Rules for Checking Differential Invariance of Algebraic Sets (KG, AS, AP), pp. 431–448.

DATE-2014-WelpK #invariant #refinement #verification

Property directed invariant refinement for program verification (TW, AK), pp. 1–6.

FASE-2014-Zaharieva-StojanovskiH #concurrent #invariant #source code #verification

Verifying Class Invariants in Concurrent Programs (MZS, MH), pp. 230–245.

TACAS-2014-AstefanoaeiRBBC #composition #generative #invariant

Compositional Invariant Generation for Timed Systems (LA, SBR, SB, MB, JC), pp. 263–278.

TACAS-2014-GhorbalP #algebra #difference #invariant

Characterizing Algebraic Invariants by Differential Radical Invariants (KG, AP), pp. 279–294.

TACAS-2014-GurfinkelBM #invariant

Synthesizing Safe Bit-Precise Invariants (AG, AB, JMS), pp. 93–108.

TACAS-2014-SalemDKT #automaton #invariant #model checking #testing #using

Symbolic Model Checking of Stutter-Invariant Properties Using Generalized Testing Automata (AEBS, ADL, FK, YTM), pp. 440–454.

TACAS-2014-SoudjaniA #approximate #markov #precise #probability #process

Precise Approximations of the Probability Distribution of a Markov Process in Time: An Application to Probabilistic Invariance (SEZS, AA), pp. 547–561.

SAS-2014-ChakarovS #fixpoint #invariant #probability

Expectation Invariants for Probabilistic Program Loops as Fixed Points (AC, SS), pp. 85–100.

SAS-2014-GhorbalSP #algebra #difference #equation #polynomial

Invariance of Conjunctions of Polynomial Equalities for Algebraic Differential Equations (KG, AS, AP), pp. 151–167.

STOC-2014-Yoshida #composition #invariant #theorem

A characterization of locally testable affine-invariant properties via decomposition theorems (YY), pp. 154–163.

FM-2014-HayesM #algebra #invariant #realtime

Invariants, Well-Founded Statements and Real-Time Program Algebra (IJH, LM), pp. 318–334.

FM-2014-PolikarpovaTFM #collaboration #flexibility #invariant #semantics

Flexible Invariants through Semantic Collaboration (NP, JT, CAF, BM), pp. 514–530.

FM-2014-RouxG #comparison #invariant #polynomial

Computing Quadratic Invariants with Min- and Max-Policy Iterations: A Practical Comparison (PR, PLG), pp. 563–578.

IFM-2014-ErikssonPB #invariant #programming #proving

Proofs and Refutations in Invariant-Based Programming (JE, MP, RJB), pp. 189–204.

SEFM-2014-ChristakisMW #detection #invariant #testing

Synthesizing Parameterized Unit Tests to Detect Object Invariant Violations (MC, PM, VW), pp. 65–80.

SEFM-2014-HusterHERBKR #flexibility #invariant #specification

More Flexible Object Invariants with Less Specification Overhead (SH, PH, HE, JR, SB, TK, WR), pp. 302–316.

ICGT-2014-ArendtHRT #constraints #graph #invariant #ocl

From Core OCL Invariants to Nested Graph Constraints (TA, AH, HR, GT), pp. 97–112.

HCI-AIMT-2014-RoyC #artificial reality #detection #invariant #markov #using

View-Invariant Human Detection from RGB-D Data of Kinect Using Continuous Hidden Markov Model (SR, TC), pp. 325–336.

ICML-c1-2014-YangSAM #invariant #kernel #monte carlo

Quasi-Monte Carlo Feature Maps for Shift-Invariant Kernels (JY, VS, HA, MWM), pp. 485–493.

ICPR-2014-GadelhaC #invariant #named #robust

DRINK: Discrete Robust Invariant Keypoints (MAG, BMC), pp. 821–826.

ICPR-2014-Garcia-OrdasAGG #invariant #named

aZIBO: A New Descriptor Based in Shape Moments and Rotational Invariant Features (MTGO, EA, VGC, DGO), pp. 2395–2400.

ICPR-2014-Hast #invariant #robust

Robust and Invariant Phase Based Local Feature Matching (AH), pp. 809–814.

ICPR-2014-HeS #identification #invariant

Delta-n Hinge: Rotation-Invariant Features for Writer Identification (SH, LS), pp. 2023–2028.

ICPR-2014-LeeSL #3d #invariant #recognition #self #using

View-Invariant 3D Action Recognition Using Spatiotemporal Self-Similarities from Depth Camera (ARL, HIS, SWL), pp. 501–505.

ICPR-2014-LiCH #collaboration #invariant

Transformation-Invariant Collaborative Sub-representation (YL, CC, JH), pp. 3738–3743.

ICPR-2014-MoeiniMAF #2d #3d #image #invariant #modelling #recognition #women

Makeup-Invariant Face Recognition by 3D Face: Modeling and Dual-Tree Complex Wavelet Transform from Women’s 2D Real-World Images (AM, HM, FA, KF), pp. 1710–1715.

ICPR-2014-MoeiniMF #image #invariant #matrix #realtime #recognition

Real-Time Pose-Invariant Face Recognition by Triplet Pose Sparse Matrix from Only a Single Image (AM, HM, KF), pp. 465–470.

ICPR-2014-MoeiniMF14a #2d #3d #image #invariant #re-engineering #recognition #synthesis

Pose-Invariant Facial Expression Recognition Based on 3D Face Reconstruction and Synthesis from a Single 2D Image (AM, HM, KF), pp. 1746–1751.

ICPR-2014-MoeiniMF14b #2d #3d #image #invariant #re-engineering #recognition #using

Expression-Invariant Face Recognition via 3D Face Reconstruction Using Gabor Filter Bank from a 2D Single Image (AM, HM, KF), pp. 4708–4713.

ICPR-2014-WakaharaY #2d #correlation #invariant

GPT Correlation for 2D Projection Transformation Invariant Template Matching (TW, YY), pp. 3810–3815.

ICPR-2014-WuK #geometry #image #invariant #retrieval #scalability

Image Retrieval Based on Anisotropic Scaling and Shearing Invariant Geometric Coherence (XW, KK), pp. 3951–3956.

ICPR-2014-WuMCXC #gesture #invariant #parametricity #recognition #using

View-Invariant Gesture Recognition Using Nonparametric Shape Descriptor (XW, XM, LC, YLX, AC), pp. 544–549.

ICPR-2014-YanRLSS #analysis #clustering #invariant #linear #multi #recognition

Clustered Multi-task Linear Discriminant Analysis for View Invariant Color-Depth Action Recognition (YY, ER, GL, RS, NS), pp. 3493–3498.

ICPR-2014-YiMHP #classification #invariant #locality #multi #process

Pose Invariant Activity Classification for Multi-floor Indoor Localization (SY, PWM, TKH, VP), pp. 3505–3510.

Onward-2014-ProustM #invariant

It’s Only Illegal If You Get Caught: Breaking Invariants and Getting Away with It (RP, AM), pp. 163–171.

OOPSLA-2014-RosnerBPKAFK #bound #generative #hybrid #invariant

Bounded exhaustive test input generation from hybrid invariants (NR, VSB, PP, SAK, NA, MFF, SK), pp. 655–674.

POPL-2014-CoughlinC #analysis #composition #invariant

Fissile type analysis: modular checking of almost everywhere invariants (DC, BYEC), pp. 73–86.

SAC-2014-HundtSSGD #automation #invariant #named #similarity

GEM: an elastic and translation-invariant similarity measure with automatic trend adjustment (CH, BS, ES, HG, HVD), pp. 105–112.

FSE-2014-KrkaBM #automation #invariant #mining #specification

Automatic mining of specifications from invocation traces and method invariants (IK, YB, NM), pp. 178–189.

ICSE-2014-BocicB #induction #invariant #verification #web

Inductive verification of data model invariants for web applications (IB, TB), pp. 620–631.

ICSE-2014-NguyenKWF #dynamic analysis #invariant #using

Using dynamic analysis to generate disjunctive invariants (TN, DK, WW, SF), pp. 608–619.

CAV-2014-0001A #invariant #random #using

From Invariant Checking to Invariant Inference Using Randomized Search (RS, AA), pp. 88–105.

CAV-2014-0001LMN #framework #invariant #learning #named #robust

ICE: A Robust Framework for Learning Invariants (PG, CL, PM, DN), pp. 69–87.

CAV-2014-HuangFMMK #automaton #hybrid #invariant #network #verification

Invariant Verification of Nonlinear Hybrid Automata Networks of Cardiac Cells (ZH, CF, AM, SM, MZK), pp. 373–390.

ISSTA-2014-ZhangYRPK #invariant

Feedback-driven dynamic invariant discovery (LZ, GY, NR, SP, SK), pp. 362–372.

LICS-CSL-2014-AccattoliL #invariant #reduction

β reduction is invariant, indeed (BA, UDL), p. 10.

CBSE-2013-KezniklBPGHH #component #design #invariant #refinement

Design of ensemble-based component systems by invariant refinement (JK, TB, FP, IG, PH, NH), pp. 91–100.

ASE-2013-MaezawaWTH #ajax #automation #interactive #invariant #verification

Automated verification of pattern-based interaction invariants in Ajax applications (YM, HW, YT, SH), pp. 158–168.

ASE-2013-SagdeoEPV #automation #debugging #invariant #locality #testing #using

Using automatically generated invariants for regression testing and bug localization (PS, NE, DP, SV), pp. 634–639.

DATE-2013-NovoAI #estimation #fault #fixpoint #invariant #linear #trade-off

Accuracy vs speed tradeoffs in the estimation of fixed-point errors on linear time-invariant systems (DN, SEA, PI), pp. 15–20.

ICDAR-2013-BuiVM #documentation #invariant #navigation

Invariants Extraction Method Applied in an Omni-language Old Document Navigating System (QAB, MV, RM), pp. 1325–1329.

ICDAR-2013-HigaH #classification #image #recognition

Local Subspace Classifier with Transformation Invariance for Appearance-Based Character Recognition in Natural Images (KH, SH), pp. 533–537.

ICDAR-2013-MaraK #3d #invariant

Vectorization of 3D-Characters by Integral Invariant Filtering of High-Resolution Triangular Meshes (HM, SK), pp. 62–66.

ICDAR-2013-ZhangLSM #invariant #rank

Rectification of Optical Characters as Transform Invariant Low-Rank Textures (XZ, ZL, FS, YM), pp. 393–397.

ESOP-2013-EneaSS #composition #invariant

Compositional Invariant Checking for Overlaid and Nested Linked Lists (CE, VS, MS), pp. 129–148.

ESOP-2013-SharmaGHALN #algebra #approach #data-driven #invariant

A Data Driven Approach for Algebraic Loop Invariants (RS, SG, BH, AA, PL, AVN), pp. 574–592.

FASE-2013-LasseterC #design pattern #invariant #runtime

Design Pattern-Based Extension of Class Hierarchies to Support Runtime Invariant Checks (JL, JC), pp. 163–178.

STOC-2013-BhattacharyyaFHHL #invariant

Every locally characterized affine-invariant property is testable (AB, EF, HH, PH, SL), pp. 429–436.

ICALP-v1-2013-WimmerY #invariant #morphism #testing

Testing Linear-Invariant Function Isomorphism (KW, YY), pp. 840–850.

SEFM-2013-PerceboisST #graph transformation #invariant #transitive #verification

Rule-Level Verification of Graph Transformations for Invariants Based on Edges’ Transitive Closure (CP, MS, HNT), pp. 106–121.

ICML-c1-2013-GongGS #adaptation #invariant #learning

Connecting the Dots with Landmarks: Discriminatively Learning Domain-Invariant Features for Unsupervised Domain Adaptation (BG, KG, FS), pp. 222–230.

ICML-c1-2013-MuandetBS #invariant #representation

Domain Generalization via Invariant Feature Representation (KM, DB, BS), pp. 10–18.

ICML-c2-2013-Hui #modelling #visual notation

Direct Modeling of Complex Invariances for Visual Object Features (KYH), pp. 352–360.

ICML-c3-2013-MemisevicE #invariant #learning #problem

Learning invariant features by harnessing the aperture problem (RM, GE), pp. 100–108.

ICML-c3-2013-ReddiP #dependence #invariant #metric

Scale Invariant Conditional Dependence Measures (SJR, BP), pp. 1355–1363.

ECOOP-2013-CoxCS #generative #graph #invariant #relational

QUIC Graphs: Relational Invariant Generation for Containers (AC, BYEC, SS), pp. 401–425.

ECOOP-2013-CutsemM #invariant

Trustworthy Proxies — Virtualizing Objects with Invariants (TVC, MSM), pp. 154–178.

ECOOP-2013-ThomsenCADE #invariant

Reducing Lookups for Invariant Checking (JGT, CC, KJA, JD, EE), pp. 426–450.

OOPSLA-2013-ChongDKKQ #abstraction #analysis #gpu #invariant #kernel

Barrier invariants: a shared state abstraction for the analysis of data-dependent GPU kernels (NC, AFD, PHJK, JK, SQ), pp. 605–622.

OOPSLA-2013-DilligDLM #abduction #generative #induction #invariant

Inductive invariant generation via abductive inference (ID, TD, BL, KLM), pp. 443–456.

PPDP-2013-Holdermans #data type #functional #guidelines #random testing #testing

Random testing of purely functional abstract datatypes: guidelines for dealing with operation invariance (SH), pp. 275–284.

POPL-2013-AtkeyJK #abstraction #algebra

Abstraction and invariance for algebraically indexed types (RA, PJ, AK), pp. 87–100.

ESEC-FSE-2013-LiRSY #constraints #higher-order #invariant

Second-order constraints in dynamic invariant inference (KL, CR, YS, MY), pp. 103–113.

ASPLOS-2013-MaiPXKM #invariant #security #verification

Verifying security invariants in ExpressOS (HM, EP, HX, STK, PM), pp. 293–304.

ASPLOS-2013-SahooCGA #automation #fault #invariant #locality #using

Using likely invariants for automated software fault localization (SKS, JC, CG, VSA), pp. 139–152.

CAV-2013-0001LMN #data type #invariant #learning #linear #quantifier

Learning Universally Quantified Invariants of Linear Data Structures (PG, CL, PM, DN), pp. 813–829.

CSL-2013-HarwathS #first-order #invariant #locality #logic #on the #quantifier

On the locality of arb-invariant first-order logic with modulo counting quantifiers (FH, NS), pp. 363–379.

ISSTA-2013-RosnerGBBRPZF #analysis #bound #invariant #parallel #refinement

Parallel bounded analysis in code with rich invariants by refinement of field bounds (NR, JPG, SB, GMB, SPDR, LP, LZ, MFF), pp. 23–33.

LICS-2013-EickmeyerKK #first-order #graph #invariant #logic #model checking

Model Checking for Successor-Invariant First-Order Logic on Minor-Closed Graph Classes (KE, KiK, SK), pp. 134–142.

VMCAI-2013-LarrazRR #array #generative #invariant #smt

SMT-Based Array Invariant Generation (DL, ERC, AR), pp. 169–188.

DAC-2012-GuoK #concurrent #detection #encryption #fault #standard

Invariance-based concurrent error detection for advanced encryption standard (XG, RK), pp. 573–578.

DATE-2012-SoekenWD #invariant #modelling #ocl #uml

Eliminating invariants in UML/OCL models (MS, RW, RD), pp. 1142–1145.

SAS-2012-CacheraJJK #imperative #invariant #polynomial #source code

Inference of Polynomial Invariants for Imperative Programs: A Farewell to Gröbner Bases (DC, TPJ, AJ, FK), pp. 58–74.

SAS-2012-SanchezSSC #generative #invariant #self #using

Invariant Generation for Parametrized Systems Using Self-reflection — (Extended Version) (AS, SS, CS, BYEC), pp. 146–163.

FM-2012-AponteCMS #composition #invariant

Maximal and Compositional Pattern-Based Loop Invariants (MVA, PC, YM, MS), pp. 37–51.

FM-2012-ErmisSW #fault #invariant

Error Invariants (EE, MS, TW), pp. 187–201.

ICGT-2012-BlumeBEK #automaton #graph #implementation #invariant #performance

Efficient Symbolic Implementation of Graph Automata with Applications to Invariant Checking (CB, HJSB, DE, BK), pp. 264–278.

ICGT-2012-GieseL #automation #behaviour #invariant #model transformation #towards #verification

Towards Automatic Verification of Behavior Preservation for Model Transformation via Invariant Checking (HG, LL), pp. 249–263.

ICML-2012-SohnL #invariant #learning

Learning Invariant Representations with Local Transformations (KS, HL), p. 174.

ICPR-2012-BaccoucheMWGB #2d #invariant #learning #recognition #representation #sequence

Sparse shift-invariant representation of local 2D patterns and sequence learning for human action recognition (MB, FM, CW, CG, AB), pp. 3823–3826.

ICPR-2012-BaradaraniWA #invariant #recognition

Illumination suppression for illumination invariant face recognition (AB, QMJW, MA), pp. 1590–1593.

ICPR-2012-GossowWB #invariant

Distinctive texture features from perspective-invariant keypoints (DG, DW, MB), pp. 2764–2767.

ICPR-2012-GutmannH #architecture #feature model #image #learning

Learning a selectivity-invariance-selectivity feature extraction architecture for images (MG, AH), pp. 918–921.

ICPR-2012-HuangH #invariant #using

Binary invariant cross color descriptor using galaxy sampling (GHH, CRH), pp. 2610–2613.

ICPR-2012-HuangLT #invariant #learning #recognition

Learning modality-invariant features for heterogeneous face recognition (LH, JL, YPT), pp. 1683–1686.

ICPR-2012-LiL12a #image #invariant #segmentation

Scale-invariant sampling for supervised image segmentation (YL, ML), pp. 1399–1402.

ICPR-2012-LiSY #detection #invariant

A Fully Affine Invariant Feature detector (WL, ZS, JY), pp. 2768–2771.

ICPR-2012-MakaremiA #image #invariant #recognition

Generalized ordinary moment based blur invariant descriptors for face recognition with degraded images (IM, MA), pp. 3648–3651.

ICPR-2012-MansurMY #invariant #recognition

View-invariant gait recognition from low frame-rate videos (AM, YM, YY), pp. 2383–2386.

ICPR-2012-MaoYLZ #classification #invariant #verification

Age-invariant face verification based on Local Classifier Ensemble (XJM, YBY, NL, YZ), pp. 2408–2411.

ICPR-2012-MarieLM #invariant #locality #recognition #visual notation

Invariant signatures for omnidirectional visual place recognition and robot localization in unknown environments (RM, OLI, EMM), pp. 2537–2540.

ICPR-2012-PedoneH #invariant #recognition #robust

Local phase quantization descriptors for blur robust and illumination invariant recognition of color textures (MP, JH), pp. 2476–2479.

ICPR-2012-SadekAMS #invariant #recognition

Human action recognition via affine moment invariants (SS, AAH, BM, US), pp. 218–221.

ICPR-2012-ScandaliarisS #distance #image #invariant #probability #representation

Probabilistic invariant image representation and associated distance measure (JS, AS), pp. 3569–3572.

ICPR-2012-SiddiquieFDD #detection #invariant

Unsupervised model selection for view-invariant object detection in surveillance environments (BS, RSF, AD, LSD), pp. 3252–3255.

ICPR-2012-TuH #invariant #matrix #recognition

Dual subspace nonnegative matrix factorization for person-invariant facial expression recognition (YHT, CTH), pp. 2391–2394.

ICPR-2012-VieiraLSC #distance #invariant #matrix

Distance matrices as invariant features for classifying MoCap data (AWV, TL, WRS, MFMC), pp. 2934–2937.

ICPR-2012-XiaDG #detection #invariant

An accurate and contrast invariant junction detector (GSX, JD, YG), pp. 2780–2783.

KDD-2012-LappasVG #invariant #mining #performance

Efficient and domain-invariant competitor mining (TL, GV, DG), pp. 408–416.

KDIR-2012-SpiegelA #analysis #distance #invariant

An Order-invariant Time Series Distance Measure — Position on Recent Developments in Time Series Analysis (SS, SA), pp. 264–268.

SEKE-2012-LuZZBA #decidability #invariant #petri net

Decidability of Minimal Supports of S-invariants and the Computation of their Supported S-invariants of Petri Nets (FL, QZ, HZ, YB, JA), pp. 340–345.

ECOOP-2012-XuYR #data type #detection #invariant #static analysis

Static Detection of Loop-Invariant Data Structures (G(X, DY, AR), pp. 738–763.

SAC-2012-HasegawaT #distance #invariant #using

Affine invariant shape matching using radon transform and dynamic time warping distance (MH, ST), pp. 777–781.

ICSE-2012-Ghardallou #analysis #invariant #termination #using

Using invariant relations in the termination analysis of while loops (WG), pp. 1519–1522.

ICSE-2012-NguyenKWF #array #dynamic analysis #invariant #polynomial #using

Using dynamic analysis to discover polynomial and array invariants (TN, DK, WW, SF), pp. 683–693.

ICSE-2012-SongT #invariant #metadata

Metadata invariants: Checking and inferring metadata coding conventions (MS, ET), pp. 694–704.

ICSE-2012-YuLHHKM #bidirectional #invariant #maintenance #traceability

Maintaining invariant traceability through bidirectional transformations (YY, YL, ZH, SH, HK, LM), pp. 540–550.

CAV-2012-Venet #analysis #difference #invariant #linear #scalability

The Gauge Domain: Scalable Analysis of Linear Inequality Invariants (AV), pp. 139–154.

ISSTA-2012-StaatsHKR #comprehension #correctness #invariant

Understanding user understanding: determining correctness of generated program invariants (MS, SH, MK, GR), pp. 188–198.

RTA-2012-AccattoliL #cost analysis #on the #reduction

On the Invariance of the Unitary Cost Model for Head Reduction (BA, UDL), pp. 22–37.

VMCAI-2012-SiegelZ #execution #invariant #parallel #source code #symbolic computation

Loop Invariant Symbolic Execution for Parallel Programs (SFS, TKZ), pp. 412–427.

ASE-2011-SagdeoAKV #clustering #invariant #named #using

PRECIS: Inferring invariants using program path guided clustering (PS, VA, SK, SV), pp. 532–535.

CASE-2011-Aguayo-LaraRR #invariant #petri net

Invariant subspaces and sensor placement for observability in Continuous Timed Petri Nets (EAL, ART, JJRL), pp. 607–612.

ICDAR-2011-PanZSN #invariant #using

Recognizing Characters with Severe Perspective Distortion Using Hash Tables and Perspective Invariants (PP, YZ, JS, SN), pp. 548–552.

ICDAR-2011-ParodiGB #approach #feature model #invariant #verification

A Circular Grid-Based Rotation Invariant Feature Extraction Approach for Off-line Signature Verification (MP, JCG, AB), pp. 1289–1293.

ICDAR-2011-WakaharaY #invariant #recognition

Affine-Invariant Recognition of Handwritten Characters via Accelerated KL Divergence Minimization (TW, YY), pp. 1095–1099.

TACAS-2011-GarbervetskyGN #invariant #using

Enforcing Structural Invariants Using Dynamic Frames (DG, DG, AN), pp. 65–80.

TACAS-2011-HoderKV #generative #invariant

Invariant Generation in Vampire (KH, LK, AV), pp. 60–64.

TACAS-2011-JungLWY #generative #invariant #quantifier

Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference (YJ, WL, BYW, KY), pp. 205–219.

TACAS-2011-PodelskiR #abstraction #invariant #termination

Transition Invariants and Transition Predicate Abstraction for Program Termination (AP, AR), pp. 3–10.

SAS-2011-McMillanZ #abstract interpretation #invariant

Invisible Invariants and Abstract Interpretation (KLM, LDZ), pp. 249–262.

STOC-2011-HatamiL #correlation #fault #invariant #testing

Correlation testing for affine invariant properties on Fpn in the high error regime (HH, SL), pp. 187–194.

ICALP-v2-2011-AndersonMSS #first-order #invariant #locality #logic #query

Locality of Queries Definable in Invariant First-Order Logic with Arbitrary Built-in Predicates (MA, DvM, NS, LS), pp. 368–379.

ICML-2011-RifaiVMGB #feature model

Contractive Auto-Encoders: Explicit Invariance During Feature Extraction (SR, PV, XM, XG, YB), pp. 833–840.

ECOOP-2011-BalzerG #invariant #multi #verification

Verifying Multi-object Invariants with Relationships (SB, TRG), pp. 358–382.

SAC-2011-BackP #invariant #proving #semantics #source code

Semantics and proof rules of invariant based programs (RJB, VP), pp. 1658–1665.

ESEC-FSE-2011-BeschastnikhBSSE #automation #invariant #modelling

Leveraging existing instrumentation to automatically infer invariant-constrained models (IB, YB, SS, MS, MDE), pp. 267–277.

CAV-2011-SharmaDDA #generative #invariant #using

Simplifying Loop Invariant Generation Using Splitter Predicates (RS, ID, TD, AA), pp. 703–719.

DAC-2010-ThalmaierNWSBK #induction #invariant #satisfiability

Analyzing k-step induction to compute invariants for SAT-based property checking (MT, MDN, MW, DS, JB, WK), pp. 176–181.

DocEng-2010-Lumley #documentation #functional #invariant #layout

Pre-evaluation of invariant layout in functional variable-data documents (JWL), pp. 251–254.

ESOP-2010-AdjeGG #invariant #policy #static analysis

Coupling Policy Iteration with Semi-definite Relaxation to Compute Accurate Numerical Invariants in Static Analysis (AA, SG, EG), pp. 23–42.

ICSM-2010-PonsiniCFMR #automation #invariant #verification

Automatic verification of loop invariants (OP, HC, CF, CM, MR), pp. 1–5.

SAS-2010-HeizmannJP #invariant #termination

Size-Change Termination and Transition Invariants (MH, NDJ, AP), pp. 22–50.

SAS-2010-KatoenMMM #automation #generative #invariant #probability #source code

Linear-Invariant Generation for Probabilistic Programs: — Automated Support for Proof-Based Methods (JPK, AM, LM, CCM), pp. 390–406.

SAS-2010-MatringeMR #algebra #generative #hybrid #invariant #linear

Generating Invariants for Non-linear Hybrid Systems by Linear Algebraic Methods (NM, AVM, RR), pp. 373–389.

SAS-2010-McCloskeyRS #array #invariant

Statically Inferring Complex Heap, Array, and Numeric Invariants (BM, TWR, MS), pp. 71–99.

STOC-2010-HarshaKM

An invariance principle for polytopes (PH, AK, RM), pp. 543–552.

SEFM-2010-GothelG #automation #invariant #network #realtime #towards #using #verification

Towards the Semi-Automatic Verification of Parameterized Real-Time Systems Using Network Invariants (TG, SG), pp. 310–314.

GT-VMT-2010-BlumeBK #graph #invariant

Recognizable Graph Languages for Checking Invariants (CB, HJSB, BK).

ICML-2010-VogtPFR #clustering #distance #invariant #process

The Translation-invariant Wishart-Dirichlet Process for Clustering Distance Data (JEV, SP, TJF, VR), pp. 1111–1118.

ICPR-2010-AshrafSF #constraints #invariant #rank #recognition #using

View-Invariant Action Recognition Using Rank Constraint (NA, YS, HF), pp. 3611–3614.

ICPR-2010-BenvenisteU #invariant

A Color Invariant Based Binary Coded Structured Light Range Scanner for Shiny Objects (RB, CÜ), pp. 798–801.

ICPR-2010-DahmG #2d #3d #approach #invariant #novel #recognition #using

A Novel Pose Invariant Face Recognition Approach Using a 2D-3D Searching Strategy (ND, YG), pp. 3967–3970.

ICPR-2010-EzojiF #invariant #recognition

Diffusion-Based Face Selective Smoothing in DCT Domain to Illumination Invariant Face Recognition (ME, KF), pp. 1164–1167.

ICPR-2010-Fehr #3d #invariant

Local Rotation Invariant Patch Descriptors for 3D Vector Fields (JF), pp. 1381–1384.

ICPR-2010-FleckD #image #invariant #using

Using Local Affine Invariants to Improve Image Matching (DF, ZD), pp. 1844–1847.

ICPR-2010-GuoC #invariant #named

FIND: A Neat Flip Invariant Descriptor (XG, XC), pp. 515–518.

ICPR-2010-HoangT #fourier #geometry #invariant

A Geometric Invariant Shape Descriptor Based on the Radon, Fourier, and Mellin Transforms (TVH, ST), pp. 2085–2088.

ICPR-2010-HurWL #estimation #invariant #learning

View Invariant Body Pose Estimation Based on Biased Manifold Learning (DH, CW, SWL), pp. 3866–3869.

ICPR-2010-IbrahimTH #image #invariant #representation

Spectral Invariant Representation for Spectral Reflectance Image (AI, ST, TH), pp. 2776–2779.

ICPR-2010-KhwajaAG #invariant #recognition #representation #using

Illumination and Expression Invariant Recognition Using SSIM Based Sparse Representation (AAK, AA, RG), pp. 4028–4031.

ICPR-2010-LiZZ #detection #invariant #using

Abandoned Objects Detection Using Double Illumination Invariant Foreground Masks (XL, CZ, DZ), pp. 436–439.

ICPR-2010-PatrauceanGC #identification #invariant #using

Bubble Tag Identification Using an Invariant — Under — Perspective Signature (VP, PG, JC), pp. 408–411.

ICPR-2010-RaytchevMTK #invariant #recognition

View-Invariant Object Recognition with Visibility Maps (BR, TM, TT, KK), pp. 1040–1043.

ICPR-2010-ScandaliarisS #invariant

Discriminant and Invariant Color Model for Tracking under Abrupt Illumination Changes (JS, AS), pp. 1840–1843.

ICPR-2010-SmeetsFHVS #3d #approach #composition #invariant #modelling #recognition #using

Fusion of an Isometric Deformation Modeling Approach Using Spectral Decomposition and a Region-Based Approach Using ICP for Expression-Invariant 3D Face Recognition (DS, TF, JH, DV, PS), pp. 1172–1175.

ICPR-2010-VachaH #invariant #recognition

Natural Material Recognition with Illumination Invariant Textural Features (PV, MH), pp. 858–861.

ICPR-2010-WuXJHCL #constraints #geometry #image #invariant #retrieval

Adding Affine Invariant Geometric Constraint for Partial-Duplicate Image Retrieval (ZW, QX, SJ, QH, PC, LL), pp. 842–845.

ICPR-2010-ZhangGC #detection #invariant #using

Water Reflection Detection Using a Flip Invariant Shape Detector (HZ, XG, XC), pp. 633–636.

OOPSLA-2010-DilligDA #abstraction #axiom #invariant #memory management

Symbolic heap abstraction with demand-driven axiomatization of memory invariants (ID, TD, AA), pp. 397–410.

OOPSLA-2010-ShiPYLZCZ #concurrent #debugging #detection #invariant

Do I use the wrong definition?: DeFuse: definition-use invariants for detecting concurrency and sequential bugs (YS, SP, ZY, SL, YZ, WC, WZ), pp. 160–174.

ICSE-2010-JilaniMLGM #invariant #using

Using invariant functions and invariant relations to compute loop functions (LLJ, OM, AL, WG, AM), pp. 317–318.

ICSE-2010-KrkaBPGM #behaviour #execution #invariant #model inference #using

Using dynamic execution traces and program invariants to enhance behavioral model inference (IK, YB, DP, JG, NM), pp. 179–182.

ICSE-2010-Lewis #generative #invariant #named #realtime

Zenet: generating and enforcing real-time temporal invariants (CL), pp. 329–330.

CAV-2010-BouajjaniDERS #bound #invariant #source code #synthesis

Invariant Synthesis for Programs Manipulating Lists with Unbounded Data (AB, CD, CE, AR, MS), pp. 72–88.

CAV-2010-ChatterjeeK #architecture #automation #communication #generative #induction #invariant #modelling

Automatic Generation of Inductive Invariants from High-Level Microarchitectural Models of Communication Fabrics (SC, MK), pp. 321–338.

CAV-2010-CohenMST #concurrent #invariant #source code #verification

Local Verification of Global Invariants in Concurrent Programs (EC, MM, WS, ST), pp. 480–494.

CAV-2010-KroeningSTW #analysis #composition #invariant #termination

Termination Analysis with Compositional Transition Invariants (DK, NS, AT, CMW), pp. 89–103.

IJCAR-2010-Kapur #abstraction #induction #invariant

Induction, Invariants, and Abstraction (DK), p. 353.

ISSTA-2010-GaleottiRPF #analysis #bound #invariant #performance #verification

Analysis of invariants for efficient bounded verification (JPG, NR, CLP, MFF), pp. 25–36.

LICS-2010-SchweikardtS #invariant

Addition-Invariant FO and Regularity (NS, LS), pp. 273–282.

TAP-2010-GogollaHK #automation #independence #invariant #ocl #proving #testing #visualisation

Proving and Visualizing OCL Invariant Independence by Automatically Generated Test Cases (MG, LH, MK), pp. 38–54.

VMCAI-2010-HenzingerHKV #invariant #matrix #type inference

Invariant and Type Inference for Matrices (TAH, TH, LK, AV), pp. 163–179.

VMCAI-2010-JungKWY #abstraction #algorithm #invariant #learning

Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction (YJ, SK, BYW, KY), pp. 180–196.

DATE-2009-AlvesNDB #detection #fault #multi #using

Detecting errors using multi-cycle invariance information (NA, KN, JD, RIB), pp. 791–796.

ICDAR-2009-GordoV #classification #documentation #invariant #layout #retrieval

A Rotation Invariant Page Layout Descriptor for Document Classification and Retrieval (AG, EV), pp. 481–485.

ICDAR-2009-HaboubiMEA #invariant #set

Invariant Primitives for Handwritten Arabic Script: A Contrastive Study of Four Feature Sets (SH, SM, NE, HEA), pp. 691–697.

FASE-2009-KovacsV #array #invariant #proving #source code #theorem proving #using

Finding Loop Invariants for Programs over Arrays Using a Theorem Prover (LK, AV), pp. 470–485.

PLDI-2009-GulwaniJK #analysis #bound #control flow #invariant #refinement

Control-flow refinement and progress invariants for bound analysis (SG, SJ, EK), pp. 375–385.

SAS-2009-GodoyT #invariant #source code

Invariant Checking for Programs with Procedure Calls (GG, AT), pp. 326–342.

STOC-2009-Shapira #invariant #testing

Green’s conjecture and testing linear-invariant properties (AS), pp. 159–166.

ICEIS-AIDSS-2009-SunLTT #2d #invariant #recognition #using

Using GRA for 2D Invariant Object Recognition (THS, JCL, CHT, FCT), pp. 108–112.

ICEIS-ISAS-2009-OhmoriK #approach #development #enterprise #invariant

Enterprise System Development with Invariant Preserving — A Mathematical Approach by the Homotopy Lifting and Extension Properties (KO, TLK), pp. 116–123.

KDIR-2009-LamB #categorisation #invariant #multi #using

Invariant Categorisation of Polygonal Objects using Multi-resolution Signatures (RL, JMHdB), pp. 168–173.

GPCE-2009-LiuGS #framework #invariant

A language and framework for invariant-driven transformations (YAL, MG, SDS), pp. 55–64.

SAC-2009-LiuDSYH #algorithm #classification #image #invariant #using

A new K-View algorithm for texture image classification using rotation-invariant feature (HL, SD, ES, CY, CCH), pp. 914–921.

ICSE-2009-MesbahD #ajax #automation #invariant #testing #user interface

Invariant-based automatic testing of AJAX user interfaces (AM, AvD), pp. 210–220.

CAV-2009-GuptaR #generative #invariant #named #performance

InvGen: An Efficient Invariant Generator (AG, AR), pp. 634–640.

ICLP-2009-PilozziS #proving #termination

Proving Termination by Invariance Relations (PP, DDS), pp. 499–503.

ISSTA-2009-SchulerDZ #invariant #mutation testing #performance #testing

Efficient mutation testing by checking invariant violations (DS, VD, AZ), pp. 69–80.

LICS-2009-Leroux #induction #invariant #problem #reachability

The General Vector Addition System Reachability Problem by Presburger Inductive Invariants (JL), pp. 4–13.

TAP-2009-Gladisch #contract #invariant #question

Could We Have Chosen a Better Loop Invariant or Method Contract? (CG), pp. 74–89.

VMCAI-2009-GulwaniSV #abstraction #constraints #invariant

Constraint-Based Invariant Inference over Predicate Abstraction (SG, SS, RV), pp. 120–135.

DATE-2008-ChengH #invariant #mining #verification

Simulation-Directed Invariant Mining for Software Verification (XC, MSH), pp. 682–687.

TACAS-2008-McMillan #generative #invariant #proving #quantifier #using

Quantified Invariant Generation Using an Interpolating Saturation Prover (KLM), pp. 413–427.

SAS-2008-AllamigeonGG #invariant #using

Inferring Min and Max Invariants Using Max-Plus Polyhedra (XA, SG, EG), pp. 189–204.

STOC-2008-KaufmanS #algebra #testing

Algebraic property testing: the role of invariance (TK, MS), pp. 403–412.

ICPR-2008-ChakrabortyE #constraints #invariant #locality #using

Object localization using affine invariant substructure constraints (IC, AME), pp. 1–5.

ICPR-2008-ChenR #3d #algorithm #invariant #linear #recognition

Linear time recognition algorithms for topological invariants in 3D (LC, YR), pp. 1–4.

ICPR-2008-EngelC #invariant

Scale-invariant medial features based on gradient vector flow fields (DE, CC), pp. 1–4.

ICPR-2008-FehrB #3d #invariant

3D rotation invariant local binary patterns (JF, HB), pp. 1–4.

ICPR-2008-GurS #detection #invariant

Non-Abelian invariant feature detection (YG, NAS), pp. 1–4.

ICPR-2008-HossainMJY #adaptation #identification #invariant #using

Clothes-invariant gait identification using part-based adaptive weight control (MAH, YM, WJ, YY), pp. 1–4.

ICPR-2008-HuaSY #algorithm #clustering #invariant

Scale-invariant density-based clustering initialization algorithm and its application (CH, RS, YY), pp. 1–4.

ICPR-2008-JeanBA #invariant #normalisation #recognition

Trajectories normalization for viewpoint invariant gait recognition (FJ, RB, ABA), pp. 1–4.

ICPR-2008-LiLS #feature model #invariant #recognition

Redundant DWT based translation invariant wavelet feature extraction for face recognition (DL, HL, ZS), pp. 1–4.

ICPR-2008-LiYWS #invariant #using

Bi-model tracking of object of interest using invariant spatiogram descriptor (JL, WYY, JGW, WS), pp. 1–4.

ICPR-2008-MaCL #collaboration #constraints #invariant #kernel #multi

Multi-cue collaborative kernel tracking with cross ratio invariant constraint (LM, JC, HL), pp. 1–4.

ICPR-2008-MeiA #invariant

Affine invariant shape descriptors: The ICA-Fourier descriptor and the PCA-Fourier descriptor (YM, DA), pp. 1–4.

ICPR-2008-MuseletT #invariant #normalisation

Illumination invariant spatio-colorimetric normalization (DM, AT), pp. 1–4.

ICPR-2008-NohHL #analysis #invariant #recognition

Regularized discriminant analysis for transformation-invariant object recognition (YKN, JH, DDL), pp. 1–5.

ICPR-2008-OjansivuRH #analysis #invariant

Rotation invariant local phase quantization for blur insensitive texture analysis (VO, ER, JH), pp. 1–4.

ICPR-2008-ParkPBB #invariant #named

pi-SIFT: A photometric and Scale Invariant Feature Transform (JHP, KWP, SHB, MB), pp. 1–4.

ICPR-2008-PerezO #invariant #learning #programming #search-based

Learning invariant region descriptor operators with genetic programming and the F-measure (CBP, GO), pp. 1–4.

ICPR-2008-SrestasathiernY #invariant #recognition

View invariant object recognition (PS, AY), pp. 1–4.

ICPR-2008-SukF #automation #equation #invariant

Affine moment invariants generated by automated solution of the equations (TS, JF), pp. 1–4.

ICPR-2008-ThomeA #bottom-up #detection #invariant

A bottom-up, view-point invariant human detector (NT, SA), pp. 1–4.

ICPR-2008-TodorovicA #invariant

Scale-invariant region-based hierarchical imagematching (ST, NA), pp. 1–5.

ICPR-2008-VachaH #invariant #markov #random

Illumination invariants based on Markov random fields (PV, MH), pp. 1–4.

ICPR-2008-WangM #invariant #probability #recognition #similarity #using

Scale invariant face recognition using probabilistic similarity measure (ZW, ZM), pp. 1–4.

ICPR-2008-WuZWGL #detection #invariant #video #visual notation

Invariant visual patterns for video copy detection (XW, YZ, YW, JG, JL), pp. 1–4.

ICPR-2008-XiaDG #analysis #invariant

Locally invariant texture analysis from the topographic map (GSX, JD, YG), pp. 1–4.

ICPR-2008-XiaoWH #graph #invariant #recognition #using

Object recognition using graph spectral invariants (XB, RCW, ERH), pp. 1–4.

ICPR-2008-XiaRH #invariant #ranking #robust #visual notation

Ranking the local invariant features for the robust visual saliencies (SX, PR, ERH), pp. 1–4.

ICPR-2008-YiAC #invariant #kernel #using

Orientation and scale invariant mean shift using object mask-based kernel (KMY, HSA, JYC), pp. 1–4.

MoDELS-2008-CabotCGL #analysis #declarative #invariant #model transformation

An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations (JC, RC, EG, JdL), pp. 37–52.

MoDELS-2008-CabotCGL #analysis #declarative #invariant #model transformation

An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations (JC, RC, EG, JdL), pp. 37–52.

ECOOP-2008-BanerjeeNR #invariant #logic #reasoning

Regional Logic for Local Reasoning about Global Invariants (AB, DAN, SR), pp. 387–411.

ECOOP-2008-DrossopoulouFMS #framework #invariant #verification

A Unified Framework for Verification Techniques for Object Invariants (SD, AF, PM, AJS), pp. 412–437.

SAC-2008-AbreuGZG #automation #fault #invariant #locality #using

Automatic software fault localization using generic program invariants (RA, AG, PZ, AJCvG), pp. 712–717.

ICSE-2008-CsallnerTS #execution #invariant #named #symbolic computation

DySy: dynamic symbolic execution for invariant inference (CC, NT, YS), pp. 281–290.

ICSE-2008-MalikPUK #generative #invariant #named #representation

Deryaft: a tool for generating representation invariants of structurally complex data (MZM, AP, EU, SK), pp. 859–862.

CAV-2008-PlatzerC #difference #hybrid #invariant

Computing Differential Invariants of Hybrid Systems as Fixedpoints (AP, EMC), pp. 176–189.

IJCAR-2008-Kovacs #generative #invariant #named

Aligator: A Mathematica Package for Invariant Generation (System Description) (LK), pp. 275–282.

ISSTA-2008-KannanS #data type #execution #generative #invariant #symbolic computation

Universal symbolic execution and its application to likely data structure invariant generation (YK, KS), pp. 283–294.

DATE-2007-CabodiNQ #induction #invariant #model checking

Boosting the role of inductive invariants in model checking (GC, SN, SQ), pp. 1319–1324.

ICDAR-2007-Hotta #classification #pattern matching #pattern recognition #recognition

Transform-Invariance in Local Averaging Classifier for Handwritten Digit Pattern Recognition (SH), pp. 347–351.

ICDAR-2007-RanzatoL #documentation #image #invariant

A Sparse and Locally Shift Invariant Feature Extractor Applied to Document Images (MR, YL), pp. 1213–1217.

SIGMOD-2007-XiaoT #dataset #named #privacy #towards

M-invariance: towards privacy preserving re-publication of dynamic datasets (XX, YT), pp. 689–700.

ESOP-2007-LeinoS #invariant #using #verification

Using History Invariants to Verify Observers (KRML, WS), pp. 80–94.

TACAS-2007-MalikPK #generative #invariant #representation

Generating Representation Invariants of Structurally Complex Data (MZM, AP, SK), pp. 34–49.

PLDI-2007-BeyerHMR #invariant

Path invariants (DB, TAH, RM, AR), pp. 300–309.

PLDI-2007-ShankarB #automation #data type #invariant #java #named

DITTO: automatic incrementalization of data structure invariant checks (in Java) (AS, RB), pp. 310–319.

SAS-2007-ChangRN #analysis #invariant

Shape Analysis with Structural Invariant Checkers (BYEC, XR, GCN), pp. 384–401.

DLT-2007-BienvenuS #automaton #invariant

The Dynamics of Cellular Automata in Shift-Invariant Topologies (LB, MS), pp. 84–95.

ECOOP-2007-LuPX #invariant

Validity Invariants and Effects (YL, JP, JX), pp. 202–226.

OOPSLA-2007-FahndrichX #invariant

Establishing object invariants with delayed types (MF, SX), pp. 337–350.

POPL-2007-BerdineCCDO #analysis

Variance analyses from invariance analyses (JB, AC, BC, DD, PWO), pp. 211–224.

CSL-2007-GaintzarainHLNO #calculus #invariant

A Cut-Free and Invariant-Free Sequent Calculus for PLTL (JG, MH, PL, MN, FO), pp. 481–495.

CSL-2007-GawlitzaS #invariant #precise #relational

Precise Relational Invariants Through Strategy Iteration (TG, HS), pp. 23–40.

SAT-2007-Kullmann #invariant #matrix #polynomial #satisfiability

Polynomial Time SAT Decision for Complementation-Invariant Clause-Sets, and Sign-non-Singular Matrices (OK), pp. 314–327.

TAP-2007-BackEM #invariant #source code #testing #verification

Testing and Verifying Invariant Based Programs in the SOCOS Environment (RJB, JE, MM), pp. 61–78.

VMCAI-2007-BeyerHMR #invariant #synthesis

Invariant Synthesis for Combined Theories (DB, TAH, RM, AR), pp. 378–394.

VMCAI-2007-CheremR #analysis #invariant #maintenance #reasoning

Maintaining Doubly-Linked List Invariants in Shape Analysis with Local Reasoning (SC, RR), pp. 234–250.

DAC-2006-AwedhS #automation #bound #invariant #model checking

Automatic invariant strengthening to prove properties in bounded model checking (MA, FS), pp. 1073–1076.

DocEng-2006-MacdonaldBL #documentation #layout

Evaluating invariances in document layout functions (AJM, DFB, JWL), pp. 25–27.

VLDB-2006-KeoghWXLV #distance #metric

LB_Keogh Supports Exact Indexing of Shapes under Rotation Invariance with Arbitrary Representations and Distance Measures (EJK, LW, XX, SHL, MV), pp. 882–893.

SAS-2006-JhalaMX #invariant

Structural Invariants (RJ, RM, RGX), pp. 71–87.

ICML-2006-DingZHZ #analysis #component #invariant #named #robust

R1-PCA: rotational invariant L1-norm principal component analysis for robust subspace factorization (CHQD, DZ, XH, HZ), pp. 281–288.

ICML-2006-ShivaswamyJ #invariant #permutation

Permutation invariant SVMs (PKS, TJ), pp. 817–824.

ICPR-v1-2006-ItoO #detection #invariant #recognition #using

Detection and Recognition of Moving Objects by Using Motion Invariants (SI, NO), pp. 683–686.

ICPR-v1-2006-Lopez-FrancoB #algebra #geometry #invariant #navigation #using

Omnidirectional Vision and Invariant Theory for Robot Navigation Using Conformal Geometric Algebra (CLF, EBC), pp. 570–573.

ICPR-v1-2006-ToewsA #detection #invariant

Detection Over Viewpoint via the Object Class Invariant (MT, TA), pp. 765–768.

ICPR-v1-2006-WangCWG #invariant #recognition #verification

A Verification Method for Viewpoint Invariant Sign Language Recognition (QW, XC, CW, WG), pp. 456–459.

ICPR-v1-2006-ZhuJ #detection #invariant #realtime #robust

Robust Pose Invariant Facial Feature Detection and Tracking in Real-Time (ZZ, QJ), pp. 1092–1095.

ICPR-v2-2006-ChenB #classification #invariant #using

Invariant Texture Classification Using Ridgelet Packets (GC, PB), pp. 464–467.

ICPR-v2-2006-ChenBK #invariant #pattern matching #pattern recognition #recognition

Invariant Ridgelet-Fourier Descriptor for Pattern Recognition (GC, TDB, AK), pp. 768–771.

ICPR-v2-2006-ChiuL #invariant #using

Matching Interest Points Using Affine Invariant Concentric Circles (HPC, TLP), pp. 167–170.

ICPR-v2-2006-LuT06a #invariant #recognition

Camera Text Recognition based on Perspective Invariants (SL, CLT), pp. 1042–1045.

ICPR-v2-2006-OmachiIUK #invariant #recognition

Affine Invariant Information Embedment for Accurate Camera-Based Character Recognition (SO, MI, SU, KK), pp. 1098–1101.

ICPR-v2-2006-QiaoY #invariant #online #recognition

Affine Invariant Dynamic Time Warping and its Application to Online Rotated Handwriting Recognition (YQ, MY), pp. 905–908.

ICPR-v2-2006-RahtuSHF #invariant

Generalized affine moment invariants for object recogntion (ER, MS, JH, JF), pp. 634–637.

ICPR-v2-2006-RiggiTA #estimation #invariant #matrix #parametricity

Fundamental Matrix Estimation via TIP — Transfer of Invariant Parameters (FR, MT, TA), pp. 21–24.

ICPR-v2-2006-RohSLL #gesture #invariant #recognition

Volume Motion Template for View-Invariant Gesture Recognition (MCR, HKS, SWL, SWL), pp. 1229–1232.

ICPR-v2-2006-SaraM #invariant #named #recognition #towards

FAIR: Towards A New Feature for Affinely-Invariant Recognition (RS, MM), pp. 412–416.

ICPR-v2-2006-SenerU #analysis #component #independence #invariant #normalisation #using

A New Affine Invariant Curve Normalization Technique Using Independent Component Analysis (SS, MU), p. 48.

ICPR-v2-2006-TianK #invariant

A Low-Complexity Deformation Invariant Descriptor (LT, SiK), pp. 227–230.

ICPR-v2-2006-XuL #3d #geometry #invariant

3-D Affine Moment Invariants Generated by Geometric Primitives (DX, HL), pp. 544–547.

ICPR-v2-2006-YamadaS #invariant #recognition

Space-Time Moment Invariants and Recognition of Non-Rigid Motions from Arbitrary Viewpoints (TY, JS), pp. 990–993.

ICPR-v2-2006-YangG #composition #invariant #using

Line-Based Affine Invariant Object Location Using Transformation Space Decomposition (RY, YG), pp. 646–649.

ICPR-v3-2006-ArtolazabalIA #invariant #named

LIGHT: Local Invariant Generalized Hough Transform (JARA, JI, ASA), pp. 304–307.

ICPR-v3-2006-CaetanoC #invariant #pattern matching

A Unified Formulation of Invariant Point Pattern Matching (TSC, TC), pp. 121–124.

ICPR-v3-2006-CooganS #recognition

Transformation Invariance in Hand Shape Recognition (TC, AS), pp. 485–488.

ICPR-v3-2006-FaselG #invariant

Rotation-Invariant Neoperceptron (BF, DGP), pp. 336–339.

ICPR-v3-2006-HaindlV #invariant #retrieval

Illumination Invariant Texture Retrieval (MH, PV), pp. 276–279.

ICPR-v3-2006-KongGT #approach #invariant

A Viewpoint Invariant Approach for Crowd Counting (DK, DG, HT), pp. 1187–1190.

ICPR-v3-2006-OngCB #3d #invariant

Scale Invariants of Three-Dimensional Legendre Moments (LYO, CWC, RB), pp. 141–144.

ICPR-v3-2006-PozdnoukhovB #graph #invariant #kernel #pattern matching #pattern recognition #recognition

Graph-based transformation manifolds for invariant pattern recognition with kernel methods (AP, SB), pp. 1228–1231.

ICPR-v3-2006-TuIXFH #invariant #probability #recognition

Variational Shift Invariant Probabilistic PCA for Face Recognition (JT, AI, XX, FFL, TSH), pp. 548–551.

ICPR-v4-2006-AbateNRR #invariant #recognition

Ear Recognition by means of a Rotation Invariant Descriptor (AFA, MN, DR, SR), pp. 437–440.

ICPR-v4-2006-FengC #invariant #using

Fingerprint Indexing Using Ridge Invariants (JF, AC), pp. 433–436.

ICPR-v4-2006-PozdnoukhovB06a #graph #invariant #kernel #pattern matching #pattern recognition #recognition

Graph-based transformation manifolds for invariant pattern recognition with kernel methods (AP, SB), p. 956.

ICPR-v4-2006-ReisertB #3d #data-driven #database #integration #invariant #using

Invariant Features for 3D-Data based on Group Integration using Directional Information and Spherical Harmonic Expansion (MR, HB), pp. 206–209.

ICPR-v4-2006-VillamizarSA #detection #image #invariant #realtime #using

Computation of Rotation Local Invariant Features using the Integral Image for Real Time Object Detection (MV, AS, JAC), pp. 81–85.

ICPR-v4-2006-XuC #classification #invariant #multi

Multiscale Blob Features for Gray Scale, Rotation and Spatial Scale Invariant Texture Classification (QX, YQC), pp. 29–32.

ICPR-v4-2006-XuL06b #3d #invariant

3-D Surface Moment Invariants (DX, HL), pp. 173–176.

ICPR-v4-2006-YuanYT #invariant #symmetry

Perspective Symmetry Invariant and Its Applications (TY, SY, XT), pp. 65–68.

MoDELS-2006-Kosiuczenko #ocl #specification #variability

Specification of Invariability in OCL (PK), pp. 676–691.

MoDELS-2006-Kosiuczenko #ocl #specification #variability

Specification of Invariability in OCL (PK), pp. 676–691.

ICSE-2006-BeckerBGKS #adaptation #invariant #verification

Symbolic invariant verification for systems with dynamic structural adaptation (BB, DB, HG, FK, DS), pp. 72–81.

ICSE-2006-CsallnerS #interface #invariant

Dynamically discovering likely interface invariants (CC, YS), pp. 861–864.

ICSE-2006-EvansP #invariant

Inculcating invariants in introductory courses (DE, MP), pp. 673–678.

ASPLOS-2006-LuTQZ #detection #invariant #named

AVIO: detecting atomicity violations via access interleaving invariants (SL, JT, FQ, YZ), pp. 37–48.

CAV-2006-JainIGSW #abstraction #invariant #refinement #using

Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop (HJ, FI, AG, IS, CW), pp. 137–151.

IJCAR-2006-GrinchteinLP #automation #invariant #network

Inferring Network Invariants Automatically (OG, ML, NP), pp. 483–497.

IJCAR-2006-SorgeMMC #automation #invariant #verification

Automatic Construction and Verification of Isotopy Invariants (VS, AM, RLM, SC), pp. 36–51.

DAC-2005-HangalCNC #automation #design #hardware #invariant #named

IODINE: a tool to automatically infer dynamic invariants for hardware designs (SH, NC, SN, SC), pp. 775–778.

ICDAR-2005-NakaiKI #documentation #image #invariant #retrieval

Camera-Based Document Image Retrieval as Voting for Partial Signatures of Projective Invariants (TN, KK, MI), pp. 379–383.

TACAS-2005-Jiang #invariant #on the

On Some Transformation Invariants Under Retiming and Resynthesis (JHRJ), pp. 413–428.

PASTE-2005-Hamlet #formal method #invariant #testing

Invariants and state in testing and formal methods (DH), pp. 48–51.

SAS-2005-BagnaraRZ #algebra #generative #invariant #using

Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra (RB, ERC, EZ), pp. 19–34.

FM-2005-LeinoM #composition #invariant #verification

Modular Verification of Static Class Invariants (KRML, PM), pp. 26–42.

SEFM-2005-JacobsPLS #concurrent #invariant

Safe Concurrency for Aggregate Objects with Invariants (BJ, FP, KRML, WS), pp. 137–147.

SEFM-2005-Leino #invariant

Invariants on Demand (KRML), pp. 148–149.

SEFM-2005-WelchFD #automation #invariant #maintenance

Automatic Maintenance of Association Invariants (JW, DF, JD), pp. 282–292.

CIKM-2005-VlachosVYA #invariant

Rotation invariant indexing of shapes and line drawings (MV, ZV, PSY, VA), pp. 131–138.

MoDELS-2005-StirewaltR #automation #compilation #invariant #maintenance #ocl

Automated Invariant Maintenance Via OCL Compilation (KS, SR), pp. 616–632.

MoDELS-2005-StirewaltR #automation #compilation #invariant #maintenance #ocl

Automated Invariant Maintenance Via OCL Compilation (KS, SR), pp. 616–632.

CAV-2005-BalabanFPZ #invariant #named #verification

IIV: An Invisible Invariant Verifier (IB, YF, AP, LDZ), pp. 408–412.

CAV-2005-Kaivola #component #induction #invariant #simulation #verification

Formal Verification of Pentium® 4 Components with Symbolic Simulation and Inductive Invariants (RK), pp. 170–184.

CSL-2005-BenediktS #invariant #query #towards

Towards a Characterization of Order-Invariant Queries over Tame Structures (MB, LS), pp. 276–291.

TestCom-2005-LadaniAC #approach #invariant #testing

Passive Testing — A Constrained Invariant Checking Approach (BTL, BA, ARC), pp. 9–22.

VMCAI-2005-Cousot #abstraction #parametricity #programming #proving #termination

Proving Program Invariance and Termination by Parametric Abstraction, Lagrangian Relaxation and Semidefinite Programming (PC), pp. 1–24.

TACAS-2004-QianN #abstraction #database #invariant #model checking

Guided Invariant Model Checking Based on Abstraction and Symbolic Pattern Databases (KQ, AN), pp. 497–511.

SAS-2004-Rodriguez-CarbonellK #abstract interpretation #approach #automation #generative #invariant #polynomial

An Abstract Interpretation Approach for Automatic Generation of Polynomial Invariants (ERC, DK), pp. 280–295.

ICPR-v1-2004-ChenL #image #invariant #recognition

Illumination and Expression Invariant Face Recognition with One Sample Image (SC, BCL), pp. 300–303.

ICPR-v1-2004-FortunaC #invariant #recognition

ICA Filters For Lighting Invariant Face Recognition (JF, DWC), pp. 334–337.

ICPR-v1-2004-Horikawa #classification #comparison #invariant #kernel

Comparison of Support Vector Machines with Autocorrelation Kernels for Invariant Texture Classification (YH), pp. 660–663.

ICPR-v1-2004-UrbachRW #invariant

Connected Rotation-Invariant Size-Shape Granulometries (ERU, JBTMR, MHFW), pp. 688–691.

ICPR-v2-2004-Clocksin #order #recognition #using

Handwritten Syriac Character Recognition using Order Structure Invariance (WFC), pp. 562–565.

ICPR-v2-2004-FlusserZ #invariant #symmetry

Invariants to Convolution with Circularly Symmetric PSF (JF, BZ), pp. 11–14.

ICPR-v2-2004-GritaiSS #analysis #invariant #on the

On the use of Anthropometry in the Invariant Analysis of Human Actions (AG, YS, MS), pp. 923–926.

ICPR-v2-2004-HaasdonkHB #invariant

Adjustable Invariant Features by Partial Haar-Integration (BH, AH, HB), pp. 769–774.

ICPR-v2-2004-RubeAK #classification #invariant #multi

Coarse-to-Fine Multiscale Affine Invariant Shape Matching and Classification (IER, MA, MK), pp. 163–166.

ICPR-v2-2004-SukF #generative #graph #invariant

Graph Method for Generating Affine Moment Invariants (TS, JF), pp. 192–195.

ICPR-v3-2004-McCallT #analysis #invariant #using

Pose Invariant Affect Analysis using Thin-Plate Splines (JCM, MMT), pp. 958–964.

ICPR-v3-2004-PozdnoukhovB #classification #image #invariant #kernel

Tangent Vector Kernels for Invariant Image Classification with SVMs (AP, SB), pp. 486–489.

ICPR-v4-2004-KangCM #invariant #using

Object Reacquisition Using Invariant Appearance Model (JK, IC, GGM), pp. 759–762.

ICPR-v4-2004-KarlssonEA #invariant #modelling #statistics

Parameterisation Invariant Statistical Shape Models (JK, AE, KÅ), pp. 23–26.

ICPR-v4-2004-KoseckaY #estimation #invariant #locality

Global Localization and Relative Pose Estimation Based on Scale-Invariant Features (JK, XY), pp. 319–322.

KDD-2004-VlachosGD #distance #invariant #metric

Rotation invariant distance measures for trajectories (MV, DG, GD), pp. 707–712.

KR-2004-Lin #invariant

Discovering State Invariants (FL), pp. 536–544.

SEKE-2004-SetiadiNKM #invariant #java

Analyzing Invariant Condition of Running Java Program (TES, KN, YK, MM), pp. 350–353.

ECOOP-2004-LeinoM #invariant

Object Invariants in Dynamic Contexts (KRML, PM), pp. 491–516.

POPL-2004-SankaranarayananSM #generative #invariant #using

Non-linear loop invariant generation using Gröbner bases (SS, HS, ZM), pp. 318–329.

FSE-2004-PerkinsE #algorithm #detection #incremental #invariant #performance

Efficient incremental algorithms for dynamic detection of likely invariants (JHP, MDE), pp. 23–32.

LICS-2004-NaumannB #imperative #invariant #reasoning #towards

Towards Imperative Modules: Reasoning about Invariants and Sharing of Mutable State (DAN, MB), pp. 313–323.

LICS-2004-PodelskiR #invariant

Transition Invariants (AP, AR), pp. 32–41.

VMCAI-2004-LahiriB #abstraction #invariant #quantifier

Constructing Quantified Invariants via Predicate Abstraction (SKL, REB), pp. 267–281.

VMCAI-2004-Logozzo #automation #invariant

Automatic Inference of Class Invariants (FL), pp. 211–222.

VMCAI-2004-PaceS #difference #kernel #model checking #using

Model Checking Polygonal Differential Inclusions Using Invariance Kernels (GJP, GS), pp. 110–121.

ASE-2003-GuptaH #detection #invariant #test coverage

A New Structural Coverage Criterion for Dynamic Detection of Program Invariants (NG, ZVH), pp. 49–59.

TACAS-2003-FontaineG #decidability #invariant #validation

Decidability of Invariant Validation for Paramaterized Systems (PF, EPG), pp. 97–112.

TACAS-2003-Schmidt #invariant #petri net #using

Using Petri Net Invariants in State Space Construction (KS0), pp. 473–488.

CSMR-2003-GibbsM #aspect-oriented #c++ #invariant #validation #weaving

Weaving Aspects into C++ Applications for Validation of Temporal Invariants (THG, BAM), pp. 249–258.

FME-2003-Charpentier #invariant

Composing Invariants (MC), pp. 401–421.

ICEIS-v2-2003-Abdel-WahaabBHH #3d #invariant #network #recognition #using

Three-Dimensional Object Recognition Using Support Vector Machine Neural Network Based on Moment Invariant Features (MSAW, SFB, ASH, DMH), pp. 583–588.

KDD-2003-ChudovaGMS #clustering #invariant #modelling

Translation-invariant mixture models for curve clustering (DC, SG, EM, PS), pp. 79–88.

CAV-2003-Abu-HaimedBD #consistency #invariant #testing

Strengthening Invariants by Symbolic Consistency Testing (HAH, SB, DLD), pp. 407–419.

CAV-2003-ColonSS #constraints #generative #invariant #linear #theorem proving #using

Linear Invariant Generation Using Non-linear Constraint Solving (MC, SS, HS), pp. 420–432.

LICS-2003-Rossman #finite

Successor-Invariance in the Finite (BR), p. 148–?.

ASE-2002-GibbsMP #automation #c++ #invariant #validation

Automated Validation of Class Invariants in C++ Applications (THG, BAM, JFP), p. 205–?.

ICGT-2002-PadbergE #graph transformation #invariant #safety

Rule Invariants in Graph Transformation Systems for Analyzing Safety-Critical Systems (JP, BE), pp. 334–350.

ICPR-v1-2002-Heikkila #invariant #multi #pattern matching #pattern recognition #recognition

Multi-Scale Autoconvolution for Affine Invariant Pattern Recognition (JH), pp. 119–122.

ICPR-v1-2002-KimuraW #2d #detection #invariant

An Extension of the Generalized Hough Transform to Realize Affine-Invariant Two-dimensional (2D) Shape Detection (AK, TW), pp. 65–69.

ICPR-v1-2002-LongL #hybrid #invariant

A Hybrid Model for Invariant and Perceptual Texture Mapping (HL, WKL), pp. 135–138.

ICPR-v1-2002-ParameswaranC #invariant #recognition #representation

Quasi-Invariants for Human Action Representation and Recognition (VP, RC), pp. 307–310.

ICPR-v2-2002-ChennubhotlaJM #detection #invariant #robust

Robust Contrast-Invariant EigenDetection (CC, ADJ, JM), pp. 745–748.

ICPR-v2-2002-IpCW #invariant #retrieval #sketching

Affine Invariant Retrieval of Shapes Based on Hand-Drawn Sketches (HHSI, AKYC, WYFW), pp. 794–797.

ICPR-v2-2002-KamijoIS #image #invariant #markov #random #segmentation

Illumination Invariant Segmentation of Spatio-Temporal Images by Spatio-Temporal Markov Random Field Model (SK, KI, MS), pp. 617–622.

ICPR-v2-2002-RonnebergerBS #3d #classification #invariant #recognition #set #using

General-Purpose Object Recognition in 3D Volume Data Sets Using Gray-Scale Invariants --- Classification of Airborne Pollen-Grains Recorded with a Confocal Laser Scanning Microscope (OR, HB, ES), p. 290–?.

ICPR-v2-2002-ZhangTM #invariant #segmentation

Invariant Texture Segmentation Via Circular Gabor Filters (JZ, TT, LM), pp. 901–904.

ICPR-v3-2002-GurevichJS #image #invariant #recognition

A Method of Image Recognition Based on the Fusion of Reduced Invariant Representations: Mathematical Substantiation (IBG, IAJ, YGS), pp. 391–394.

ICPR-v4-2002-GokberkAA #feature model #invariant #recognition

Feature Selection for Pose Invariant Face Recognition (BG, LA, EA), pp. 306–309.

ICPR-v4-2002-MendelsVT #invariant #recognition #representation #using

Rotation and Scale Invariant Shape Representation and Recognition Using Matching Pursuit (FM, PV, JPT), pp. 326–329.

ICPR-v4-2002-MizoguchiS #invariant #video

Space-Time Invariants and Video Motion Extraction from Arbitrary Viewpoints (MM, JS), pp. 56–59.

ICPR-v4-2002-SukF #invariant

Blur and Affine Moment Invariants (TS, JF), pp. 339–342.

FSE-2002-NimmerE #invariant #static analysis

Invariant inference for static checking (JWN, MDE), pp. 11–20.

ICSE-2002-DengDHM #concurrent #invariant #source code #specification #synthesis #verification

Invariant-based specification, synthesis, and verification of synchronization in concurrent programs (XD, MBD, JH, MM), pp. 442–452.

TACAS-2001-PnueliRZ #automation #deduction #invariant #verification

Automatic Deductive Verification with Invisible Invariants (AP, SR, LDZ), pp. 82–97.

TACAS-2001-TiwariRSS #generative #invariant

A Technique for Invariant Generation (AT, HR, HS, NS), pp. 113–127.

ICSM-2001-Ernst #invariant #summary

Summary of Dynamically Discovering Likely Program Invariants (MDE), pp. 540–544.

ICSM-2001-KataokaEGN #automation #invariant #refactoring #using

Automated Support for Program Refactoring Using Invariants (YK, MDE, WGG, DN), pp. 736–743.

PASTE-2001-Webber #invariant #question #what

What is a class invariant? (ABW), pp. 86–89.

SVIS-2001-WilhelmMS #algorithm #invariant #visualisation

Algorithm Explanation: Visualizing Abstract States and Invariants (RW, TM, RS), pp. 381–394.

RE-2001-JeffordsH #algorithm #invariant #requirements #specification

An Algorithm for Strengthening State Invariants Generated from Requirements Specifications (RDJ, CLH), pp. 182–193.

FASE-2000-HuizingK #invariant #object-oriented #source code #using #verification

Verification of Object Oriented Programs Using Class Invariants (KH, RK), pp. 208–221.

TACAS-2000-BharadwajS #automation #constraints #invariant #named #theorem proving

Salsa: Combining Constraint Solvers with BDDs for Automatic Invariant Checking (RB, SS), pp. 378–394.

SAS-2000-BensalemBFGL #approach #generative #invariant

A Transformational Approach for Generating Non-linear Invariants (SB, MB, JCF, LG, YL), pp. 58–74.

SAS-2000-ChinKHT #invariant #parallel

Deriving Parallel Codes via Invariants (WNC, SCK, ZH, MT), pp. 75–94.

ICPR-v1-2000-AvrithisXK #invariant #normalisation #retrieval

Affine-Invariant Curve Normalization for Shape-Based Retrieval (YSA, YX, SDK), pp. 5015–5018.

ICPR-v1-2000-Bayro-Corrochano #algebra #invariant #using

Computing Depth, Shape and Motion Using Invariants and Incidence Algebra (EBC), pp. 1881–1884.

ICPR-v1-2000-BigorgneAD #image #invariant #retrieval

An Invariant Local Vector for Content-Based Image Retrieval (EB, CA, JD), pp. 5019–5022.

ICPR-v1-2000-ChaoNO #3d #invariant #recognition #representation

A Hierarchical Invariant Representation of Spatial Topology of 3D Objects and Its Application to Object Recognition (JC, MN, SO), pp. 1920–1923.

ICPR-v1-2000-GotzeDH #invariant #recognition

Invariant Object Recognition with Discriminant Features Based on Local Fast-Fourier Mellin Transform (NG, SD, GH), pp. 1948–1951.

ICPR-v1-2000-GrossYW #invariant #modelling #recognition

Growing Gaussian Mixture Models for Pose Invariant Face Recognition (RG, JY, AW), pp. 5088–5091.

ICPR-v1-2000-Pilu #invariant #optimisation #random

Optimizing Random Patterns for Invariants-based Matching (MP), pp. 1716–1719.

ICPR-v1-2000-WeissR #using

Recognizing Articulated Objects Using Invariance (IW, MR), pp. 1055–1058.

ICPR-v1-2000-XueLT #invariant #performance #using

Efficient Object Matching Using Affine-Invariant Deformable Contour (ZX, SZL, EKT), pp. 1672–1675.

ICPR-v2-2000-Alvarez-BorregoMCP #correlation #invariant #recognition

Invariant Optical Color Correlation for Recognition of Vibrio cholerae O1 (JÁB, RRMP, GC, JLPP), pp. 2283–2286.

ICPR-v2-2000-DahmenKGN #image #invariant #recognition #using

Invariant Image Object Recognition Using Mixture Densities (JD, DK, MOG, HN), pp. 2614–2617.

ICPR-v2-2000-Horikawa #2d #3d #image #invariant #similarity

Bispectrum-Based Feature of 2D and 3D Images Invariant to Similarity Transformations (YH), pp. 2511–2514.

ICPR-v2-2000-LaoKST #3d #invariant #recognition #using

3D Template Matching for Pose Invariant Face Recognition Using 3D Facial Model Built with Isoluminance Line Based Stereo Vision (SL, MK, YS, FT), pp. 2911–2916.

ICPR-v2-2000-Mariani #constraints #invariant #recognition

Local Invariants and Local Constraints for Face Recognition (RM), pp. 2949–2952.

ICPR-v2-2000-RibaCVJ #classification #invariant

Methods for Invariant Signature Classification (JRR, AC, SV, IJ), pp. 2953–2956.

ICPR-v2-2000-SchaelS #3d #invariant

Invariant Grey-Scale Features for 3D Sensor-Data (MS, SS), pp. 2531–2535.

ICPR-v2-2000-TerrillonMSSA #detection #invariant #orthogonal

Invariant Neural-Network Based Face Detection with Orthogonal Fourier-Mellin Moments (JCT, DM, MS, YS, SA), p. 2993–?.

ICPR-v3-2000-ChantlerM #classification #invariant #on the

On the Use of Gradient Space Eigenvalues for Rotation Invariant Texture Classification (MJC, GM), pp. 3943–3946.

ICPR-v3-2000-ChetverikovF #classification #invariant

Affine-Invariant Texture Classification (DC, ZF), pp. 3901–3904.

ICPR-v3-2000-DaoudiM #invariant #multi #representation

New Multiscale Planar Shape Invariant Representation under a General Affine Transformations (MD, SM), pp. 3794–3797.

ICPR-v3-2000-Jianchao #2d #estimation #geometry

Estimation of 2D Motion Field Based on Affine Geometric Invariance (YJ), pp. 7049–7052.

ICPR-v3-2000-MullerH #image #invariant #on the

On the Use of SDF-Type Filters for Distortion Invariant Image Location (NM, BMH), pp. 3530–3533.

ICPR-v3-2000-PaschalakisL #geometry #image #invariant #recognition

Combined Geometric Transformation and Illumination Invariant Object Recognition in RGB Color Images (SP, PL), pp. 3588–3591.

ICPR-v3-2000-SchoutenZ

Fractal Transforms and Feature Invariance (BAMS, PMdZ), pp. 3992–3997.

ICPR-v4-2000-ColiosT #identification #invariant #permutation

Landmark Identification Based on Projective and Permutation Invariant Vectors (CIC, PET), pp. 4128–4131.

ICPR-v4-2000-FrantiMK #image #invariant

Hough Transform for Rotation Invariant Matching of Line-Drawing Images (PF, AM, HK), pp. 4389–4392.

ICPR-v4-2000-NakajimaIPP #correlation #detection #invariant #recognition

Object Recognition and Detection by a Combination of Support Vector Machine and Rotation Invariant Phase Only Correlation (CN, NI, MP, TP), pp. 4787–4790.

ICPR-v4-2000-TerrillonSSFA #detection #invariant

Invariant Face Detection with Support Vector Machines (JCT, MNS, MS, HF, SA), pp. 4210–4217.

ICPR-v4-2000-WakaharaK #correlation #invariant #recognition #using

Affine-Invariant Gray-Scale Character Recognition Using GAT Correlation (TW, YK), pp. 4417–4421.

TOOLS-PACIFIC-2000-SkevoulisJ #detection #fault #invariant #java #runtime #source code #static analysis

Generic Invariant-Based Static Analysis Tool for Detection of Runtime Errors in Java Programs (SS, XJ), pp. 36–44.

ICSE-2000-ErnstCGN #detection #invariant

Quickly detecting relevant program invariants (MDE, AC, WGG, DN), pp. 449–458.

CAV-2000-Rushby #diagrams #invariant #verification

Verification Diagrams Revisited: Disjunctive Invariants for Easy Verification (JMR), pp. 508–520.

CL-2000-NakamuraB #database #declarative #maintenance

Invariance, Maintenance, and Other Declarative Objectives of Triggers — A Formal Characterization of Active Databases (MN, CB), pp. 1210–1224.

CSL-2000-Pauly #bisimulation #game studies #safety #source code

From Programs to Games: Invariance and Safety for Bisimulation (MP), pp. 485–496.

ICDAR-1999-KharmaW #invariant #recognition

A Simple Invariant Mapping Applied to Hand-written Pre-segmented Character Recognition (NNK, RKW), pp. 41–44.

ICDAR-1999-NosaryHPL #adaptation #invariant #recognition

Defining Writer’s Invariants to Adapt the Recognition Task (AN, LH, TP, YL), pp. 765–768.

ICDAR-1999-WakaharaK #correlation #invariant #using

Affine-Invariant Correlation of Gray-Scale Characters using GAT Iteration (TW, YK), pp. 613–616.

ICML-1999-NgHR #policy #theory and practice

Policy Invariance Under Reward Transformations: Theory and Application to Reward Shaping (AYN, DH, SJR), pp. 278–287.

TOOLS-EUROPE-1999-Mikhajlova99a #component #consistency #invariant

Consistent Extension of Components in the Presence of Explicit Invariants (AM), pp. 76–85.

ICSE-1999-Ernst #detection #invariant #research #summary

Research Summary for Dynamic Detection of Program Invariants (MDE), pp. 718–719.

ICSE-1999-ErnstCGN #evolution #invariant

Dynamically Discovering Likely Program Invariants to Support Program Evolution (MDE, JC, WGG, DN), pp. 213–224.

CAV-1999-Etessami #automaton #invariant #logic

Stutter-Invariant Languages, ω-Automata, and Temporal Logic (KE), pp. 236–248.

LICS-1999-Libkin #bound #invariant #logic #query

Logics with Counting, Auxiliary Relations, and Lower Bounds for Invariant Queries (LL), pp. 316–325.

DATE-1998-GhoshKBH #benchmark #equivalence #invariant #metric #synthesis

Synthesis of Wiring Signature-Invariant Equivalence Class Circuit Mutants and Applications to Benchmarking (DG, NK, FB, JEHI), pp. 656–663.

PODS-1998-SegoufinV #database #invariant #query

Querying Spatial Databases via Topological Invariants (LS, VV), pp. 89–98.

SIGMOD-1998-RaoR #correlation #invariant #query #reuse

Reusing Invariants: A New Strategy for Correlated Queries (JR, KAR), pp. 37–48.

ICML-1998-Saul #automation #segmentation

Automatic Segmentation of Continuous Trajectories with Invariance to Nonlinear Warpings of Time (LKS), pp. 506–514.

ICPR-1998-KadyrovP98a #invariant

The trace transform as a tool to invariant feature construction (AK, MP), pp. 1037–1039.

ICPR-1998-MontesinosGD #difference #image #invariant

Differential invariants for color images (PM, VG, RD), pp. 838–840.

ICPR-1998-OkataniD #identification #invariant #on the #problem #using

On identification of singular points using photometric invariants for global shape from shading problem (TO, KD), pp. 1787–1790.

ICPR-1998-TerrillonDA #detection #image #invariant

Detection of human faces in complex scene images by use of a skin color model and of invariant Fourier-Mellin moments (JCT, MD, SA), pp. 1350–1355.

ICPR-1998-WangHRKJ #3d #invariant #recognition #statistics

A statistical model to describe invariants extracted from a 3-D quadric surface patch and its applications in region-based recognition (GW, ZH, PPLR, MJK, GJ), pp. 668–672.

ICPR-1998-WouwerSD #invariant #using

Rotation-invariant texture characterization using isotropic wavelet frames (GVdW, PS, DVD), pp. 814–816.

ICPR-1998-Yang #image #scalability

Invariance and scaling laws in natural images (ZY), pp. 728–730.

LOPSTR-1998-StarkI #invariant #proving

Invariant Discovery via Failed Proof Attempts (JS, AI), pp. 271–288.

FSE-1998-JeffordsH #automation #generative #invariant #requirements #specification

Automatic Generation of State Invariants from Requirements Specifications (RDJ, CLH), pp. 56–69.

CAV-1998-BensalemLO98a #invariant #named #verification

InVeST: A Tool for the Verification of Invariants (SB, YL, SO), pp. 505–510.

CSL-1998-Makowsky #invariant

Invariant Definability and P/poly (JAM), pp. 142–158.

CAV-1997-Saidi #automation #deduction #invariant #verification

The Invariant Checker: Automated Deductive Verification of Reactive Systems (HS), pp. 436–439.

CAV-1997-Sistla #automaton #invariant #linear #network #using #verification

Parametrized Verification of Linear Networks Using Automata as Invariants (APS), pp. 412–423.

RTA-1997-Gobel #invariant

The Invariant Package of MAS (MG), pp. 327–330.

DAC-1996-SunDH #equation #geometry #independence #parametricity #performance #using

Fast Parameters Extraction of General Three-Dimension Interconnects Using Geometry Independent Measured Equation of Invariance (WS, WWMD, WHI), pp. 371–376.

TACAS-1996-Saidi #automation #concurrent #proving

A Tool for Proving Invariance Properties of Concurrent Systems Automatically (HS), pp. 412–416.

PLDI-1996-FlanaganFKWF #debugging #invariant #web

Static Debugging: Browsing the Web of Program Invariants (CF, MF, SK, SW, MF), pp. 23–32.

ICPR-1996-Alexandre #invariant #pattern matching #pattern recognition #recognition

Connectionist cognitive processing for invariant pattern recognition (FA), pp. 679–683.

ICPR-1996-Ben-ArieWR #invariant #recognition

Iconic recognition with affine-invariant spectral signatures (JBA, ZW, KRR), pp. 672–676.

ICPR-1996-BrucksteinRW #invariant #using

Recognizing objects using scale space local invariants (AMB, ER, IW), pp. 760–764.

ICPR-1996-FlusserS #invariant #recognition

Invariants for recognition of degraded 1-D digital signals (JF, TS), pp. 389–393.

ICPR-1996-GeversS #image #invariant #retrieval

Color-metric pattern-card matching for viewpoint invariant image retrieval (TG, AWMS), pp. 3–7.

ICPR-1996-GurdjosDC #3d #coordination #invariant

Tracking 3D coplanar points in the invariant perspective coordinates plane (PG, PD, SC), pp. 493–497.

ICPR-1996-HeisterkampB #invariant #product line #recognition

Invariants of families of coplanar conics and their applications to object recognition (DRH, PB), pp. 677–681.

ICPR-1996-HeydenR #evaluation #using

Evaluation of corner extraction schemes using invariance methods (AH, KR), pp. 895–899.

ICPR-1996-Horikawa #correlation #higher-order #pattern matching #pattern recognition #recognition #similarity

Pattern recognition with invariance to similarity transformations based on the third-order correlation (YH), pp. 200–204.

ICPR-1996-KrotkovKZ #analysis #invariant #synthesis

Analysis and synthesis of the sounds of impact based on shape-invariant properties of materials (EK, RLK, NBZ), pp. 115–119.

ICPR-1996-LambertN #invariant #using

Discrimination properties of invariants using the line moments of vectorized contours (GL, JN), pp. 735–739.

ICPR-1996-LasenbyBLS #invariant

A new methodology for computing invariants in computer vision (JL, EBC, ANL, GS), pp. 393–397.

ICPR-1996-MokademDG #distance #invariant

A shape distance by complete and stable invariant descriptors for contour tracking (AM, MD, FG), pp. 105–109.

ICPR-1996-SatoC #invariant

Affine integral invariants and matching of curves (JS, RC), pp. 915–919.

ICPR-1996-ShiniK #3d #analysis #metric

3D measurement strategy based on a projection invariance motion analysis with an artificial retina sensor (CWS, KIK), pp. 369–373.

ICPR-1996-StoschekYH #2d #detection #invariant #multi #robust #using

Rotation-invariant and robust multiple-2D-object detection using steerable pyramid denoising and optimized circular harmonic filters (AS, TPYY, RH), pp. 376–380.

ICPR-1996-Tseng0 #fuzzy #invariant #recognition

Fuzzy ring data for invariant handwritten Chinese character recognition (DCT, HPC), pp. 94–98.

ICPR-1996-VossS #invariant

Invariant fitting of planar objects by primitives (KV, HS), pp. 508–512.

ICPR-1996-Xia #invariant #on the

On contour invariants: relationship and application (FX), pp. 136–140.

ICPR-1996-ZribiFG #3d #analysis #invariant #set

Set of invariant features for three-dimensional gray-level objects by harmonic analysis (MZ, HF, FG), pp. 549–553.

CAV-1996-BensalemLS #automation #generative #invariant

Powerful Techniques for the Automatic Generation of Invariants (SB, YL, HS), pp. 323–335.

CAV-1996-GrafS #invariant #proving #theorem proving #using #verification

Verifying Invariants Using theorem Proving (SG, HS), pp. 196–207.

CSL-1996-Otto #invariant #logic

The Logic of Explicitly Presentation-Invariant Circuits (MO), pp. 369–384.

ICDAR-v1-1995-ChiuTC #invariant #matrix #recognition #using

Invariant handwritten Chinese character recognition using weighted ring-data matrix (HPC, DCT, JCC), pp. 116–119.

ICDAR-v1-1995-ElmsI #distance #invariant #modelling

Modelling polyfont printed characters with HMMs and a shift invariant Hamming distance (AJE, JI), pp. 504–507.

ICDAR-v1-1995-PowalkaSW #hybrid #invariant #recognition

Zoning invariant holistic recognizer for hybrid recognition of handwriting (RKP, NS, RJW), pp. 64–67.

ICDAR-v2-1995-RheePK #invariant #recognition #string

Rotation-invariant recognition of character strings for Korean cadastral map digitizing (PKR, JSP, YGK), pp. 944–947.

PLDI-1994-GranlundM #integer #invariant #multi #using

Division by Invariant Integers using Multiplication (TG, PLM), pp. 61–72.

CADE-1994-Martin #geometry #invariant #termination

Termination, Geometry and Invariants (UM), pp. 432–434.

CAV-1994-BalarinS #automation #invariant #network #on the

On the Automatic Computation of Network Invariants (FB, ALSV), pp. 234–246.

ICDAR-1993-DoermannRW #geometry #invariant #recognition #using

Logo recognition using geometric invariants (DSD, ER, IW), pp. 894–897.

FME-1993-BicarreguiR #comparison #invariant

Invariants, Frames and Postconditions: a Comparison of the VDM and B Notations (JB, BR), pp. 162–182.

CAV-1993-HuD #invariant #performance #using #verification

Efficient Verification with BDDs using Implicitly Conjoined Invariants (AJH, DLD), pp. 3–14.

CAV-1993-RhoS #automation #generative #invariant #network #verification

Automatic Generation of Network Invariants for the Verification of Iterative Sequential Systems (JKR, FS), pp. 123–137.

LFP-1992-ChirimarGR #invariant #linear #logic #memory management #proving

Proving Memory Management Invariants for a Language Based on Linear Logic (JC, CAG, JGR), pp. 139–150.

CAV-1992-HiguchiSSFK #communication #finite #invariant #state machine #verification

A Verification Procedure via Invariant for Extended Communicating Finite-State Machines (MH, OS, HS, MF, TK), pp. 384–395.

PLILP-1991-GiannottiH #detection #recursion #specification

A Technique for Recursive Invariance Detection and Selective Program Specification (FG, MVH), pp. 323–334.

ML-1989-Kokar #concept #embedded

Concept Discovery Through Utilization of Invariance Embedded in the Description Language (MMK), pp. 478–479.

ML-1989-Puget #invariant #learning

Learning Invariants from Explanations (JFP), pp. 200–204.

STOC-1984-SlotB #on the #performance

On Tape Versus Core; An Application of Space Efficient Perfect Hash Functions to the Invariance of Space (CFS, PvEB), pp. 391–400.

POPL-1983-Nelson #invariant #reachability #verification

Verifying Reachability Invariants of Linked Structures (GN), pp. 38–47.

ICALP-1982-Sifakis #invariant

Global and Local Invariants in Transition Systems (JS), pp. 510–522.

ICALP-1979-BertoniMM #invariant

A Characterization of Abstract Data as Model-Theoretic Invariants (AB, GM, PM), pp. 26–37.

POPL-1979-Clarke #concurrent #invariant #source code #synthesis

Synthesis of Resource Invariants for Concurrent Programs (EMC), pp. 211–221.

ICSE-1979-KramerC #invariant #specification

Invariants for Specifications (JK, JC), pp. 183–193.