BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
invariant
Google invariant

Tag #invariant

552 papers:

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

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.