BibSLEIGH — invariant tag

invariant

invariant

Tag #invariant

552 papers:

POPL-2020-FeldmanISS #complexity: Complexity and information in invariant inference (YMYF, NI, MS, SS), p. 29.
CSL-2020-GrangeS #first-order #logic: Order-Invariant First-Order Logic over Hollow Trees (JG, LS), p. 16.
MSR-2019-Beyer #fault #set: A data set of program invariants and error paths (DB0), pp. 111–115.
CIAA-2019-KonstantinidisM19a #regular expression: Partial Derivatives of Regular Expressions over Alphabet-Invariant and User-Defined Labels (SK, NM, JP, RR), pp. 184–196.
FM-2019-SogokonMTCP #framework #generative #named: Pegasus: A Framework for Sound Continuous Invariant Generation (AS, SM, YKT, KC, AP), pp. 138–157.
ICML-2019-0002CZG #adaptation #learning #on the: On Learning Invariant Representations for Domain Adaptation (HZ0, RTdC, KZ0, GJG), pp. 7523–7532.
ICML-2019-Feige #learning #multi #representation: Invariant-Equivariant Representation Learning for Multi-Class Data (IF), pp. 1882–1891.
ICML-2019-KempkaKW #adaptation #algorithm #learning #linear #modelling #online: Adaptive Scale-Invariant Online Algorithms for Learning Linear Models (MK, WK, MKW), pp. 3321–3330.
ICML-2019-LeeLKKCT #framework #network #set: Set Transformer: A Framework for Attention-based Permutation-Invariant Neural Networks (JL, YL, JK, ARK, SC, YWT), pp. 3744–3753.
ICML-2019-MaronFSL #network #on the: On the Universality of Invariant Networks (HM, EF, NS, YL), pp. 4363–4371.
ICML-2019-NirwanB: Rotation Invariant Householder Parameterization for Bayesian PCA (RSN, NB), pp. 4820–4828.
ICML-2019-Zhang #network: Making Convolutional Networks Shift-Invariant Again (RZ), pp. 7324–7334.
PLDI-2019-LeZN #dynamic analysis #logic #named #using: SLING: using dynamic analysis to infer program invariants in separation logic (TCL, GZ, TN), pp. 788–801.
SAS-2019-NeiderS0M #algorithm #learning #named: Sorcar: Property-Driven Algorithms for Learning Conjunctive Invariants (DN, SS, PG0, PM), pp. 323–346.
ASE-2019-CashinMWF #comprehension #difference: Understanding Automatically-Generated Patches Through Symbolic Invariant Differences (PC, CM, WW, SF), pp. 411–414.
ICSE-2019-MolinaDPRAF #classification #data type: Training binary classifiers as data structure invariants (FM, RD, PP, GR, NA, MFF), pp. 759–770.
CADE-2019-PeuterS #on the #parametricity #synthesis: On Invariant Synthesis for Parametric Systems (DP, VSS), pp. 385–405.
CAV-2019-FedyukovichPMG #quantifier #synthesis: Quantified Invariants via Syntax-Guided Synthesis (GF, SP, KM, AG), pp. 259–277.
CAV-2019-FeldmanWSS #induction: Inferring Inductive Invariants from Phase Structures (YMYF, JRW, SS, MS), pp. 405–425.
CIAA-2018-KonstantinidisM #regular expression #transducer: Regular Expressions and Transducers over Alphabet-Invariant and User-Defined Labels (SK, NM, RR, JY), pp. 4–27.
IFM-2018-ErikssonPB #array #precise: A Precise Pictorial Language for Array Invariants (JE, MP, RJB), pp. 151–160.
ICPR-2018-HanselmannN #optimisation #recognition: Optimizing Energies for Pose-Invariant Face Recognition (HH, HN), pp. 3463–3468.
ICPR-2018-SongXLG #classification: Completed Grayscale-Inversion and Rotation Invariant Local Binary Pattern for Texture Classification (TS, LX, LL, CG), pp. 2642–2647.
ICPR-2018-YangCZ #flexibility #orthogonal: Flexible Rotation Invariant Bases from Orthogonal Moments (BY, XC, YZ), pp. 1548–1553.
ICPR-2018-Ye0 #classification #image #learning: Rotational Invariant Discriminant Subspace Learning For Image Classification (QY, ZZ0), pp. 1217–1222.
KDD-2018-LuoCTSLCY #information management #learning #named #network: TINET: Learning Invariant Networks via Knowledge Transfer (CL, ZC, LAT, AS, ZL, HC, JY), pp. 1890–1899.
OOPSLA-2018-EzudheenND0M #contract #learning: Horn-ICE learning for synthesizing invariants and contracts (PE, DN, DD, PG0, PM), p. 25.
LOPSTR-2018-0001K #confluence #equivalence: Confluence of CHR Revisited: Invariants and Modulo Equivalence (HC0, MHK), pp. 94–111.
POPL-2018-KincaidCBR #reasoning #synthesis: Non-linear reasoning for invariant synthesis (ZK, JC, JB, TWR), p. 33.
SAS-2018-Kincaid #automaton: Numerical Invariants via Abstract Machines (ZK), pp. 24–42.
SAS-2018-Zuleger #abstraction #induction #proving #termination: Inductive Termination Proofs with Transition Invariants and Their Relationship to the Size-Change Abstraction (FZ), pp. 423–444.
ICSE-2018-GrantCB #distributed: Inferring and asserting distributed system invariants (SG, HC, IB), pp. 1149–1159.
VMCAI-2018-HumenbergerJK #generative #multi #polynomial: Invariant Generation for Multi-Path Loops with Polynomial Assignments (AH, MJ, LK), pp. 226–246.
JCDL-2017-ToepferS #architecture #automation: Descriptor-Invariant Fusion Architectures for Automatic Subject Indexing (MT0, CS), pp. 31–40.
IFM-2017-SteinhofelW #analysis #control flow #standard: A New Invariant Rule for the Analysis of Loops with Non-standard Control Flows (DS, NW), pp. 279–294.
ICML-2017-KhasanovaF #graph #learning #representation: Graph-based Isometry Invariant Representation Learning (RK, PF), pp. 1847–1856.
OOPSLA-2017-WangWC #analysis #complexity #functional #named: TiML: a functional language for practical complexity analysis with invariants (PW0, DW, AC), p. 26.
POPL-2017-ChatterjeeNZ #probability #termination: Stochastic invariants for probabilistic termination (KC, PN0, DZ), pp. 145–160.
POPL-2017-YingYW #generative #quantum #source code: Invariants of quantum programs: characterisations and generation (MY, SY, XW), pp. 818–832.
SAS-2017-GreitschusDP: Loop Invariants from Counterexamples (MG, DD, AP), pp. 128–147.
ASE-2017-LinSXLSH #named: FiB: squeezing loop invariants by interpolation between Forward/Backward predicate transformers (SWL, JS0, HX, YL0, DS, HH), pp. 793–803.
ASE-2017-LiSLLL #automation #generative #refinement: Automatic loop-invariant generation and refinement through selective sampling (JL0, JS0, LL0, QLL, SWL), pp. 782–792.
ASE-2017-NguyenDV #named #using: SymInfer: inferring program invariants using symbolic states (TN, MBD, WV), pp. 804–814.
ESEC-FSE-2017-AliabadiKGP #cyber-physical #detection #named #security: ARTINALI: dynamic invariant detection for cyber-physical system security (MRA, AAK, JGS, KP), pp. 349–361.
ESEC-FSE-2017-NguyenARH #approach: Counterexample-guided approach to finding numerical invariants (TN, TA, AR, MH0), pp. 605–615.
ICST-2017-ChanWSPS #analysis #concurrent #fault #multi #named #source code #thread #using: IPA: Error Propagation Analysis of Multi-Threaded Programs Using Likely Invariants (AC, SW0, HS, KP, NS), pp. 184–195.
CSEET-2016-PriesterSS #analysis #development: Tool-Assisted Loop Invariant Development and Analysis (CP, YSS, MS), pp. 66–70.
FM-2016-ChenP0 #cyber-physical #learning #towards #verification: Towards Learning and Verifying Invariants of Cyber-Physical Systems by Code Mutation (YC0, CMP, JS0), pp. 155–163.
FM-2016-DavidKKL: Danger Invariants (CD, PK, DK, ML), pp. 182–198.
FM-2016-HolzerSBWW #concurrent #fault: Error Invariants for Concurrent Traces (AH, DSN, MTB, GW, TW), pp. 370–387.
IFM-2016-Preoteasa #logic #pointer #programming #source code #using #verification: Verifying Pointer Programs Using Separation Logic and Invariant Based Programming in Isabelle (VP), pp. 457–473.
ICPR-2016-DangCLOT #documentation #image #retrieval: Polygon-shape-based Scale and Rotation Invariant Features for camera-based document image retrieval (QBD, MC, MML, JMO, CDT), pp. 2434–2439.
ICPR-2016-GonzalezVT #classification #learning: Learning rotation invariant convolutional filters for texture classification (DM, MV, DT), pp. 2012–2017.
ICPR-2016-KimCLM #3d #modelling #video: Expression invariant 3D face modeling from an RGB-D video (DK, JC, JTL, GGM), pp. 2362–2367.
ICPR-2016-PreslesD #classification: A distance-based shape descriptor invariant to similitude and its application to shape classification (BP, JD), pp. 2598–2603.
ICPR-2016-TripathyCNP #multi #recognition: A scale and rotation invariant scheme for multi-oriented Character Recognition (NT, TC, MN, UP0), pp. 4041–4046.
ICPR-2016-YuWSH #recognition #using: View invariant gait recognition using only one uniform model (SY, QW, LS, YH), pp. 889–894.
KDD-2016-ZhengYC #learning #performance #taxonomy: Efficient Shift-Invariant Dictionary Learning (GZ, YY, JGC), pp. 2095–2104.
POPL-2016-0001NMR #learning #using: Learning invariants using decision trees and implication counterexamples (PG0, DN, PM, DR), pp. 499–512.
POPL-2016-PadonISKS #decidability #induction: Decidability of inferring inductive invariants (OP, NI, SS, AK, MS), pp. 217–231.
SAS-2016-KojimaKS #performance #synthesis: Generalized Homogeneous Polynomials for Efficient Template-Based Nonlinear Invariant Synthesis (KK, MK, KS), pp. 278–299.
SAS-2016-RouxVS #polynomial #programming #validation: Validating Numerical Semidefinite Programming Solvers for Polynomial Invariants (PR, YLV, SS0), pp. 424–446.
FSE-2016-Huang16a #api #java: Discovering additional violations of Java API invariants (WH), pp. 1145–1147.
ESOP-2016-MineBR #algorithm #constraints #induction #source code #theorem proving: An Algorithm Inspired by Constraint Solvers to Infer Inductive Invariants in Numeric Programs (AM, JB, TWR), pp. 560–588.
CAV-2016-BartheEFH #composition #probability: Synthesizing Probabilistic Invariants via Doob's Decomposition (GB, TE, LMFF, JH), pp. 43–61.
CSL-2016-EickmeyerK #first-order #graph #logic: Successor-Invariant First-Order Logic on Graphs with Excluded Topological Subgraphs (KE, KiK), p. 15.
VMCAI-2016-SogokonGJP #generative #polynomial: A Method for Invariant Generation for Polynomial Continuous Systems (AS, KG, PBJ, AP), pp. 268–288.
ICALP-v1-2015-BurtonMS #algorithm #complexity: Algorithms and Complexity for Turaev-Viro Invariants (BAB, CM, JS), pp. 281–293.
ICGT-2015-DyckG #induction: Inductive Invariant Checking with Partial Negative Application Conditions (JD, HG), pp. 237–253.
ICGT-2015-RadkeABHT #constraints #graph #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 #learning: Learning Local Invariant Mahalanobis Distances (EF, SU), pp. 162–168.
KDD-2015-MomtazpourZRSR #cyber-physical #using: Analyzing Invariants in Cyber-Physical Systems using Latent Factor Regression (MM, JZ, SR, RKS, NR), pp. 2009–2018.
POPL-2015-JungSSSTBD #concurrent #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.
SAS-2015-AdjeGM #generative #optimisation #polynomial #using: Property-based Polynomial Invariant Generation Using Sums-of-Squares Optimization (AA, PLG, VM), pp. 235–251.
SAS-2015-Brain0KS #safety #verification: Safety Verification and Refutation by k-Invariants and k-Induction (MB, SJ, DK, PS), pp. 145–161.
ICSE-v1-2015-KusanoCW #generative #parallel #source code #thread: Dynamic Generation of Likely Invariants for Multithreaded Programs (MK, AC, CW), pp. 835–846.
ICSE-v2-2015-Lemieux #mining: Mining Temporal Properties of Data Invariants (CL), pp. 751–753.
DAC-2015-DingCZ #algorithm #performance: An efficient shift invariant rasterization algorithm for all-angle mask patterns in ILT (YD, CCNC, XZ), p. 6.
CAV-2015-BeyerW: Boosting k-Induction with Continuously-Refined Invariants (DB, MD, PW), pp. 622–640.
CAV-2015-ChenHWZ #generative #polynomial: Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation (YFC, CDH, BYW, LZ), pp. 658–674.
CAV-2015-KarbyshevBIRS #proving: Property-Directed Inference of Universal Invariants or Proving Their Absence (AK, NB, SI, NR, SS), pp. 583–602.
LICS-2015-Carreiro #bisimulation #logic: PDL Is the Bisimulation-Invariant Fragment of Weak Chain Logic (FC), pp. 341–352.
TAP-2015-SoekenSD #ocl #specification: Coverage of OCL Operation Specifications and Invariants (MS, JS, RD), pp. 191–207.
VMCAI-2015-AdjeG #automation #linear #polynomial #source code #synthesis: Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs (AA, PLG), pp. 99–116.
FM-2014-HayesM #algebra #realtime: Invariants, Well-Founded Statements and Real-Time Program Algebra (IJH, LM), pp. 318–334.
FM-2014-PolikarpovaTFM #collaboration #flexibility #semantics: Flexible Invariants through Semantic Collaboration (NP, JT, CAF, BM), pp. 514–530.
FM-2014-RouxG #comparison #polynomial: Computing Quadratic Invariants with Min- and Max-Policy Iterations: A Practical Comparison (PR, PLG), pp. 563–578.
IFM-2014-ErikssonPB #programming #proving: Proofs and Refutations in Invariant-Based Programming (JE, MP, RJB), pp. 189–204.
SEFM-2014-ChristakisMW #detection #testing: Synthesizing Parameterized Unit Tests to Detect Object Invariant Violations (MC, PM, VW), pp. 65–80.
SEFM-2014-HusterHERBKR #flexibility #specification: More Flexible Object Invariants with Less Specification Overhead (SH, PH, HE, JR, SB, TK, WR), pp. 302–316.
ICGT-2014-ArendtHRT #constraints #graph #ocl: From Core OCL Invariants to Nested Graph Constraints (TA, AH, HR, GT), pp. 97–112.
HCI-AIMT-2014-RoyC #artificial reality #detection #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 #kernel #monte carlo: Quasi-Monte Carlo Feature Maps for Shift-Invariant Kernels (JY, VS, HA, MWM), pp. 485–493.
ICPR-2014-GadelhaC #named #robust: DRINK: Discrete Robust Invariant Keypoints (MAG, BMC), pp. 821–826.
ICPR-2014-Garcia-OrdasAGG #named: aZIBO: A New Descriptor Based in Shape Moments and Rotational Invariant Features (MTGO, EA, VGC, DGO), pp. 2395–2400.
ICPR-2014-Hast #robust: Robust and Invariant Phase Based Local Feature Matching (AH), pp. 809–814.
ICPR-2014-HeS #identification: Delta-n Hinge: Rotation-Invariant Features for Writer Identification (SH, LS), pp. 2023–2028.
ICPR-2014-LeeSL #3d #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: Transformation-Invariant Collaborative Sub-representation (YL, CC, JH), pp. 3738–3743.
ICPR-2014-MoeiniMAF #2d #3d #image #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 #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 #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 #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: GPT Correlation for 2D Projection Transformation Invariant Template Matching (TW, YY), pp. 3810–3815.
ICPR-2014-WuK #geometry #image #retrieval #scalability: Image Retrieval Based on Anisotropic Scaling and Shearing Invariant Geometric Coherence (XW, KK), pp. 3951–3956.
ICPR-2014-WuMCXC #gesture #parametricity #recognition #using: View-Invariant Gesture Recognition Using Nonparametric Shape Descriptor (XW, XM, LC, YLX, AC), pp. 544–549.
ICPR-2014-YanRLSS #analysis #clustering #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 #locality #multi #process: Pose Invariant Activity Classification for Multi-floor Indoor Localization (SY, PWM, TKH, VP), pp. 3505–3510.
Onward-2014-ProustM: 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: Bounded exhaustive test input generation from hybrid invariants (NR, VSB, PP, SAK, NA, MFF, SK), pp. 655–674.
POPL-2014-CoughlinC #analysis #composition: Fissile type analysis: modular checking of almost everywhere invariants (DC, BYEC), pp. 73–86.
SAS-2014-ChakarovS #fixpoint #probability: Expectation Invariants for Probabilistic Program Loops as Fixed Points (AC, SS), pp. 85–100.
FSE-2014-KrkaBM #automation #mining #specification: Automatic mining of specifications from invocation traces and method invariants (IK, YB, NM), pp. 178–189.
ICSE-2014-BocicB #induction #verification #web: Inductive verification of data model invariants for web applications (IB, TB), pp. 620–631.
ICSE-2014-NguyenKWF #dynamic analysis #using: Using dynamic analysis to generate disjunctive invariants (TN, DK, WW, SF), pp. 608–619.
SAC-2014-HundtSSGD #automation #named #similarity: GEM: an elastic and translation-invariant similarity measure with automatic trend adjustment (CH, BS, ES, HG, HVD), pp. 105–112.
DATE-2014-WelpK #refinement #verification: Property directed invariant refinement for program verification (TW, AK), pp. 1–6.
FASE-2014-Zaharieva-StojanovskiH #concurrent #source code #verification: Verifying Class Invariants in Concurrent Programs (MZS, MH), pp. 230–245.
STOC-2014-Yoshida #composition #theorem: A characterization of locally testable affine-invariant properties via decomposition theorems (YY), pp. 154–163.
TACAS-2014-AstefanoaeiRBBC #composition #generative: Compositional Invariant Generation for Timed Systems (LA, SBR, SB, MB, JC), pp. 263–278.
TACAS-2014-GhorbalP #algebra #difference: Characterizing Algebraic Invariants by Differential Radical Invariants (KG, AP), pp. 279–294.
TACAS-2014-GurfinkelBM: Synthesizing Safe Bit-Precise Invariants (AG, AB, JMS), pp. 93–108.
TACAS-2014-SalemDKT #automaton #model checking #testing #using: Symbolic Model Checking of Stutter-Invariant Properties Using Generalized Testing Automata (AEBS, ADL, FK, YTM), pp. 440–454.
CAV-2014-0001A #random #using: From Invariant Checking to Invariant Inference Using Randomized Search (RS, AA), pp. 88–105.
CAV-2014-0001LMN #framework #learning #named #robust: ICE: A Robust Framework for Learning Invariants (PG, CL, PM, DN), pp. 69–87.
CAV-2014-HuangFMMK #automaton #hybrid #network #verification: Invariant Verification of Nonlinear Hybrid Automata Networks of Cardiac Cells (ZH, CF, AM, SM, MZK), pp. 373–390.
ISSTA-2014-ZhangYRPK: Feedback-driven dynamic invariant discovery (LZ, GY, NR, SP, SK), pp. 362–372.
LICS-CSL-2014-AccattoliL #reduction: β reduction is invariant, indeed (BA, UDL), p. 10.
CBSE-2013-KezniklBPGHH #component #design #refinement: Design of ensemble-based component systems by invariant refinement (JK, TB, FP, IG, PH, NH), pp. 91–100.
ICDAR-2013-BuiVM #documentation #navigation: Invariants Extraction Method Applied in an Omni-language Old Document Navigating System (QAB, MV, RM), pp. 1325–1329.
ICDAR-2013-MaraK #3d: Vectorization of 3D-Characters by Integral Invariant Filtering of High-Resolution Triangular Meshes (HM, SK), pp. 62–66.
ICDAR-2013-ZhangLSM #rank: Rectification of Optical Characters as Transform Invariant Low-Rank Textures (XZ, ZL, FS, YM), pp. 393–397.
ICALP-v1-2013-WimmerY #morphism #testing: Testing Linear-Invariant Function Isomorphism (KW, YY), pp. 840–850.
SEFM-2013-PerceboisST #graph transformation #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 #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 #representation: Domain Generalization via Invariant Feature Representation (KM, DB, BS), pp. 10–18.
ICML-c3-2013-MemisevicE #learning #problem: Learning invariant features by harnessing the aperture problem (RM, GE), pp. 100–108.
ICML-c3-2013-ReddiP #dependence #metric: Scale Invariant Conditional Dependence Measures (SJR, BP), pp. 1355–1363.
ECOOP-2013-CoxCS #generative #graph #relational: QUIC Graphs: Relational Invariant Generation for Containers (AC, BYEC, SS), pp. 401–425.
ECOOP-2013-CutsemM: Trustworthy Proxies — Virtualizing Objects with Invariants (TVC, MSM), pp. 154–178.
ECOOP-2013-ThomsenCADE: Reducing Lookups for Invariant Checking (JGT, CC, KJA, JD, EE), pp. 426–450.
OOPSLA-2013-ChongDKKQ #abstraction #analysis #gpu #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: Inductive invariant generation via abductive inference (ID, TD, BL, KLM), pp. 443–456.
ASE-2013-MaezawaWTH #ajax #automation #interactive #verification: Automated verification of pattern-based interaction invariants in Ajax applications (YM, HW, YT, SH), pp. 158–168.
ASE-2013-SagdeoEPV #automation #debugging #locality #testing #using: Using automatically generated invariants for regression testing and bug localization (PS, NE, DP, SV), pp. 634–639.
ESEC-FSE-2013-LiRSY #constraints #higher-order: Second-order constraints in dynamic invariant inference (KL, CR, YS, MY), pp. 103–113.
ASPLOS-2013-MaiPXKM #security #verification: Verifying security invariants in ExpressOS (HM, EP, HX, STK, PM), pp. 293–304.
ASPLOS-2013-SahooCGA #automation #fault #locality #using: Using likely invariants for automated software fault localization (SKS, JC, CG, VSA), pp. 139–152.
DATE-2013-NovoAI #estimation #fault #fixpoint #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.
ESOP-2013-EneaSS #composition: Compositional Invariant Checking for Overlaid and Nested Linked Lists (CE, VS, MS), pp. 129–148.
ESOP-2013-SharmaGHALN #algebra #approach #data-driven: A Data Driven Approach for Algebraic Loop Invariants (RS, SG, BH, AA, PL, AVN), pp. 574–592.
FASE-2013-LasseterC #design pattern #runtime: Design Pattern-Based Extension of Class Hierarchies to Support Runtime Invariant Checks (JL, JC), pp. 163–178.
STOC-2013-BhattacharyyaFHHL: Every locally characterized affine-invariant property is testable (AB, EF, HH, PH, SL), pp. 429–436.
CAV-2013-0001LMN #data type #learning #linear #quantifier: Learning Universally Quantified Invariants of Linear Data Structures (PG, CL, PM, DN), pp. 813–829.
CSL-2013-HarwathS #first-order #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 #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 #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 #smt: SMT-Based Array Invariant Generation (DL, ERC, AR), pp. 169–188.
FM-2012-AponteCMS #composition: Maximal and Compositional Pattern-Based Loop Invariants (MVA, PC, YM, MS), pp. 37–51.
FM-2012-ErmisSW #fault: Error Invariants (EE, MS, TW), pp. 187–201.
ICGT-2012-BlumeBEK #automaton #graph #implementation #performance: Efficient Symbolic Implementation of Graph Automata with Applications to Invariant Checking (CB, HJSB, DE, BK), pp. 264–278.
ICGT-2012-GieseL #automation #behaviour #model transformation #towards #verification: Towards Automatic Verification of Behavior Preservation for Model Transformation via Invariant Checking (HG, LL), pp. 249–263.
ICML-2012-SohnL #learning: Learning Invariant Representations with Local Transformations (KS, HL), p. 174.
ICPR-2012-BaccoucheMWGB #2d #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 #recognition: Illumination suppression for illumination invariant face recognition (AB, QMJW, MA), pp. 1590–1593.
ICPR-2012-GossowWB: Distinctive texture features from perspective-invariant keypoints (DG, DW, MB), pp. 2764–2767.
ICPR-2012-HuangH #using: Binary invariant cross color descriptor using galaxy sampling (GHH, CRH), pp. 2610–2613.
ICPR-2012-HuangLT #learning #recognition: Learning modality-invariant features for heterogeneous face recognition (LH, JL, YPT), pp. 1683–1686.
ICPR-2012-LiL12a #image #segmentation: Scale-invariant sampling for supervised image segmentation (YL, ML), pp. 1399–1402.
ICPR-2012-LiSY #detection: A Fully Affine Invariant Feature detector (WL, ZS, JY), pp. 2768–2771.
ICPR-2012-MakaremiA #image #recognition: Generalized ordinary moment based blur invariant descriptors for face recognition with degraded images (IM, MA), pp. 3648–3651.
ICPR-2012-MansurMY #recognition: View-invariant gait recognition from low frame-rate videos (AM, YM, YY), pp. 2383–2386.
ICPR-2012-MaoYLZ #classification #verification: Age-invariant face verification based on Local Classifier Ensemble (XJM, YBY, NL, YZ), pp. 2408–2411.
ICPR-2012-MarieLM #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 #recognition #robust: Local phase quantization descriptors for blur robust and illumination invariant recognition of color textures (MP, JH), pp. 2476–2479.
ICPR-2012-SadekAMS #recognition: Human action recognition via affine moment invariants (SS, AAH, BM, US), pp. 218–221.
ICPR-2012-ScandaliarisS #distance #image #probability #representation: Probabilistic invariant image representation and associated distance measure (JS, AS), pp. 3569–3572.
ICPR-2012-SiddiquieFDD #detection: Unsupervised model selection for view-invariant object detection in surveillance environments (BS, RSF, AD, LSD), pp. 3252–3255.
ICPR-2012-TuH #matrix #recognition: Dual subspace nonnegative matrix factorization for person-invariant facial expression recognition (YHT, CTH), pp. 2391–2394.
ICPR-2012-VieiraLSC #distance #matrix: Distance matrices as invariant features for classifying MoCap data (AWV, TL, WRS, MFMC), pp. 2934–2937.
ICPR-2012-XiaDG #detection: An accurate and contrast invariant junction detector (GSX, JD, YG), pp. 2780–2783.
KDD-2012-LappasVG #mining #performance: Efficient and domain-invariant competitor mining (TL, GV, DG), pp. 408–416.
KDIR-2012-SpiegelA #analysis #distance: An Order-invariant Time Series Distance Measure — Position on Recent Developments in Time Series Analysis (SS, SA), pp. 264–268.
SEKE-2012-LuZZBA #decidability #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 #static analysis: Static Detection of Loop-Invariant Data Structures (G(X, DY, AR), pp. 738–763.
SAS-2012-CacheraJJK #imperative #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 #self #using: Invariant Generation for Parametrized Systems Using Self-reflection — (Extended Version) (AS, SS, CS, BYEC), pp. 146–163.
ICSE-2012-Ghardallou #analysis #termination #using: Using invariant relations in the termination analysis of while loops (WG), pp. 1519–1522.
ICSE-2012-NguyenKWF #array #dynamic analysis #polynomial #using: Using dynamic analysis to discover polynomial and array invariants (TN, DK, WW, SF), pp. 683–693.
ICSE-2012-SongT #metadata: Metadata invariants: Checking and inferring metadata coding conventions (MS, ET), pp. 694–704.
ICSE-2012-YuLHHKM #bidirectional #maintenance #traceability: Maintaining invariant traceability through bidirectional transformations (YY, YL, ZH, SH, HK, LM), pp. 540–550.
SAC-2012-HasegawaT #distance #using: Affine invariant shape matching using radon transform and dynamic time warping distance (MH, ST), pp. 777–781.
DATE-2012-SoekenWD #modelling #ocl #uml: Eliminating invariants in UML/OCL models (MS, RW, RD), pp. 1142–1145.
CAV-2012-Venet #analysis #difference #linear #scalability: The Gauge Domain: Scalable Analysis of Linear Inequality Invariants (AV), pp. 139–154.
ISSTA-2012-StaatsHKR #comprehension #correctness: Understanding user understanding: determining correctness of generated program invariants (MS, SH, MK, GR), pp. 188–198.
VMCAI-2012-SiegelZ #execution #parallel #source code #symbolic computation: Loop Invariant Symbolic Execution for Parallel Programs (SFS, TKZ), pp. 412–427.
ICDAR-2011-PanZSN #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 #verification: A Circular Grid-Based Rotation Invariant Feature Extraction Approach for Off-line Signature Verification (MP, JCG, AB), pp. 1289–1293.
ICDAR-2011-WakaharaY #recognition: Affine-Invariant Recognition of Handwritten Characters via Accelerated KL Divergence Minimization (TW, YY), pp. 1095–1099.
ICALP-v2-2011-AndersonMSS #first-order #locality #logic #query: Locality of Queries Definable in Invariant First-Order Logic with Arbitrary Built-in Predicates (MA, DvM, NS, LS), pp. 368–379.
ECOOP-2011-BalzerG #multi #verification: Verifying Multi-object Invariants with Relationships (SB, TRG), pp. 358–382.
SAS-2011-McMillanZ #abstract interpretation: Invisible Invariants and Abstract Interpretation (KLM, LDZ), pp. 249–262.
ASE-2011-SagdeoAKV #clustering #named #using: PRECIS: Inferring invariants using program path guided clustering (PS, VA, SK, SV), pp. 532–535.
ESEC-FSE-2011-BeschastnikhBSSE #automation #modelling: Leveraging existing instrumentation to automatically infer invariant-constrained models (IB, YB, SS, MS, MDE), pp. 267–277.
SAC-2011-BackP #proving #semantics #source code: Semantics and proof rules of invariant based programs (RJB, VP), pp. 1658–1665.
CASE-2011-Aguayo-LaraRR #petri net: Invariant subspaces and sensor placement for observability in Continuous Timed Petri Nets (EAL, ART, JJRL), pp. 607–612.
STOC-2011-HatamiL #correlation #fault #testing: Correlation testing for affine invariant properties on Fpn in the high error regime (HH, SL), pp. 187–194.
TACAS-2011-GarbervetskyGN #using: Enforcing Structural Invariants Using Dynamic Frames (DG, DG, AN), pp. 65–80.
TACAS-2011-HoderKV #generative: Invariant Generation in Vampire (KH, LK, AV), pp. 60–64.
TACAS-2011-JungLWY #generative #quantifier: Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference (YJ, WL, BYW, KY), pp. 205–219.
TACAS-2011-PodelskiR #abstraction #termination: Transition Invariants and Transition Predicate Abstraction for Program Termination (AP, AR), pp. 3–10.
CAV-2011-SharmaDDA #generative #using: Simplifying Loop Invariant Generation Using Splitter Predicates (RS, ID, TD, AA), pp. 703–719.
DocEng-2010-Lumley #documentation #functional #layout: Pre-evaluation of invariant layout in functional variable-data documents (JWL), pp. 251–254.
ICSM-2010-PonsiniCFMR #automation #verification: Automatic verification of loop invariants (OP, HC, CF, CM, MR), pp. 1–5.
SEFM-2010-GothelG #automation #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: Recognizable Graph Languages for Checking Invariants (CB, HJSB, BK).
ICML-2010-VogtPFR #clustering #distance #process: The Translation-invariant Wishart-Dirichlet Process for Clustering Distance Data (JEV, SP, TJF, VR), pp. 1111–1118.
ICPR-2010-AshrafSF #constraints #rank #recognition #using: View-Invariant Action Recognition Using Rank Constraint (NA, YS, HF), pp. 3611–3614.
ICPR-2010-BenvenisteU: A Color Invariant Based Binary Coded Structured Light Range Scanner for Shiny Objects (RB, CÜ), pp. 798–801.
ICPR-2010-DahmG #2d #3d #approach #novel #recognition #using: A Novel Pose Invariant Face Recognition Approach Using a 2D-3D Searching Strategy (ND, YG), pp. 3967–3970.
ICPR-2010-EzojiF #recognition: Diffusion-Based Face Selective Smoothing in DCT Domain to Illumination Invariant Face Recognition (ME, KF), pp. 1164–1167.
ICPR-2010-Fehr #3d: Local Rotation Invariant Patch Descriptors for 3D Vector Fields (JF), pp. 1381–1384.
ICPR-2010-FleckD #image #using: Using Local Affine Invariants to Improve Image Matching (DF, ZD), pp. 1844–1847.
ICPR-2010-GuoC #named: FIND: A Neat Flip Invariant Descriptor (XG, XC), pp. 515–518.
ICPR-2010-HoangT #fourier #geometry: A Geometric Invariant Shape Descriptor Based on the Radon, Fourier, and Mellin Transforms (TVH, ST), pp. 2085–2088.
ICPR-2010-HurWL #estimation #learning: View Invariant Body Pose Estimation Based on Biased Manifold Learning (DH, CW, SWL), pp. 3866–3869.
ICPR-2010-IbrahimTH #image #representation: Spectral Invariant Representation for Spectral Reflectance Image (AI, ST, TH), pp. 2776–2779.
ICPR-2010-KhwajaAG #recognition #representation #using: Illumination and Expression Invariant Recognition Using SSIM Based Sparse Representation (AAK, AA, RG), pp. 4028–4031.
ICPR-2010-LiZZ #detection #using: Abandoned Objects Detection Using Double Illumination Invariant Foreground Masks (XL, CZ, DZ), pp. 436–439.
ICPR-2010-PatrauceanGC #identification #using: Bubble Tag Identification Using an Invariant — Under — Perspective Signature (VP, PG, JC), pp. 408–411.
ICPR-2010-RaytchevMTK #recognition: View-Invariant Object Recognition with Visibility Maps (BR, TM, TT, KK), pp. 1040–1043.
ICPR-2010-ScandaliarisS: Discriminant and Invariant Color Model for Tracking under Abrupt Illumination Changes (JS, AS), pp. 1840–1843.
ICPR-2010-SmeetsFHVS #3d #approach #composition #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 #recognition: Natural Material Recognition with Illumination Invariant Textural Features (PV, MH), pp. 858–861.
ICPR-2010-WuXJHCL #constraints #geometry #image #retrieval: Adding Affine Invariant Geometric Constraint for Partial-Duplicate Image Retrieval (ZW, QX, SJ, QH, PC, LL), pp. 842–845.
ICPR-2010-ZhangGC #detection #using: Water Reflection Detection Using a Flip Invariant Shape Detector (HZ, XG, XC), pp. 633–636.
OOPSLA-2010-DilligDA #abstraction #axiom #memory management: Symbolic heap abstraction with demand-driven axiomatization of memory invariants (ID, TD, AA), pp. 397–410.
OOPSLA-2010-ShiPYLZCZ #concurrent #debugging #detection: 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.
SAS-2010-HeizmannJP #termination: Size-Change Termination and Transition Invariants (MH, NDJ, AP), pp. 22–50.
SAS-2010-KatoenMMM #automation #generative #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 #linear: Generating Invariants for Non-linear Hybrid Systems by Linear Algebraic Methods (NM, AVM, RR), pp. 373–389.
SAS-2010-McCloskeyRS #array: Statically Inferring Complex Heap, Array, and Numeric Invariants (BM, TWR, MS), pp. 71–99.
ICSE-2010-JilaniMLGM #using: Using invariant functions and invariant relations to compute loop functions (LLJ, OM, AL, WG, AM), pp. 317–318.
ICSE-2010-KrkaBPGM #behaviour #execution #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 #named #realtime: Zenet: generating and enforcing real-time temporal invariants (CL), pp. 329–330.
DAC-2010-ThalmaierNWSBK #induction #satisfiability: Analyzing k-step induction to compute invariants for SAT-based property checking (MT, MDN, MW, DS, JB, WK), pp. 176–181.
ESOP-2010-AdjeGG #policy #static analysis: Coupling Policy Iteration with Semi-definite Relaxation to Compute Accurate Numerical Invariants in Static Analysis (AA, SG, EG), pp. 23–42.
CAV-2010-BouajjaniDERS #bound #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 #modelling: Automatic Generation of Inductive Invariants from High-Level Microarchitectural Models of Communication Fabrics (SC, MK), pp. 321–338.
CAV-2010-CohenMST #concurrent #source code #verification: Local Verification of Global Invariants in Concurrent Programs (EC, MM, WS, ST), pp. 480–494.
CAV-2010-KroeningSTW #analysis #composition #termination: Termination Analysis with Compositional Transition Invariants (DK, NS, AT, CMW), pp. 89–103.
IJCAR-2010-Kapur #abstraction #induction: Induction, Invariants, and Abstraction (DK), p. 353.
ISSTA-2010-GaleottiRPF #analysis #bound #performance #verification: Analysis of invariants for efficient bounded verification (JPG, NR, CLP, MFF), pp. 25–36.
LICS-2010-SchweikardtS: Addition-Invariant FO and Regularity (NS, LS), pp. 273–282.
TAP-2010-GogollaHK #automation #independence #ocl #proving #testing #visualisation: Proving and Visualizing OCL Invariant Independence by Automatically Generated Test Cases (MG, LH, MK), pp. 38–54.
VMCAI-2010-HenzingerHKV #matrix #type inference: Invariant and Type Inference for Matrices (TAH, TH, LK, AV), pp. 163–179.
VMCAI-2010-JungKWY #abstraction #algorithm #learning: Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction (YJ, SK, BYW, KY), pp. 180–196.
ICDAR-2009-GordoV #classification #documentation #layout #retrieval: A Rotation Invariant Page Layout Descriptor for Document Classification and Retrieval (AG, EV), pp. 481–485.
ICDAR-2009-HaboubiMEA #set: Invariant Primitives for Handwritten Arabic Script: A Contrastive Study of Four Feature Sets (SH, SM, NE, HEA), pp. 691–697.
ICEIS-AIDSS-2009-SunLTT #2d #recognition #using: Using GRA for 2D Invariant Object Recognition (THS, JCL, CHT, FCT), pp. 108–112.
ICEIS-ISAS-2009-OhmoriK #approach #development #enterprise: 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 #multi #using: Invariant Categorisation of Polygonal Objects using Multi-resolution Signatures (RL, JMHdB), pp. 168–173.
PLDI-2009-GulwaniJK #analysis #bound #control flow #refinement: Control-flow refinement and progress invariants for bound analysis (SG, SJ, EK), pp. 375–385.
SAS-2009-GodoyT #source code: Invariant Checking for Programs with Procedure Calls (GG, AT), pp. 326–342.
ICSE-2009-MesbahD #ajax #automation #testing #user interface: Invariant-based automatic testing of AJAX user interfaces (AM, AvD), pp. 210–220.
SAC-2009-LiuDSYH #algorithm #classification #image #using: A new K-View algorithm for texture image classification using rotation-invariant feature (HL, SD, ES, CY, CCH), pp. 914–921.
GPCE-2009-LiuGS #framework: A language and framework for invariant-driven transformations (YAL, MG, SDS), pp. 55–64.
FASE-2009-KovacsV #array #proving #source code #theorem proving #using: Finding Loop Invariants for Programs over Arrays Using a Theorem Prover (LK, AV), pp. 470–485.
STOC-2009-Shapira #testing: Green’s conjecture and testing linear-invariant properties (AS), pp. 159–166.
CAV-2009-GuptaR #generative #named #performance: InvGen: An Efficient Invariant Generator (AG, AR), pp. 634–640.
ISSTA-2009-SchulerDZ #mutation testing #performance #testing: Efficient mutation testing by checking invariant violations (DS, VD, AZ), pp. 69–80.
LICS-2009-Leroux #induction #problem #reachability: The General Vector Addition System Reachability Problem by Presburger Inductive Invariants (JL), pp. 4–13.
TAP-2009-Gladisch #contract #question: Could We Have Chosen a Better Loop Invariant or Method Contract? (CG), pp. 74–89.
VMCAI-2009-GulwaniSV #abstraction #constraints: Constraint-Based Invariant Inference over Predicate Abstraction (SG, SS, RV), pp. 120–135.
ICPR-2008-ChakrabortyE #constraints #locality #using: Object localization using affine invariant substructure constraints (IC, AME), pp. 1–5.
ICPR-2008-ChenR #3d #algorithm #linear #recognition: Linear time recognition algorithms for topological invariants in 3D (LC, YR), pp. 1–4.
ICPR-2008-EngelC: Scale-invariant medial features based on gradient vector flow fields (DE, CC), pp. 1–4.
ICPR-2008-FehrB #3d: 3D rotation invariant local binary patterns (JF, HB), pp. 1–4.
ICPR-2008-GurS #detection: Non-Abelian invariant feature detection (YG, NAS), pp. 1–4.
ICPR-2008-HossainMJY #adaptation #identification #using: Clothes-invariant gait identification using part-based adaptive weight control (MAH, YM, WJ, YY), pp. 1–4.
ICPR-2008-HuaSY #algorithm #clustering: Scale-invariant density-based clustering initialization algorithm and its application (CH, RS, YY), pp. 1–4.
ICPR-2008-JeanBA #normalisation #recognition: Trajectories normalization for viewpoint invariant gait recognition (FJ, RB, ABA), pp. 1–4.
ICPR-2008-LiLS #feature model #recognition: Redundant DWT based translation invariant wavelet feature extraction for face recognition (DL, HL, ZS), pp. 1–4.
ICPR-2008-LiYWS #using: Bi-model tracking of object of interest using invariant spatiogram descriptor (JL, WYY, JGW, WS), pp. 1–4.
ICPR-2008-MaCL #collaboration #constraints #kernel #multi: Multi-cue collaborative kernel tracking with cross ratio invariant constraint (LM, JC, HL), pp. 1–4.
ICPR-2008-MeiA: Affine invariant shape descriptors: The ICA-Fourier descriptor and the PCA-Fourier descriptor (YM, DA), pp. 1–4.
ICPR-2008-MuseletT #normalisation: Illumination invariant spatio-colorimetric normalization (DM, AT), pp. 1–4.
ICPR-2008-NohHL #analysis #recognition: Regularized discriminant analysis for transformation-invariant object recognition (YKN, JH, DDL), pp. 1–5.
ICPR-2008-OjansivuRH #analysis: Rotation invariant local phase quantization for blur insensitive texture analysis (VO, ER, JH), pp. 1–4.
ICPR-2008-ParkPBB #named: pi-SIFT: A photometric and Scale Invariant Feature Transform (JHP, KWP, SHB, MB), pp. 1–4.
ICPR-2008-PerezO #learning #programming #search-based: Learning invariant region descriptor operators with genetic programming and the F-measure (CBP, GO), pp. 1–4.
ICPR-2008-SrestasathiernY #recognition: View invariant object recognition (PS, AY), pp. 1–4.
ICPR-2008-SukF #automation #equation: Affine moment invariants generated by automated solution of the equations (TS, JF), pp. 1–4.
ICPR-2008-ThomeA #bottom-up #detection: A bottom-up, view-point invariant human detector (NT, SA), pp. 1–4.
ICPR-2008-TodorovicA: Scale-invariant region-based hierarchical imagematching (ST, NA), pp. 1–5.
ICPR-2008-VachaH #markov #random: Illumination invariants based on Markov random fields (PV, MH), pp. 1–4.
ICPR-2008-WangM #probability #recognition #similarity #using: Scale invariant face recognition using probabilistic similarity measure (ZW, ZM), pp. 1–4.
ICPR-2008-WuZWGL #detection #video #visual notation: Invariant visual patterns for video copy detection (XW, YZ, YW, JG, JL), pp. 1–4.
ICPR-2008-XiaDG #analysis: Locally invariant texture analysis from the topographic map (GSX, JD, YG), pp. 1–4.
ICPR-2008-XiaoWH #graph #recognition #using: Object recognition using graph spectral invariants (XB, RCW, ERH), pp. 1–4.
ICPR-2008-XiaRH #ranking #robust #visual notation: Ranking the local invariant features for the robust visual saliencies (SX, PR, ERH), pp. 1–4.
ICPR-2008-YiAC #kernel #using: Orientation and scale invariant mean shift using object mask-based kernel (KMY, HSA, JYC), pp. 1–4.
MoDELS-2008-CabotCGL #analysis #declarative #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 #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 #logic #reasoning: Regional Logic for Local Reasoning about Global Invariants (AB, DAN, SR), pp. 387–411.
ECOOP-2008-DrossopoulouFMS #framework #verification: A Unified Framework for Verification Techniques for Object Invariants (SD, AF, PM, AJS), pp. 412–437.
SAS-2008-AllamigeonGG #using: Inferring Min and Max Invariants Using Max-Plus Polyhedra (XA, SG, EG), pp. 189–204.
ICSE-2008-CsallnerTS #execution #named #symbolic computation: DySy: dynamic symbolic execution for invariant inference (CC, NT, YS), pp. 281–290.
ICSE-2008-MalikPUK #generative #named #representation: Deryaft: a tool for generating representation invariants of structurally complex data (MZM, AP, EU, SK), pp. 859–862.
SAC-2008-AbreuGZG #automation #fault #locality #using: Automatic software fault localization using generic program invariants (RA, AG, PZ, AJCvG), pp. 712–717.
DATE-2008-ChengH #mining #verification: Simulation-Directed Invariant Mining for Software Verification (XC, MSH), pp. 682–687.
TACAS-2008-McMillan #generative #proving #quantifier #using: Quantified Invariant Generation Using an Interpolating Saturation Prover (KLM), pp. 413–427.
CAV-2008-PlatzerC #difference #hybrid: Computing Differential Invariants of Hybrid Systems as Fixedpoints (AP, EMC), pp. 176–189.
IJCAR-2008-Kovacs #generative #named: Aligator: A Mathematica Package for Invariant Generation (LK), pp. 275–282.
ISSTA-2008-KannanS #data type #execution #generative #symbolic computation: Universal symbolic execution and its application to likely data structure invariant generation (YK, KS), pp. 283–294.
ICDAR-2007-RanzatoL #documentation #image: A Sparse and Locally Shift Invariant Feature Extractor Applied to Document Images (MR, YL), pp. 1213–1217.
DLT-2007-BienvenuS #automaton: The Dynamics of Cellular Automata in Shift-Invariant Topologies (LB, MS), pp. 84–95.
ECOOP-2007-LuPX: Validity Invariants and Effects (YL, JP, JX), pp. 202–226.
OOPSLA-2007-FahndrichX: Establishing object invariants with delayed types (MF, SX), pp. 337–350.
PLDI-2007-BeyerHMR: Path invariants (DB, TAH, RM, AR), pp. 300–309.
PLDI-2007-ShankarB #automation #data type #java #named: DITTO: automatic incrementalization of data structure invariant checks (in Java) (AS, RB), pp. 310–319.
SAS-2007-ChangRN #analysis: Shape Analysis with Structural Invariant Checkers (BYEC, XR, GCN), pp. 384–401.
DATE-2007-CabodiNQ #induction #model checking: Boosting the role of inductive invariants in model checking (GC, SN, SQ), pp. 1319–1324.
ESOP-2007-LeinoS #using #verification: Using History Invariants to Verify Observers (KRML, WS), pp. 80–94.
TACAS-2007-MalikPK #generative #representation: Generating Representation Invariants of Structurally Complex Data (MZM, AP, SK), pp. 34–49.
CSL-2007-GaintzarainHLNO #calculus: A Cut-Free and Invariant-Free Sequent Calculus for PLTL (JG, MH, PL, MN, FO), pp. 481–495.
CSL-2007-GawlitzaS #precise #relational: Precise Relational Invariants Through Strategy Iteration (TG, HS), pp. 23–40.
SAT-2007-Kullmann #matrix #polynomial #satisfiability: Polynomial Time SAT Decision for Complementation-Invariant Clause-Sets, and Sign-non-Singular Matrices (OK), pp. 314–327.
TAP-2007-BackEM #source code #testing #verification: Testing and Verifying Invariant Based Programs in the SOCOS Environment (RJB, JE, MM), pp. 61–78.
VMCAI-2007-BeyerHMR #synthesis: Invariant Synthesis for Combined Theories (DB, TAH, RM, AR), pp. 378–394.
VMCAI-2007-CheremR #analysis #maintenance #reasoning: Maintaining Doubly-Linked List Invariants in Shape Analysis with Local Reasoning (SC, RR), pp. 234–250.
ICML-2006-DingZHZ #analysis #component #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 #permutation: Permutation invariant SVMs (PKS, TJ), pp. 817–824.
ICPR-v1-2006-ItoO #detection #recognition #using: Detection and Recognition of Moving Objects by Using Motion Invariants (SI, NO), pp. 683–686.
ICPR-v1-2006-Lopez-FrancoB #algebra #geometry #navigation #using: Omnidirectional Vision and Invariant Theory for Robot Navigation Using Conformal Geometric Algebra (CLF, EBC), pp. 570–573.
ICPR-v1-2006-ToewsA #detection: Detection Over Viewpoint via the Object Class Invariant (MT, TA), pp. 765–768.
ICPR-v1-2006-WangCWG #recognition #verification: A Verification Method for Viewpoint Invariant Sign Language Recognition (QW, XC, CW, WG), pp. 456–459.
ICPR-v1-2006-ZhuJ #detection #realtime #robust: Robust Pose Invariant Facial Feature Detection and Tracking in Real-Time (ZZ, QJ), pp. 1092–1095.
ICPR-v2-2006-ChenB #classification #using: Invariant Texture Classification Using Ridgelet Packets (GC, PB), pp. 464–467.
ICPR-v2-2006-ChenBK #pattern matching #pattern recognition #recognition: Invariant Ridgelet-Fourier Descriptor for Pattern Recognition (GC, TDB, AK), pp. 768–771.
ICPR-v2-2006-ChiuL #using: Matching Interest Points Using Affine Invariant Concentric Circles (HPC, TLP), pp. 167–170.
ICPR-v2-2006-LuT06a #recognition: Camera Text Recognition based on Perspective Invariants (SL, CLT), pp. 1042–1045.
ICPR-v2-2006-OmachiIUK #recognition: Affine Invariant Information Embedment for Accurate Camera-Based Character Recognition (SO, MI, SU, KK), pp. 1098–1101.
ICPR-v2-2006-QiaoY #online #recognition: Affine Invariant Dynamic Time Warping and its Application to Online Rotated Handwriting Recognition (YQ, MY), pp. 905–908.
ICPR-v2-2006-RahtuSHF: Generalized affine moment invariants for object recogntion (ER, MS, JH, JF), pp. 634–637.
ICPR-v2-2006-RiggiTA #estimation #matrix #parametricity: Fundamental Matrix Estimation via TIP — Transfer of Invariant Parameters (FR, MT, TA), pp. 21–24.
ICPR-v2-2006-RohSLL #gesture #recognition: Volume Motion Template for View-Invariant Gesture Recognition (MCR, HKS, SWL, SWL), pp. 1229–1232.
ICPR-v2-2006-SaraM #named #recognition #towards: FAIR: Towards A New Feature for Affinely-Invariant Recognition (RS, MM), pp. 412–416.
ICPR-v2-2006-SenerU #analysis #component #independence #normalisation #using: A New Affine Invariant Curve Normalization Technique Using Independent Component Analysis (SS, MU), p. 48.
ICPR-v2-2006-TianK: A Low-Complexity Deformation Invariant Descriptor (LT, SiK), pp. 227–230.
ICPR-v2-2006-XuL #3d #geometry: 3-D Affine Moment Invariants Generated by Geometric Primitives (DX, HL), pp. 544–547.
ICPR-v2-2006-YamadaS #recognition: Space-Time Moment Invariants and Recognition of Non-Rigid Motions from Arbitrary Viewpoints (TY, JS), pp. 990–993.
ICPR-v2-2006-YangG #composition #using: Line-Based Affine Invariant Object Location Using Transformation Space Decomposition (RY, YG), pp. 646–649.
ICPR-v3-2006-ArtolazabalIA #named: LIGHT: Local Invariant Generalized Hough Transform (JARA, JI, ASA), pp. 304–307.
ICPR-v3-2006-CaetanoC #pattern matching: A Unified Formulation of Invariant Point Pattern Matching (TSC, TC), pp. 121–124.
ICPR-v3-2006-FaselG: Rotation-Invariant Neoperceptron (BF, DGP), pp. 336–339.
ICPR-v3-2006-HaindlV #retrieval: Illumination Invariant Texture Retrieval (MH, PV), pp. 276–279.
ICPR-v3-2006-KongGT #approach: A Viewpoint Invariant Approach for Crowd Counting (DK, DG, HT), pp. 1187–1190.
ICPR-v3-2006-OngCB #3d: Scale Invariants of Three-Dimensional Legendre Moments (LYO, CWC, RB), pp. 141–144.
ICPR-v3-2006-PozdnoukhovB #graph #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 #probability #recognition: Variational Shift Invariant Probabilistic PCA for Face Recognition (JT, AI, XX, FFL, TSH), pp. 548–551.
ICPR-v4-2006-AbateNRR #recognition: Ear Recognition by means of a Rotation Invariant Descriptor (AFA, MN, DR, SR), pp. 437–440.
ICPR-v4-2006-FengC #using: Fingerprint Indexing Using Ridge Invariants (JF, AC), pp. 433–436.
ICPR-v4-2006-PozdnoukhovB06a #graph #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 #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 #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 #multi: Multiscale Blob Features for Gray Scale, Rotation and Spatial Scale Invariant Texture Classification (QX, YQC), pp. 29–32.
ICPR-v4-2006-XuL06b #3d: 3-D Surface Moment Invariants (DX, HL), pp. 173–176.
ICPR-v4-2006-YuanYT #symmetry: Perspective Symmetry Invariant and Its Applications (TY, SY, XT), pp. 65–68.
SAS-2006-JhalaMX: Structural Invariants (RJ, RM, RGX), pp. 71–87.
ICSE-2006-BeckerBGKS #adaptation #verification: Symbolic invariant verification for systems with dynamic structural adaptation (BB, DB, HG, FK, DS), pp. 72–81.
ICSE-2006-CsallnerS #interface: Dynamically discovering likely interface invariants (CC, YS), pp. 861–864.
ICSE-2006-EvansP: Inculcating invariants in introductory courses (DE, MP), pp. 673–678.
ASPLOS-2006-LuTQZ #detection #named: AVIO: detecting atomicity violations via access interleaving invariants (SL, JT, FQ, YZ), pp. 37–48.
DAC-2006-AwedhS #automation #bound #model checking: Automatic invariant strengthening to prove properties in bounded model checking (MA, FS), pp. 1073–1076.
CAV-2006-JainIGSW #abstraction #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 #network: Inferring Network Invariants Automatically (OG, ML, NP), pp. 483–497.
IJCAR-2006-SorgeMMC #automation #verification: Automatic Construction and Verification of Isotopy Invariants (VS, AM, RLM, SC), pp. 36–51.
ICDAR-2005-NakaiKI #documentation #image #retrieval: Camera-Based Document Image Retrieval as Voting for Partial Signatures of Projective Invariants (TN, KK, MI), pp. 379–383.
PASTE-2005-Hamlet #formal method #testing: Invariants and state in testing and formal methods (DH), pp. 48–51.
FM-2005-LeinoM #composition #verification: Modular Verification of Static Class Invariants (KRML, PM), pp. 26–42.
SEFM-2005-JacobsPLS #concurrent: Safe Concurrency for Aggregate Objects with Invariants (BJ, FP, KRML, WS), pp. 137–147.
SEFM-2005-Leino: Invariants on Demand (KRML), pp. 148–149.
SEFM-2005-WelchFD #automation #maintenance: Automatic Maintenance of Association Invariants (JW, DF, JD), pp. 282–292.
CIKM-2005-VlachosVYA: Rotation invariant indexing of shapes and line drawings (MV, ZV, PSY, VA), pp. 131–138.
MoDELS-2005-StirewaltR #automation #compilation #maintenance #ocl: Automated Invariant Maintenance Via OCL Compilation (KS, SR), pp. 616–632.
MoDELS-2005-StirewaltR #automation #compilation #maintenance #ocl: Automated Invariant Maintenance Via OCL Compilation (KS, SR), pp. 616–632.
SAS-2005-BagnaraRZ #algebra #generative #using: Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra (RB, ERC, EZ), pp. 19–34.
DAC-2005-HangalCNC #automation #design #hardware #named: IODINE: a tool to automatically infer dynamic invariants for hardware designs (SH, NC, SN, SC), pp. 775–778.
TACAS-2005-Jiang #on the: On Some Transformation Invariants Under Retiming and Resynthesis (JHRJ), pp. 413–428.
CAV-2005-BalabanFPZ #named #verification: IIV: An Invisible Invariant Verifier (IB, YF, AP, LDZ), pp. 408–412.
CAV-2005-Kaivola #component #induction #simulation #verification: Formal Verification of Pentium® 4 Components with Symbolic Simulation and Inductive Invariants (RK), pp. 170–184.
CSL-2005-BenediktS #query #towards: Towards a Characterization of Order-Invariant Queries over Tame Structures (MB, LS), pp. 276–291.
TestCom-2005-LadaniAC #approach #testing: Passive Testing — A Constrained Invariant Checking Approach (BTL, BA, ARC), pp. 9–22.
ICPR-v1-2004-ChenL #image #recognition: Illumination and Expression Invariant Face Recognition with One Sample Image (SC, BCL), pp. 300–303.
ICPR-v1-2004-FortunaC #recognition: ICA Filters For Lighting Invariant Face Recognition (JF, DWC), pp. 334–337.
ICPR-v1-2004-Horikawa #classification #comparison #kernel: Comparison of Support Vector Machines with Autocorrelation Kernels for Invariant Texture Classification (YH), pp. 660–663.
ICPR-v1-2004-UrbachRW: Connected Rotation-Invariant Size-Shape Granulometries (ERU, JBTMR, MHFW), pp. 688–691.
ICPR-v2-2004-FlusserZ #symmetry: Invariants to Convolution with Circularly Symmetric PSF (JF, BZ), pp. 11–14.
ICPR-v2-2004-GritaiSS #analysis #on the #using: On the use of Anthropometry in the Invariant Analysis of Human Actions (AG, YS, MS), pp. 923–926.
ICPR-v2-2004-HaasdonkHB: Adjustable Invariant Features by Partial Haar-Integration (BH, AH, HB), pp. 769–774.
ICPR-v2-2004-RubeAK #classification #multi: Coarse-to-Fine Multiscale Affine Invariant Shape Matching and Classification (IER, MA, MK), pp. 163–166.
ICPR-v2-2004-SukF #generative #graph: Graph Method for Generating Affine Moment Invariants (TS, JF), pp. 192–195.
ICPR-v3-2004-McCallT #analysis #using: Pose Invariant Affect Analysis using Thin-Plate Splines (JCM, MMT), pp. 958–964.
ICPR-v3-2004-PozdnoukhovB #classification #image #kernel: Tangent Vector Kernels for Invariant Image Classification with SVMs (AP, SB), pp. 486–489.
ICPR-v4-2004-KangCM #using: Object Reacquisition Using Invariant Appearance Model (JK, IC, GGM), pp. 759–762.
ICPR-v4-2004-KarlssonEA #modelling #statistics: Parameterisation Invariant Statistical Shape Models (JK, AE, KÅ), pp. 23–26.
ICPR-v4-2004-KoseckaY #estimation #locality: Global Localization and Relative Pose Estimation Based on Scale-Invariant Features (JK, XY), pp. 319–322.
KDD-2004-VlachosGD #distance #metric: Rotation invariant distance measures for trajectories (MV, DG, GD), pp. 707–712.
KR-2004-Lin: Discovering State Invariants (FL), pp. 536–544.
SEKE-2004-SetiadiNKM #java: Analyzing Invariant Condition of Running Java Program (TES, KN, YK, MM), pp. 350–353.
ECOOP-2004-LeinoM: Object Invariants in Dynamic Contexts (KRML, PM), pp. 491–516.
POPL-2004-SankaranarayananSM #generative #using: Non-linear loop invariant generation using Gröbner bases (SS, HS, ZM), pp. 318–329.
SAS-2004-Rodriguez-CarbonellK #abstract interpretation #approach #automation #generative #polynomial: An Abstract Interpretation Approach for Automatic Generation of Polynomial Invariants (ERC, DK), pp. 280–295.
FSE-2004-PerkinsE #algorithm #detection #incremental #performance: Efficient incremental algorithms for dynamic detection of likely invariants (JHP, MDE), pp. 23–32.
TACAS-2004-QianN #abstraction #database #model checking: Guided Invariant Model Checking Based on Abstraction and Symbolic Pattern Databases (KQ, AN), pp. 497–511.
LICS-2004-NaumannB #imperative #reasoning #towards: Towards Imperative Modules: Reasoning about Invariants and Sharing of Mutable State (DAN, MB), pp. 313–323.
LICS-2004-PodelskiR: Transition Invariants (AP, AR), pp. 32–41.
VMCAI-2004-LahiriB #abstraction #quantifier: Constructing Quantified Invariants via Predicate Abstraction (SKL, REB), pp. 267–281.
VMCAI-2004-Logozzo #automation: Automatic Inference of Class Invariants (FL), pp. 211–222.
CSMR-2003-GibbsM #aspect-oriented #c++ #validation #weaving: Weaving Aspects into C++ Applications for Validation of Temporal Invariants (THG, BAM), pp. 249–258.
FME-2003-Charpentier: Composing Invariants (MC), pp. 401–421.
ICEIS-v2-2003-Abdel-WahaabBHH #3d #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 #modelling: Translation-invariant mixture models for curve clustering (DC, SG, EM, PS), pp. 79–88.
ASE-2003-GuptaH #detection #test coverage: A New Structural Coverage Criterion for Dynamic Detection of Program Invariants (NG, ZVH), pp. 49–59.
TACAS-2003-FontaineG #decidability #validation: Decidability of Invariant Validation for Paramaterized Systems (PF, EPG), pp. 97–112.
TACAS-2003-Schmidt #petri net #using: Using Petri Net Invariants in State Space Construction (KS0), pp. 473–488.
CAV-2003-Abu-HaimedBD #consistency #testing: Strengthening Invariants by Symbolic Consistency Testing (HAH, SB, DLD), pp. 407–419.
CAV-2003-ColonSS #constraints #generative #linear #theorem proving #using: Linear Invariant Generation Using Non-linear Constraint Solving (MC, SS, HS), pp. 420–432.
ICGT-2002-PadbergE #graph transformation #safety: Rule Invariants in Graph Transformation Systems for Analyzing Safety-Critical Systems (JP, BE), pp. 334–350.
ICPR-v1-2002-Heikkila #multi #pattern matching #pattern recognition #recognition: Multi-Scale Autoconvolution for Affine Invariant Pattern Recognition (JH), pp. 119–122.
ICPR-v1-2002-KimuraW #2d #detection: 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: A Hybrid Model for Invariant and Perceptual Texture Mapping (HL, WKL), pp. 135–138.
ICPR-v1-2002-ParameswaranC #recognition #representation: Quasi-Invariants for Human Action Representation and Recognition (VP, RC), pp. 307–310.
ICPR-v2-2002-ChennubhotlaJM #detection #robust: Robust Contrast-Invariant EigenDetection (CC, ADJ, JM), pp. 745–748.
ICPR-v2-2002-IpCW #retrieval #sketching: Affine Invariant Retrieval of Shapes Based on Hand-Drawn Sketches (HHSI, AKYC, WYFW), pp. 794–797.
ICPR-v2-2002-KamijoIS #image #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 #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 #segmentation: Invariant Texture Segmentation Via Circular Gabor Filters (JZ, TT, LM), pp. 901–904.
ICPR-v3-2002-GurevichJS #image #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 #recognition: Feature Selection for Pose Invariant Face Recognition (BG, LA, EA), pp. 306–309.
ICPR-v4-2002-MendelsVT #recognition #representation #using: Rotation and Scale Invariant Shape Representation and Recognition Using Matching Pursuit (FM, PV, JPT), pp. 326–329.
ICPR-v4-2002-MizoguchiS #video: Space-Time Invariants and Video Motion Extraction from Arbitrary Viewpoints (MM, JS), pp. 56–59.
ICPR-v4-2002-SukF: Blur and Affine Moment Invariants (TS, JF), pp. 339–342.
ASE-2002-GibbsMP #automation #c++ #validation: Automated Validation of Class Invariants in C++ Applications (THG, BAM, JFP), p. 205–?.
FSE-2002-NimmerE #static analysis: Invariant inference for static checking (JWN, MDE), pp. 11–20.
ICSE-2002-DengDHM #concurrent #source code #specification #synthesis #verification: Invariant-based specification, synthesis, and verification of synchronization in concurrent programs (XD, MBD, JH, MM), pp. 442–452.
ICSM-2001-Ernst #summary: Summary of Dynamically Discovering Likely Program Invariants (MDE), pp. 540–544.
ICSM-2001-KataokaEGN #automation #refactoring #using: Automated Support for Program Refactoring Using Invariants (YK, MDE, WGG, DN), pp. 736–743.
PASTE-2001-Webber #question #what: What is a class invariant? (ABW), pp. 86–89.
SVIS-2001-WilhelmMS #algorithm #visualisation: Algorithm Explanation: Visualizing Abstract States and Invariants (RW, TM, RS), pp. 381–394.
RE-2001-JeffordsH #algorithm #requirements #specification: An Algorithm for Strengthening State Invariants Generated from Requirements Specifications (RDJ, CLH), pp. 182–193.
TACAS-2001-PnueliRZ #automation #deduction #verification: Automatic Deductive Verification with Invisible Invariants (AP, SR, LDZ), pp. 82–97.
TACAS-2001-TiwariRSS #generative: A Technique for Invariant Generation (AT, HR, HS, NS), pp. 113–127.
ICPR-v1-2000-AvrithisXK #normalisation #retrieval: Affine-Invariant Curve Normalization for Shape-Based Retrieval (YSA, YX, SDK), pp. 5015–5018.
ICPR-v1-2000-Bayro-Corrochano #algebra #using: Computing Depth, Shape and Motion Using Invariants and Incidence Algebra (EBC), pp. 1881–1884.
ICPR-v1-2000-BigorgneAD #image #retrieval: An Invariant Local Vector for Content-Based Image Retrieval (EB, CA, JD), pp. 5019–5022.
ICPR-v1-2000-ChaoNO #3d #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 #recognition: Invariant Object Recognition with Discriminant Features Based on Local Fast-Fourier Mellin Transform (NG, SD, GH), pp. 1948–1951.
ICPR-v1-2000-GrossYW #modelling #recognition: Growing Gaussian Mixture Models for Pose Invariant Face Recognition (RG, JY, AW), pp. 5088–5091.
ICPR-v1-2000-Pilu #optimisation #random: Optimizing Random Patterns for Invariants-based Matching (MP), pp. 1716–1719.
ICPR-v1-2000-XueLT #performance #using: Efficient Object Matching Using Affine-Invariant Deformable Contour (ZX, SZL, EKT), pp. 1672–1675.
ICPR-v2-2000-Alvarez-BorregoMCP #correlation #recognition: Invariant Optical Color Correlation for Recognition of Vibrio cholerae O1 (JÁB, RRMP, GC, JLPP), pp. 2283–2286.
ICPR-v2-2000-DahmenKGN #image #recognition #using: Invariant Image Object Recognition Using Mixture Densities (JD, DK, MOG, HN), pp. 2614–2617.
ICPR-v2-2000-Horikawa #2d #3d #image #similarity: Bispectrum-Based Feature of 2D and 3D Images Invariant to Similarity Transformations (YH), pp. 2511–2514.
ICPR-v2-2000-LaoKST #3d #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 #recognition: Local Invariants and Local Constraints for Face Recognition (RM), pp. 2949–2952.
ICPR-v2-2000-RibaCVJ #classification: Methods for Invariant Signature Classification (JRR, AC, SV, IJ), pp. 2953–2956.
ICPR-v2-2000-SchaelS #3d: Invariant Grey-Scale Features for 3D Sensor-Data (MS, SS), pp. 2531–2535.
ICPR-v2-2000-TerrillonMSSA #detection #orthogonal: Invariant Neural-Network Based Face Detection with Orthogonal Fourier-Mellin Moments (JCT, DM, MS, YS, SA), p. 2993–?.
ICPR-v3-2000-ChantlerM #classification #on the #using: On the Use of Gradient Space Eigenvalues for Rotation Invariant Texture Classification (MJC, GM), pp. 3943–3946.
ICPR-v3-2000-ChetverikovF #classification: Affine-Invariant Texture Classification (DC, ZF), pp. 3901–3904.
ICPR-v3-2000-DaoudiM #multi #representation: New Multiscale Planar Shape Invariant Representation under a General Affine Transformations (MD, SM), pp. 3794–3797.
ICPR-v3-2000-MullerH #image #on the #using: On the Use of SDF-Type Filters for Distortion Invariant Image Location (NM, BMH), pp. 3530–3533.
ICPR-v3-2000-PaschalakisL #geometry #image #recognition: Combined Geometric Transformation and Illumination Invariant Object Recognition in RGB Color Images (SP, PL), pp. 3588–3591.
ICPR-v4-2000-ColiosT #identification #permutation: Landmark Identification Based on Projective and Permutation Invariant Vectors (CIC, PET), pp. 4128–4131.
ICPR-v4-2000-FrantiMK #image: Hough Transform for Rotation Invariant Matching of Line-Drawing Images (PF, AM, HK), pp. 4389–4392.
ICPR-v4-2000-NakajimaIPP #correlation #detection #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 Face Detection with Support Vector Machines (JCT, MNS, MS, HF, SA), pp. 4210–4217.
ICPR-v4-2000-WakaharaK #correlation #recognition #using: Affine-Invariant Gray-Scale Character Recognition Using GAT Correlation (TW, YK), pp. 4417–4421.
TOOLS-PACIFIC-2000-SkevoulisJ #detection #fault #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.
SAS-2000-BensalemBFGL #approach #generative: A Transformational Approach for Generating Non-linear Invariants (SB, MB, JCF, LG, YL), pp. 58–74.
SAS-2000-ChinKHT #parallel: Deriving Parallel Codes via Invariants (WNC, SCK, ZH, MT), pp. 75–94.
ICSE-2000-ErnstCGN #detection: Quickly detecting relevant program invariants (MDE, AC, WGG, DN), pp. 449–458.
FASE-2000-HuizingK #object-oriented #source code #using #verification: Verification of Object Oriented Programs Using Class Invariants (KH, RK), pp. 208–221.
TACAS-2000-BharadwajS #automation #constraints #named #theorem proving: Salsa: Combining Constraint Solvers with BDDs for Automatic Invariant Checking (RB, SS), pp. 378–394.
CAV-2000-Rushby #diagrams #verification: Verification Diagrams Revisited: Disjunctive Invariants for Easy Verification (JMR), pp. 508–520.
ICDAR-1999-KharmaW #recognition: A Simple Invariant Mapping Applied to Hand-written Pre-segmented Character Recognition (NNK, RKW), pp. 41–44.
ICDAR-1999-NosaryHPL #adaptation #recognition: Defining Writer’s Invariants to Adapt the Recognition Task (AN, LH, TP, YL), pp. 765–768.
ICDAR-1999-WakaharaK #correlation #using: Affine-Invariant Correlation of Gray-Scale Characters using GAT Iteration (TW, YK), pp. 613–616.
TOOLS-EUROPE-1999-Mikhajlova99a #component #consistency: Consistent Extension of Components in the Presence of Explicit Invariants (AM), pp. 76–85.
ICSE-1999-Ernst #detection #research #summary: Research Summary for Dynamic Detection of Program Invariants (MDE), pp. 718–719.
ICSE-1999-ErnstCGN #evolution: Dynamically Discovering Likely Program Invariants to Support Program Evolution (MDE, JC, WGG, DN), pp. 213–224.
CAV-1999-Etessami #automaton #logic: Stutter-Invariant Languages, ω-Automata, and Temporal Logic (KE), pp. 236–248.
LICS-1999-Libkin #bound #logic #query: Logics with Counting, Auxiliary Relations, and Lower Bounds for Invariant Queries (LL), pp. 316–325.
PODS-1998-SegoufinV #database #query: Querying Spatial Databases via Topological Invariants (LS, VV), pp. 89–98.
SIGMOD-1998-RaoR #correlation #query #reuse: Reusing Invariants: A New Strategy for Correlated Queries (JR, KAR), pp. 37–48.
ICPR-1998-KadyrovP98a: The trace transform as a tool to invariant feature construction (AK, MP), pp. 1037–1039.
ICPR-1998-MontesinosGD #difference #image: Differential invariants for color images (PM, VG, RD), pp. 838–840.
ICPR-1998-OkataniD #identification #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 #using: 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 #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 #using: Rotation-invariant texture characterization using isotropic wavelet frames (GVdW, PS, DVD), pp. 814–816.
LOPSTR-1998-StarkI #proving: Invariant Discovery via Failed Proof Attempts (JS, AI), pp. 271–288.
FSE-1998-JeffordsH #automation #generative #requirements #specification: Automatic Generation of State Invariants from Requirements Specifications (RDJ, CLH), pp. 56–69.
DATE-1998-GhoshKBH #benchmark #equivalence #metric #synthesis: Synthesis of Wiring Signature-Invariant Equivalence Class Circuit Mutants and Applications to Benchmarking (DG, NK, FB, JEHI), pp. 656–663.
CAV-1998-BensalemLO98a #named #verification: InVeST: A Tool for the Verification of Invariants (SB, YL, SO), pp. 505–510.
CSL-1998-Makowsky: Invariant Definability and P/poly (JAM), pp. 142–158.
RTA-1997-Gobel: The Invariant Package of MAS (MG), pp. 327–330.
CAV-1997-Saidi #automation #deduction #verification: The Invariant Checker: Automated Deductive Verification of Reactive Systems (HS), pp. 436–439.
CAV-1997-Sistla #automaton #linear #network #using #verification: Parametrized Verification of Linear Networks Using Automata as Invariants (APS), pp. 412–423.
ICPR-1996-Alexandre #pattern matching #pattern recognition #recognition: Connectionist cognitive processing for invariant pattern recognition (FA), pp. 679–683.
ICPR-1996-Ben-ArieWR #recognition: Iconic recognition with affine-invariant spectral signatures (JBA, ZW, KRR), pp. 672–676.
ICPR-1996-BrucksteinRW #using: Recognizing objects using scale space local invariants (AMB, ER, IW), pp. 760–764.
ICPR-1996-FlusserS #recognition: Invariants for recognition of degraded 1-D digital signals (JF, TS), pp. 389–393.
ICPR-1996-GeversS #image #retrieval: Color-metric pattern-card matching for viewpoint invariant image retrieval (TG, AWMS), pp. 3–7.
ICPR-1996-GurdjosDC #3d #coordination: Tracking 3D coplanar points in the invariant perspective coordinates plane (PG, PD, SC), pp. 493–497.
ICPR-1996-HeisterkampB #product line #recognition: Invariants of families of coplanar conics and their applications to object recognition (DRH, PB), pp. 677–681.
ICPR-1996-KrotkovKZ #analysis #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 #using: Discrimination properties of invariants using the line moments of vectorized contours (GL, JN), pp. 735–739.
ICPR-1996-LasenbyBLS: A new methodology for computing invariants in computer vision (JL, EBC, ANL, GS), pp. 393–397.
ICPR-1996-MokademDG #distance: A shape distance by complete and stable invariant descriptors for contour tracking (AM, MD, FG), pp. 105–109.
ICPR-1996-SatoC: Affine integral invariants and matching of curves (JS, RC), pp. 915–919.
ICPR-1996-StoschekYH #2d #detection #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 #recognition: Fuzzy ring data for invariant handwritten Chinese character recognition (DCT, HPC), pp. 94–98.
ICPR-1996-VossS: Invariant fitting of planar objects by primitives (KV, HS), pp. 508–512.
ICPR-1996-Xia #on the: On contour invariants: relationship and application (FX), pp. 136–140.
ICPR-1996-ZribiFG #3d #analysis #set: Set of invariant features for three-dimensional gray-level objects by harmonic analysis (MZ, HF, FG), pp. 549–553.
PLDI-1996-FlanaganFKWF #debugging #web: Static Debugging: Browsing the Web of Program Invariants (CF, MF, SK, SW, MF), pp. 23–32.
CAV-1996-BensalemLS #automation #generative: Powerful Techniques for the Automatic Generation of Invariants (SB, YL, HS), pp. 323–335.
CAV-1996-GrafS #proving #theorem proving #using #verification: Verifying Invariants Using theorem Proving (SG, HS), pp. 196–207.
CSL-1996-Otto #logic: The Logic of Explicitly Presentation-Invariant Circuits (MO), pp. 369–384.
ICDAR-v1-1995-ChiuTC #matrix #recognition #using: Invariant handwritten Chinese character recognition using weighted ring-data matrix (HPC, DCT, JCC), pp. 116–119.
ICDAR-v1-1995-ElmsI #distance #modelling: Modelling polyfont printed characters with HMMs and a shift invariant Hamming distance (AJE, JI), pp. 504–507.
ICDAR-v1-1995-PowalkaSW #hybrid #recognition: Zoning invariant holistic recognizer for hybrid recognition of handwriting (RKP, NS, RJW), pp. 64–67.
ICDAR-v2-1995-RheePK #recognition #string: Rotation-invariant recognition of character strings for Korean cadastral map digitizing (PKR, JSP, YGK), pp. 944–947.
PLDI-1994-GranlundM #integer #multi #using: Division by Invariant Integers using Multiplication (TG, PLM), pp. 61–72.
CADE-1994-Martin #geometry #termination: Termination, Geometry and Invariants (UM), pp. 432–434.
CAV-1994-BalarinS #automation #network #on the: On the Automatic Computation of Network Invariants (FB, ALSV), pp. 234–246.
ICDAR-1993-DoermannRW #geometry #recognition #using: Logo recognition using geometric invariants (DSD, ER, IW), pp. 894–897.
FME-1993-BicarreguiR #comparison: Invariants, Frames and Postconditions: a Comparison of the VDM and B Notations (JB, BR), pp. 162–182.
CAV-1993-HuD #performance #using #verification: Efficient Verification with BDDs using Implicitly Conjoined Invariants (AJH, DLD), pp. 3–14.
CAV-1993-RhoS #automation #generative #network #verification: Automatic Generation of Network Invariants for the Verification of Iterative Sequential Systems (JKR, FS), pp. 123–137.
LFP-1992-ChirimarGR #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 #state machine #verification: A Verification Procedure via Invariant for Extended Communicating Finite-State Machines (MH, OS, HS, MF, TK), pp. 384–395.
ML-1989-Puget #learning: Learning Invariants from Explanations (JFP), pp. 200–204.
CSE-1985-Gribomont #parallel #source code #synthesis: Synthesis of Parallel Programs Invariants (EPG), pp. 325–338.
POPL-1983-Nelson #reachability #verification: Verifying Reachability Invariants of Linked Structures (GN), pp. 38–47.
ICALP-1982-Sifakis: Global and Local Invariants in Transition Systems (JS), pp. 510–522.
ICALP-1979-BertoniMM: A Characterization of Abstract Data as Model-Theoretic Invariants (AB, GM, PM), pp. 26–37.
POPL-1979-Clarke #concurrent #source code #synthesis: Synthesis of Resource Invariants for Concurrent Programs (EMC), pp. 211–221.
ICSE-1979-KramerC #specification: Invariants for Specifications (JK, JC), pp. 183–193.