BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
use (96)
recognit (81)
base (69)
object (44)
program (39)

Stem invari$ (all stems)

528 papers:

DACDAC-2015-DingCZ #algorithm #invariant #performance
An efficient shift invariant rasterization algorithm for all-angle mask patterns in ILT (YD, CCNC, XZ), p. 6.
SASSAS-2015-AdjeGM #generative #invariant #optimisation #polynomial #using
Property-based Polynomial Invariant Generation Using Sums-of-Squares Optimization (AA, PLG, VM), pp. 235–251.
SASSAS-2015-Brain0KS #invariant #safety #verification
Safety Verification and Refutation by k-Invariants and k-Induction (MB, SJ, DK, PS), pp. 145–161.
ICALPICALP-v1-2015-BurtonMS #algorithm #complexity #invariant
Algorithms and Complexity for Turaev-Viro Invariants (BAB, CM, JS), pp. 281–293.
ICGTICGT-2015-DyckG #induction #invariant
Inductive Invariant Checking with Partial Negative Application Conditions (JD, HG), pp. 237–253.
ICGTICGT-2015-RadkeABHT #constraints #graph #invariant #ocl #set
Translating Essential OCL Invariants to Nested Graph Constraints Focusing on Set Operations (HR, TA, JSB, AH, GT), pp. 155–170.
ICMLICML-2015-FetayaU #invariant #learning
Learning Local Invariant Mahalanobis Distances (EF, SU), pp. 162–168.
KDDKDD-2015-MomtazpourZRSR #cyber-physical #invariant #using
Analyzing Invariants in Cyber-Physical Systems using Latent Factor Regression (MM, JZ, SR, RKS, NR), pp. 2009–2018.
POPLPOPL-2015-JungSSSTBD #concurrent #invariant #monad #named #orthogonal #reasoning
Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning (RJ, DS, FS, KS, AT, LB, DD), pp. 637–650.
ICSEICSE-v1-2015-KusanoCW #generative #invariant #parallel #source code #thread
Dynamic Generation of Likely Invariants for Multithreaded Programs (MK, AC, CW), pp. 835–846.
ICSEICSE-v2-2015-Lemieux #invariant #mining
Mining Temporal Properties of Data Invariants (CL), pp. 751–753.
CAVCAV-2015-BeyerW #invariant
Boosting k-Induction with Continuously-Refined Invariants (DB, MD, PW), pp. 622–640.
CAVCAV-2015-ChenHWZ #generative #invariant #polynomial
Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation (YFC, CDH, BYW, LZ), pp. 658–674.
CAVCAV-2015-KarbyshevBIRS #invariant #proving
Property-Directed Inference of Universal Invariants or Proving Their Absence (AK, NB, SI, NR, SS), pp. 583–602.
LICSLICS-2015-Carreiro #bisimulation #invariant #logic
PDL Is the Bisimulation-Invariant Fragment of Weak Chain Logic (FC), pp. 341–352.
LICSLICS-2015-EnqvistSV #algebra #bisimulation #higher-order #logic #monad
Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras (SE, FS, YV), pp. 353–365.
TAPTAP-2015-SoekenSD #invariant #ocl #specification
Coverage of OCL Operation Specifications and Invariants (MS, JS, RD), pp. 191–207.
VMCAIVMCAI-2015-AdjeG #automation #invariant #linear #polynomial #source code #synthesis
Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs (AA, PLG), pp. 99–116.
VMCAIVMCAI-2015-GhorbalSP #algebra #difference #proving #set
A Hierarchy of Proof Rules for Checking Differential Invariance of Algebraic Sets (KG, AS, AP), pp. 431–448.
DATEDATE-2014-WelpK #invariant #refinement #verification
Property directed invariant refinement for program verification (TW, AK), pp. 1–6.
FASEFASE-2014-Zaharieva-StojanovskiH #concurrent #invariant #source code #verification
Verifying Class Invariants in Concurrent Programs (MZS, MH), pp. 230–245.
TACASTACAS-2014-AstefanoaeiRBBC #composition #generative #invariant
Compositional Invariant Generation for Timed Systems (LA, SBR, SB, MB, JC), pp. 263–278.
TACASTACAS-2014-GhorbalP #algebra #difference #invariant
Characterizing Algebraic Invariants by Differential Radical Invariants (KG, AP), pp. 279–294.
TACASTACAS-2014-GurfinkelBM #invariant
Synthesizing Safe Bit-Precise Invariants (AG, AB, JMS), pp. 93–108.
TACASTACAS-2014-SalemDKT #automaton #invariant #model checking #testing #using
Symbolic Model Checking of Stutter-Invariant Properties Using Generalized Testing Automata (AEBS, ADL, FK, YTM), pp. 440–454.
TACASTACAS-2014-SoudjaniA #approximate #markov #precise #probability #process
Precise Approximations of the Probability Distribution of a Markov Process in Time: An Application to Probabilistic Invariance (SEZS, AA), pp. 547–561.
SASSAS-2014-ChakarovS #fixpoint #invariant #probability
Expectation Invariants for Probabilistic Program Loops as Fixed Points (AC, SS), pp. 85–100.
SASSAS-2014-GhorbalSP #algebra #difference #equation #polynomial
Invariance of Conjunctions of Polynomial Equalities for Algebraic Differential Equations (KG, AS, AP), pp. 151–167.
STOCSTOC-2014-Yoshida #composition #invariant #theorem
A characterization of locally testable affine-invariant properties via decomposition theorems (YY), pp. 154–163.
FMFM-2014-HayesM #algebra #invariant #realtime
Invariants, Well-Founded Statements and Real-Time Program Algebra (IJH, LM), pp. 318–334.
FMFM-2014-PolikarpovaTFM #collaboration #flexibility #invariant #semantics
Flexible Invariants through Semantic Collaboration (NP, JT, CAF, BM), pp. 514–530.
FMFM-2014-RouxG #comparison #invariant #polynomial
Computing Quadratic Invariants with Min- and Max-Policy Iterations: A Practical Comparison (PR, PLG), pp. 563–578.
IFMIFM-2014-ErikssonPB #invariant #programming #proving
Proofs and Refutations in Invariant-Based Programming (JE, MP, RJB), pp. 189–204.
SEFMSEFM-2014-ChristakisMW #detection #invariant #testing
Synthesizing Parameterized Unit Tests to Detect Object Invariant Violations (MC, PM, VW), pp. 65–80.
SEFMSEFM-2014-HusterHERBKR #flexibility #invariant #specification
More Flexible Object Invariants with Less Specification Overhead (SH, PH, HE, JR, SB, TK, WR), pp. 302–316.
ICGTICGT-2014-ArendtHRT #constraints #graph #invariant #ocl
From Core OCL Invariants to Nested Graph Constraints (TA, AH, HR, GT), pp. 97–112.
HCIHCI-AIMT-2014-RoyC #artificial reality #detection #invariant #markov #using
View-Invariant Human Detection from RGB-D Data of Kinect Using Continuous Hidden Markov Model (SR, TC), pp. 325–336.
ICMLICML-c1-2014-YangSAM #invariant #kernel #monte carlo
Quasi-Monte Carlo Feature Maps for Shift-Invariant Kernels (JY, VS, HA, MWM), pp. 485–493.
ICPRICPR-2014-GadelhaC #invariant #named #robust
DRINK: Discrete Robust Invariant Keypoints (MAG, BMC), pp. 821–826.
ICPRICPR-2014-Garcia-OrdasAGG #invariant #named
aZIBO: A New Descriptor Based in Shape Moments and Rotational Invariant Features (MTGO, EA, VGC, DGO), pp. 2395–2400.
ICPRICPR-2014-Hast #invariant #robust
Robust and Invariant Phase Based Local Feature Matching (AH), pp. 809–814.
ICPRICPR-2014-HeS #identification #invariant
Delta-n Hinge: Rotation-Invariant Features for Writer Identification (SH, LS), pp. 2023–2028.
ICPRICPR-2014-LeeSL #3d #invariant #recognition #self #using
View-Invariant 3D Action Recognition Using Spatiotemporal Self-Similarities from Depth Camera (ARL, HIS, SWL), pp. 501–505.
ICPRICPR-2014-LiCH #collaboration #invariant
Transformation-Invariant Collaborative Sub-representation (YL, CC, JH), pp. 3738–3743.
ICPRICPR-2014-MoeiniMAF #2d #3d #image #invariant #modelling #recognition #women
Makeup-Invariant Face Recognition by 3D Face: Modeling and Dual-Tree Complex Wavelet Transform from Women’s 2D Real-World Images (AM, HM, FA, KF), pp. 1710–1715.
ICPRICPR-2014-MoeiniMF #image #invariant #matrix #realtime #recognition
Real-Time Pose-Invariant Face Recognition by Triplet Pose Sparse Matrix from Only a Single Image (AM, HM, KF), pp. 465–470.
ICPRICPR-2014-MoeiniMF14a #2d #3d #image #invariant #re-engineering #recognition #synthesis
Pose-Invariant Facial Expression Recognition Based on 3D Face Reconstruction and Synthesis from a Single 2D Image (AM, HM, KF), pp. 1746–1751.
ICPRICPR-2014-MoeiniMF14b #2d #3d #image #invariant #re-engineering #recognition #using
Expression-Invariant Face Recognition via 3D Face Reconstruction Using Gabor Filter Bank from a 2D Single Image (AM, HM, KF), pp. 4708–4713.
ICPRICPR-2014-WakaharaY #2d #correlation #invariant
GPT Correlation for 2D Projection Transformation Invariant Template Matching (TW, YY), pp. 3810–3815.
ICPRICPR-2014-WuK #geometry #image #invariant #retrieval #scalability
Image Retrieval Based on Anisotropic Scaling and Shearing Invariant Geometric Coherence (XW, KK), pp. 3951–3956.
ICPRICPR-2014-WuMCXC #gesture #invariant #parametricity #recognition #using
View-Invariant Gesture Recognition Using Nonparametric Shape Descriptor (XW, XM, LC, YLX, AC), pp. 544–549.
ICPRICPR-2014-YanRLSS #analysis #clustering #invariant #linear #multi #recognition
Clustered Multi-task Linear Discriminant Analysis for View Invariant Color-Depth Action Recognition (YY, ER, GL, RS, NS), pp. 3493–3498.
ICPRICPR-2014-YiMHP #classification #invariant #locality #multi #process
Pose Invariant Activity Classification for Multi-floor Indoor Localization (SY, PWM, TKH, VP), pp. 3505–3510.
OnwardOnward-2014-ProustM #invariant
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 #invariant
Bounded exhaustive test input generation from hybrid invariants (NR, VSB, PP, SAK, NA, MFF, SK), pp. 655–674.
POPLPOPL-2014-CoughlinC #analysis #composition #invariant
Fissile type analysis: modular checking of almost everywhere invariants (DC, BYEC), pp. 73–86.
SACSAC-2014-HundtSSGD #automation #invariant #named #similarity
GEM: an elastic and translation-invariant similarity measure with automatic trend adjustment (CH, BS, ES, HG, HVD), pp. 105–112.
FSEFSE-2014-KrkaBM #automation #invariant #mining #specification
Automatic mining of specifications from invocation traces and method invariants (IK, YB, NM), pp. 178–189.
ICSEICSE-2014-BocicB #induction #invariant #verification #web
Inductive verification of data model invariants for web applications (IB, TB), pp. 620–631.
ICSEICSE-2014-NguyenKWF #dynamic analysis #invariant #using
Using dynamic analysis to generate disjunctive invariants (TN, DK, WW, SF), pp. 608–619.
CAVCAV-2014-0001A #invariant #random #using
From Invariant Checking to Invariant Inference Using Randomized Search (RS, AA), pp. 88–105.
CAVCAV-2014-0001LMN #framework #invariant #learning #named #robust
ICE: A Robust Framework for Learning Invariants (PG, CL, PM, DN), pp. 69–87.
CAVCAV-2014-HuangFMMK #automaton #hybrid #invariant #network #verification
Invariant Verification of Nonlinear Hybrid Automata Networks of Cardiac Cells (ZH, CF, AM, SM, MZK), pp. 373–390.
ISSTAISSTA-2014-ZhangYRPK #invariant
Feedback-driven dynamic invariant discovery (LZ, GY, NR, SP, SK), pp. 362–372.
LICSLICS-CSL-2014-AccattoliL #invariant #reduction
β reduction is invariant, indeed (BA, UDL), p. 10.
CBSECBSE-2013-KezniklBPGHH #component #design #invariant #refinement
Design of ensemble-based component systems by invariant refinement (JK, TB, FP, IG, PH, NH), pp. 91–100.
ASEASE-2013-MaezawaWTH #ajax #automation #interactive #invariant #verification
Automated verification of pattern-based interaction invariants in Ajax applications (YM, HW, YT, SH), pp. 158–168.
ASEASE-2013-SagdeoEPV #automation #debugging #invariant #locality #testing #using
Using automatically generated invariants for regression testing and bug localization (PS, NE, DP, SV), pp. 634–639.
DATEDATE-2013-NovoAI #estimation #fault #fixpoint #invariant #linear #trade-off
Accuracy vs speed tradeoffs in the estimation of fixed-point errors on linear time-invariant systems (DN, SEA, PI), pp. 15–20.
ICDARICDAR-2013-BuiVM #documentation #invariant #navigation
Invariants Extraction Method Applied in an Omni-language Old Document Navigating System (QAB, MV, RM), pp. 1325–1329.
ICDARICDAR-2013-HigaH #classification #image #recognition
Local Subspace Classifier with Transformation Invariance for Appearance-Based Character Recognition in Natural Images (KH, SH), pp. 533–537.
ICDARICDAR-2013-MaraK #3d #invariant
Vectorization of 3D-Characters by Integral Invariant Filtering of High-Resolution Triangular Meshes (HM, SK), pp. 62–66.
ICDARICDAR-2013-ZhangLSM #invariant #rank
Rectification of Optical Characters as Transform Invariant Low-Rank Textures (XZ, ZL, FS, YM), pp. 393–397.
ESOPESOP-2013-EneaSS #composition #invariant
Compositional Invariant Checking for Overlaid and Nested Linked Lists (CE, VS, MS), pp. 129–148.
ESOPESOP-2013-SharmaGHALN #algebra #approach #data-driven #invariant
A Data Driven Approach for Algebraic Loop Invariants (RS, SG, BH, AA, PL, AVN), pp. 574–592.
FASEFASE-2013-LasseterC #design pattern #invariant #runtime
Design Pattern-Based Extension of Class Hierarchies to Support Runtime Invariant Checks (JL, JC), pp. 163–178.
STOCSTOC-2013-BhattacharyyaFHHL #invariant
Every locally characterized affine-invariant property is testable (AB, EF, HH, PH, SL), pp. 429–436.
ICALPICALP-v1-2013-WimmerY #invariant #morphism #testing
Testing Linear-Invariant Function Isomorphism (KW, YY), pp. 840–850.
SEFMSEFM-2013-PerceboisST #graph transformation #invariant #transitive #verification
Rule-Level Verification of Graph Transformations for Invariants Based on Edges’ Transitive Closure (CP, MS, HNT), pp. 106–121.
ICMLICML-c1-2013-GongGS #adaptation #invariant #learning
Connecting the Dots with Landmarks: Discriminatively Learning Domain-Invariant Features for Unsupervised Domain Adaptation (BG, KG, FS), pp. 222–230.
ICMLICML-c1-2013-MuandetBS #invariant #representation
Domain Generalization via Invariant Feature Representation (KM, DB, BS), pp. 10–18.
ICMLICML-c2-2013-Hui #modelling #visual notation
Direct Modeling of Complex Invariances for Visual Object Features (KYH), pp. 352–360.
ICMLICML-c3-2013-MemisevicE #invariant #learning #problem
Learning invariant features by harnessing the aperture problem (RM, GE), pp. 100–108.
ICMLICML-c3-2013-ReddiP #dependence #invariant #metric
Scale Invariant Conditional Dependence Measures (SJR, BP), pp. 1355–1363.
ECOOPECOOP-2013-CoxCS #generative #graph #invariant #relational
QUIC Graphs: Relational Invariant Generation for Containers (AC, BYEC, SS), pp. 401–425.
ECOOPECOOP-2013-CutsemM #invariant
Trustworthy Proxies — Virtualizing Objects with Invariants (TVC, MSM), pp. 154–178.
ECOOPECOOP-2013-ThomsenCADE #invariant
Reducing Lookups for Invariant Checking (JGT, CC, KJA, JD, EE), pp. 426–450.
OOPSLAOOPSLA-2013-ChongDKKQ #abstraction #analysis #gpu #invariant #kernel
Barrier invariants: a shared state abstraction for the analysis of data-dependent GPU kernels (NC, AFD, PHJK, JK, SQ), pp. 605–622.
OOPSLAOOPSLA-2013-DilligDLM #abduction #generative #induction #invariant
Inductive invariant generation via abductive inference (ID, TD, BL, KLM), pp. 443–456.
PPDPPPDP-2013-Holdermans #data type #functional #guidelines #random testing #testing
Random testing of purely functional abstract datatypes: guidelines for dealing with operation invariance (SH), pp. 275–284.
POPLPOPL-2013-AtkeyJK #abstraction #algebra
Abstraction and invariance for algebraically indexed types (RA, PJ, AK), pp. 87–100.
ESEC-FSEESEC-FSE-2013-LiRSY #constraints #higher-order #invariant
Second-order constraints in dynamic invariant inference (KL, CR, YS, MY), pp. 103–113.
ASPLOSASPLOS-2013-MaiPXKM #invariant #security #verification
Verifying security invariants in ExpressOS (HM, EP, HX, STK, PM), pp. 293–304.
ASPLOSASPLOS-2013-SahooCGA #automation #fault #invariant #locality #using
Using likely invariants for automated software fault localization (SKS, JC, CG, VSA), pp. 139–152.
CAVCAV-2013-0001LMN #data type #invariant #learning #linear #quantifier
Learning Universally Quantified Invariants of Linear Data Structures (PG, CL, PM, DN), pp. 813–829.
CSLCSL-2013-HarwathS #first-order #invariant #locality #logic #on the #quantifier
On the locality of arb-invariant first-order logic with modulo counting quantifiers (FH, NS), pp. 363–379.
ISSTAISSTA-2013-RosnerGBBRPZF #analysis #bound #invariant #parallel #refinement
Parallel bounded analysis in code with rich invariants by refinement of field bounds (NR, JPG, SB, GMB, SPDR, LP, LZ, MFF), pp. 23–33.
LICSLICS-2013-EickmeyerKK #first-order #graph #invariant #logic #model checking
Model Checking for Successor-Invariant First-Order Logic on Minor-Closed Graph Classes (KE, KiK, SK), pp. 134–142.
VMCAIVMCAI-2013-LarrazRR #array #generative #invariant #smt
SMT-Based Array Invariant Generation (DL, ERC, AR), pp. 169–188.
DACDAC-2012-GuoK #concurrent #detection #encryption #fault #standard
Invariance-based concurrent error detection for advanced encryption standard (XG, RK), pp. 573–578.
DATEDATE-2012-SoekenWD #invariant #modelling #ocl #uml
Eliminating invariants in UML/OCL models (MS, RW, RD), pp. 1142–1145.
SASSAS-2012-CacheraJJK #imperative #invariant #polynomial #source code
Inference of Polynomial Invariants for Imperative Programs: A Farewell to Gröbner Bases (DC, TPJ, AJ, FK), pp. 58–74.
SASSAS-2012-SanchezSSC #generative #invariant #self #using
Invariant Generation for Parametrized Systems Using Self-reflection — (Extended Version) (AS, SS, CS, BYEC), pp. 146–163.
FMFM-2012-AponteCMS #composition #invariant
Maximal and Compositional Pattern-Based Loop Invariants (MVA, PC, YM, MS), pp. 37–51.
FMFM-2012-ErmisSW #fault #invariant
Error Invariants (EE, MS, TW), pp. 187–201.
ICGTICGT-2012-BlumeBEK #automaton #graph #implementation #invariant #performance
Efficient Symbolic Implementation of Graph Automata with Applications to Invariant Checking (CB, HJSB, DE, BK), pp. 264–278.
ICGTICGT-2012-GieseL #automation #behaviour #invariant #model transformation #towards #verification
Towards Automatic Verification of Behavior Preservation for Model Transformation via Invariant Checking (HG, LL), pp. 249–263.
ICMLICML-2012-SohnL #invariant #learning
Learning Invariant Representations with Local Transformations (KS, HL), p. 174.
ICPRICPR-2012-BaccoucheMWGB #2d #invariant #learning #recognition #representation #sequence
Sparse shift-invariant representation of local 2D patterns and sequence learning for human action recognition (MB, FM, CW, CG, AB), pp. 3823–3826.
ICPRICPR-2012-BaradaraniWA #invariant #recognition
Illumination suppression for illumination invariant face recognition (AB, QMJW, MA), pp. 1590–1593.
ICPRICPR-2012-GossowWB #invariant
Distinctive texture features from perspective-invariant keypoints (DG, DW, MB), pp. 2764–2767.
ICPRICPR-2012-GutmannH #architecture #feature model #image #learning
Learning a selectivity-invariance-selectivity feature extraction architecture for images (MG, AH), pp. 918–921.
ICPRICPR-2012-HuangH #invariant #using
Binary invariant cross color descriptor using galaxy sampling (GHH, CRH), pp. 2610–2613.
ICPRICPR-2012-HuangLT #invariant #learning #recognition
Learning modality-invariant features for heterogeneous face recognition (LH, JL, YPT), pp. 1683–1686.
ICPRICPR-2012-LiL12a #image #invariant #segmentation
Scale-invariant sampling for supervised image segmentation (YL, ML), pp. 1399–1402.
ICPRICPR-2012-LiSY #detection #invariant
A Fully Affine Invariant Feature detector (WL, ZS, JY), pp. 2768–2771.
ICPRICPR-2012-MakaremiA #image #invariant #recognition
Generalized ordinary moment based blur invariant descriptors for face recognition with degraded images (IM, MA), pp. 3648–3651.
ICPRICPR-2012-MansurMY #invariant #recognition
View-invariant gait recognition from low frame-rate videos (AM, YM, YY), pp. 2383–2386.
ICPRICPR-2012-MaoYLZ #classification #invariant #verification
Age-invariant face verification based on Local Classifier Ensemble (XJM, YBY, NL, YZ), pp. 2408–2411.
ICPRICPR-2012-MarieLM #invariant #locality #recognition #visual notation
Invariant signatures for omnidirectional visual place recognition and robot localization in unknown environments (RM, OLI, EMM), pp. 2537–2540.
ICPRICPR-2012-PedoneH #invariant #recognition #robust
Local phase quantization descriptors for blur robust and illumination invariant recognition of color textures (MP, JH), pp. 2476–2479.
ICPRICPR-2012-SadekAMS #invariant #recognition
Human action recognition via affine moment invariants (SS, AAH, BM, US), pp. 218–221.
ICPRICPR-2012-ScandaliarisS #distance #image #invariant #probability #representation
Probabilistic invariant image representation and associated distance measure (JS, AS), pp. 3569–3572.
ICPRICPR-2012-SiddiquieFDD #detection #invariant
Unsupervised model selection for view-invariant object detection in surveillance environments (BS, RSF, AD, LSD), pp. 3252–3255.
ICPRICPR-2012-TuH #invariant #matrix #recognition
Dual subspace nonnegative matrix factorization for person-invariant facial expression recognition (YHT, CTH), pp. 2391–2394.
ICPRICPR-2012-VieiraLSC #distance #invariant #matrix
Distance matrices as invariant features for classifying MoCap data (AWV, TL, WRS, MFMC), pp. 2934–2937.
ICPRICPR-2012-XiaDG #detection #invariant
An accurate and contrast invariant junction detector (GSX, JD, YG), pp. 2780–2783.
KDDKDD-2012-LappasVG #invariant #mining #performance
Efficient and domain-invariant competitor mining (TL, GV, DG), pp. 408–416.
KDIRKDIR-2012-SpiegelA #analysis #distance #invariant
An Order-invariant Time Series Distance Measure — Position on Recent Developments in Time Series Analysis (SS, SA), pp. 264–268.
SEKESEKE-2012-LuZZBA #decidability #invariant #petri net
Decidability of Minimal Supports of S-invariants and the Computation of their Supported S-invariants of Petri Nets (FL, QZ, HZ, YB, JA), pp. 340–345.
ECOOPECOOP-2012-XuYR #data type #detection #invariant #static analysis
Static Detection of Loop-Invariant Data Structures (G(X, DY, AR), pp. 738–763.
SACSAC-2012-HasegawaT #distance #invariant #using
Affine invariant shape matching using radon transform and dynamic time warping distance (MH, ST), pp. 777–781.
ICSEICSE-2012-Ghardallou #analysis #invariant #termination #using
Using invariant relations in the termination analysis of while loops (WG), pp. 1519–1522.
ICSEICSE-2012-NguyenKWF #array #dynamic analysis #invariant #polynomial #using
Using dynamic analysis to discover polynomial and array invariants (TN, DK, WW, SF), pp. 683–693.
ICSEICSE-2012-SongT #invariant #metadata
Metadata invariants: Checking and inferring metadata coding conventions (MS, ET), pp. 694–704.
ICSEICSE-2012-YuLHHKM #bidirectional #invariant #maintenance #traceability
Maintaining invariant traceability through bidirectional transformations (YY, YL, ZH, SH, HK, LM), pp. 540–550.
CAVCAV-2012-Venet #analysis #difference #invariant #linear #scalability
The Gauge Domain: Scalable Analysis of Linear Inequality Invariants (AV), pp. 139–154.
ISSTAISSTA-2012-StaatsHKR #comprehension #correctness #invariant
Understanding user understanding: determining correctness of generated program invariants (MS, SH, MK, GR), pp. 188–198.
RTARTA-2012-AccattoliL #cost analysis #on the #reduction
On the Invariance of the Unitary Cost Model for Head Reduction (BA, UDL), pp. 22–37.
VMCAIVMCAI-2012-SiegelZ #execution #invariant #parallel #source code #symbolic computation
Loop Invariant Symbolic Execution for Parallel Programs (SFS, TKZ), pp. 412–427.
ASEASE-2011-SagdeoAKV #clustering #invariant #named #using
PRECIS: Inferring invariants using program path guided clustering (PS, VA, SK, SV), pp. 532–535.
CASECASE-2011-Aguayo-LaraRR #invariant #petri net
Invariant subspaces and sensor placement for observability in Continuous Timed Petri Nets (EAL, ART, JJRL), pp. 607–612.
ICDARICDAR-2011-PanZSN #invariant #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 #invariant #verification
A Circular Grid-Based Rotation Invariant Feature Extraction Approach for Off-line Signature Verification (MP, JCG, AB), pp. 1289–1293.
ICDARICDAR-2011-WakaharaY #invariant #recognition
Affine-Invariant Recognition of Handwritten Characters via Accelerated KL Divergence Minimization (TW, YY), pp. 1095–1099.
TACASTACAS-2011-GarbervetskyGN #invariant #using
Enforcing Structural Invariants Using Dynamic Frames (DG, DG, AN), pp. 65–80.
TACASTACAS-2011-HoderKV #generative #invariant
Invariant Generation in Vampire (KH, LK, AV), pp. 60–64.
TACASTACAS-2011-JungLWY #generative #invariant #quantifier
Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference (YJ, WL, BYW, KY), pp. 205–219.
TACASTACAS-2011-PodelskiR #abstraction #invariant #termination
Transition Invariants and Transition Predicate Abstraction for Program Termination (AP, AR), pp. 3–10.
SASSAS-2011-McMillanZ #abstract interpretation #invariant
Invisible Invariants and Abstract Interpretation (KLM, LDZ), pp. 249–262.
STOCSTOC-2011-HatamiL #correlation #fault #invariant #testing
Correlation testing for affine invariant properties on Fpn in the high error regime (HH, SL), pp. 187–194.
ICALPICALP-v2-2011-AndersonMSS #first-order #invariant #locality #logic #query
Locality of Queries Definable in Invariant First-Order Logic with Arbitrary Built-in Predicates (MA, DvM, NS, LS), pp. 368–379.
ICMLICML-2011-RifaiVMGB #feature model
Contractive Auto-Encoders: Explicit Invariance During Feature Extraction (SR, PV, XM, XG, YB), pp. 833–840.
ECOOPECOOP-2011-BalzerG #invariant #multi #verification
Verifying Multi-object Invariants with Relationships (SB, TRG), pp. 358–382.
SACSAC-2011-BackP #invariant #proving #semantics #source code
Semantics and proof rules of invariant based programs (RJB, VP), pp. 1658–1665.
ESEC-FSEESEC-FSE-2011-BeschastnikhBSSE #automation #invariant #modelling
Leveraging existing instrumentation to automatically infer invariant-constrained models (IB, YB, SS, MS, MDE), pp. 267–277.
CAVCAV-2011-SharmaDDA #generative #invariant #using
Simplifying Loop Invariant Generation Using Splitter Predicates (RS, ID, TD, AA), pp. 703–719.
DACDAC-2010-ThalmaierNWSBK #induction #invariant #satisfiability
Analyzing k-step induction to compute invariants for SAT-based property checking (MT, MDN, MW, DS, JB, WK), pp. 176–181.
DocEngDocEng-2010-Lumley #documentation #functional #invariant #layout
Pre-evaluation of invariant layout in functional variable-data documents (JWL), pp. 251–254.
ESOPESOP-2010-AdjeGG #invariant #policy #static analysis
Coupling Policy Iteration with Semi-definite Relaxation to Compute Accurate Numerical Invariants in Static Analysis (AA, SG, EG), pp. 23–42.
ICSMEICSM-2010-PonsiniCFMR #automation #invariant #verification
Automatic verification of loop invariants (OP, HC, CF, CM, MR), pp. 1–5.
SASSAS-2010-HeizmannJP #invariant #termination
Size-Change Termination and Transition Invariants (MH, NDJ, AP), pp. 22–50.
SASSAS-2010-KatoenMMM #automation #generative #invariant #probability #source code
Linear-Invariant Generation for Probabilistic Programs: — Automated Support for Proof-Based Methods (JPK, AM, LM, CCM), pp. 390–406.
SASSAS-2010-MatringeMR #algebra #generative #hybrid #invariant #linear
Generating Invariants for Non-linear Hybrid Systems by Linear Algebraic Methods (NM, AVM, RR), pp. 373–389.
SASSAS-2010-McCloskeyRS #array #invariant
Statically Inferring Complex Heap, Array, and Numeric Invariants (BM, TWR, MS), pp. 71–99.
STOCSTOC-2010-HarshaKM
An invariance principle for polytopes (PH, AK, RM), pp. 543–552.
SEFMSEFM-2010-GothelG #automation #invariant #network #realtime #towards #using #verification
Towards the Semi-Automatic Verification of Parameterized Real-Time Systems Using Network Invariants (TG, SG), pp. 310–314.
GT-VMTGT-VMT-2010-BlumeBK #graph #invariant
Recognizable Graph Languages for Checking Invariants (CB, HJSB, BK).
ICMLICML-2010-VogtPFR #clustering #distance #invariant #process
The Translation-invariant Wishart-Dirichlet Process for Clustering Distance Data (JEV, SP, TJF, VR), pp. 1111–1118.
ICPRICPR-2010-AshrafSF #constraints #invariant #rank #recognition #using
View-Invariant Action Recognition Using Rank Constraint (NA, YS, HF), pp. 3611–3614.
ICPRICPR-2010-BenvenisteU #invariant
A Color Invariant Based Binary Coded Structured Light Range Scanner for Shiny Objects (RB, ), pp. 798–801.
ICPRICPR-2010-DahmG #2d #3d #approach #invariant #novel #recognition #using
A Novel Pose Invariant Face Recognition Approach Using a 2D-3D Searching Strategy (ND, YG), pp. 3967–3970.
ICPRICPR-2010-EzojiF #invariant #recognition
Diffusion-Based Face Selective Smoothing in DCT Domain to Illumination Invariant Face Recognition (ME, KF), pp. 1164–1167.
ICPRICPR-2010-Fehr #3d #invariant
Local Rotation Invariant Patch Descriptors for 3D Vector Fields (JF), pp. 1381–1384.
ICPRICPR-2010-FleckD #image #invariant #using
Using Local Affine Invariants to Improve Image Matching (DF, ZD), pp. 1844–1847.
ICPRICPR-2010-GuoC #invariant #named
FIND: A Neat Flip Invariant Descriptor (XG, XC), pp. 515–518.
ICPRICPR-2010-HoangT #fourier #geometry #invariant
A Geometric Invariant Shape Descriptor Based on the Radon, Fourier, and Mellin Transforms (TVH, ST), pp. 2085–2088.
ICPRICPR-2010-HurWL #estimation #invariant #learning
View Invariant Body Pose Estimation Based on Biased Manifold Learning (DH, CW, SWL), pp. 3866–3869.
ICPRICPR-2010-IbrahimTH #image #invariant #representation
Spectral Invariant Representation for Spectral Reflectance Image (AI, ST, TH), pp. 2776–2779.
ICPRICPR-2010-KhwajaAG #invariant #recognition #representation #using
Illumination and Expression Invariant Recognition Using SSIM Based Sparse Representation (AAK, AA, RG), pp. 4028–4031.
ICPRICPR-2010-LiZZ #detection #invariant #using
Abandoned Objects Detection Using Double Illumination Invariant Foreground Masks (XL, CZ, DZ), pp. 436–439.
ICPRICPR-2010-PatrauceanGC #identification #invariant #using
Bubble Tag Identification Using an Invariant — Under — Perspective Signature (VP, PG, JC), pp. 408–411.
ICPRICPR-2010-RaytchevMTK #invariant #recognition
View-Invariant Object Recognition with Visibility Maps (BR, TM, TT, KK), pp. 1040–1043.
ICPRICPR-2010-ScandaliarisS #invariant
Discriminant and Invariant Color Model for Tracking under Abrupt Illumination Changes (JS, AS), pp. 1840–1843.
ICPRICPR-2010-SmeetsFHVS #3d #approach #composition #invariant #modelling #recognition #using
Fusion of an Isometric Deformation Modeling Approach Using Spectral Decomposition and a Region-Based Approach Using ICP for Expression-Invariant 3D Face Recognition (DS, TF, JH, DV, PS), pp. 1172–1175.
ICPRICPR-2010-VachaH #invariant #recognition
Natural Material Recognition with Illumination Invariant Textural Features (PV, MH), pp. 858–861.
ICPRICPR-2010-WuXJHCL #constraints #geometry #image #invariant #retrieval
Adding Affine Invariant Geometric Constraint for Partial-Duplicate Image Retrieval (ZW, QX, SJ, QH, PC, LL), pp. 842–845.
ICPRICPR-2010-ZhangGC #detection #invariant #using
Water Reflection Detection Using a Flip Invariant Shape Detector (HZ, XG, XC), pp. 633–636.
OOPSLAOOPSLA-2010-DilligDA #abstraction #axiom #invariant #memory management
Symbolic heap abstraction with demand-driven axiomatization of memory invariants (ID, TD, AA), pp. 397–410.
OOPSLAOOPSLA-2010-ShiPYLZCZ #concurrent #debugging #detection #invariant
Do I use the wrong definition?: DeFuse: definition-use invariants for detecting concurrency and sequential bugs (YS, SP, ZY, SL, YZ, WC, WZ), pp. 160–174.
ICSEICSE-2010-JilaniMLGM #invariant #using
Using invariant functions and invariant relations to compute loop functions (LLJ, OM, AL, WG, AM), pp. 317–318.
ICSEICSE-2010-KrkaBPGM #behaviour #execution #invariant #model inference #using
Using dynamic execution traces and program invariants to enhance behavioral model inference (IK, YB, DP, JG, NM), pp. 179–182.
ICSEICSE-2010-Lewis #generative #invariant #named #realtime
Zenet: generating and enforcing real-time temporal invariants (CL), pp. 329–330.
CAVCAV-2010-BouajjaniDERS #bound #invariant #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 #invariant #modelling
Automatic Generation of Inductive Invariants from High-Level Microarchitectural Models of Communication Fabrics (SC, MK), pp. 321–338.
CAVCAV-2010-CohenMST #concurrent #invariant #source code #verification
Local Verification of Global Invariants in Concurrent Programs (EC, MM, WS, ST), pp. 480–494.
CAVCAV-2010-KroeningSTW #analysis #composition #invariant #termination
Termination Analysis with Compositional Transition Invariants (DK, NS, AT, CMW), pp. 89–103.
IJCARIJCAR-2010-Kapur #abstraction #induction #invariant
Induction, Invariants, and Abstraction (DK), p. 353.
ISSTAISSTA-2010-GaleottiRPF #analysis #bound #invariant #performance #verification
Analysis of invariants for efficient bounded verification (JPG, NR, CLP, MFF), pp. 25–36.
LICSLICS-2010-SchweikardtS #invariant
Addition-Invariant FO and Regularity (NS, LS), pp. 273–282.
TAPTAP-2010-GogollaHK #automation #independence #invariant #ocl #proving #testing #visualisation
Proving and Visualizing OCL Invariant Independence by Automatically Generated Test Cases (MG, LH, MK), pp. 38–54.
VMCAIVMCAI-2010-HenzingerHKV #invariant #matrix #type inference
Invariant and Type Inference for Matrices (TAH, TH, LK, AV), pp. 163–179.
VMCAIVMCAI-2010-JungKWY #abstraction #algorithm #invariant #learning
Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction (YJ, SK, BYW, KY), pp. 180–196.
DATEDATE-2009-AlvesNDB #detection #fault #multi #using
Detecting errors using multi-cycle invariance information (NA, KN, JD, RIB), pp. 791–796.
ICDARICDAR-2009-GordoV #classification #documentation #invariant #layout #retrieval
A Rotation Invariant Page Layout Descriptor for Document Classification and Retrieval (AG, EV), pp. 481–485.
ICDARICDAR-2009-HaboubiMEA #invariant #set
Invariant Primitives for Handwritten Arabic Script: A Contrastive Study of Four Feature Sets (SH, SM, NE, HEA), pp. 691–697.
FASEFASE-2009-KovacsV #array #invariant #proving #source code #theorem proving #using
Finding Loop Invariants for Programs over Arrays Using a Theorem Prover (LK, AV), pp. 470–485.
PLDIPLDI-2009-GulwaniJK #analysis #bound #control flow #invariant #refinement
Control-flow refinement and progress invariants for bound analysis (SG, SJ, EK), pp. 375–385.
SASSAS-2009-GodoyT #invariant #source code
Invariant Checking for Programs with Procedure Calls (GG, AT), pp. 326–342.
STOCSTOC-2009-Shapira #invariant #testing
Green’s conjecture and testing linear-invariant properties (AS), pp. 159–166.
ICEISICEIS-AIDSS-2009-SunLTT #2d #invariant #recognition #using
Using GRA for 2D Invariant Object Recognition (THS, JCL, CHT, FCT), pp. 108–112.
ICEISICEIS-ISAS-2009-OhmoriK #approach #development #enterprise #invariant
Enterprise System Development with Invariant Preserving — A Mathematical Approach by the Homotopy Lifting and Extension Properties (KO, TLK), pp. 116–123.
KDIRKDIR-2009-LamB #categorisation #invariant #multi #using
Invariant Categorisation of Polygonal Objects using Multi-resolution Signatures (RL, JMHdB), pp. 168–173.
GPCEGPCE-2009-LiuGS #framework #invariant
A language and framework for invariant-driven transformations (YAL, MG, SDS), pp. 55–64.
SACSAC-2009-LiuDSYH #algorithm #classification #image #invariant #using
A new K-View algorithm for texture image classification using rotation-invariant feature (HL, SD, ES, CY, CCH), pp. 914–921.
ICSEICSE-2009-MesbahD #ajax #automation #invariant #testing #user interface
Invariant-based automatic testing of AJAX user interfaces (AM, AvD), pp. 210–220.
CAVCAV-2009-GuptaR #generative #invariant #named #performance
InvGen: An Efficient Invariant Generator (AG, AR), pp. 634–640.
ICLPICLP-2009-PilozziS #proving #termination
Proving Termination by Invariance Relations (PP, DDS), pp. 499–503.
ISSTAISSTA-2009-SchulerDZ #invariant #mutation testing #performance #testing
Efficient mutation testing by checking invariant violations (DS, VD, AZ), pp. 69–80.
LICSLICS-2009-Leroux #induction #invariant #problem #reachability
The General Vector Addition System Reachability Problem by Presburger Inductive Invariants (JL), pp. 4–13.
TAPTAP-2009-Gladisch #contract #invariant #question
Could We Have Chosen a Better Loop Invariant or Method Contract? (CG), pp. 74–89.
VMCAIVMCAI-2009-GulwaniSV #abstraction #constraints #invariant
Constraint-Based Invariant Inference over Predicate Abstraction (SG, SS, RV), pp. 120–135.
DATEDATE-2008-ChengH #invariant #mining #verification
Simulation-Directed Invariant Mining for Software Verification (XC, MSH), pp. 682–687.
TACASTACAS-2008-McMillan #generative #invariant #proving #quantifier #using
Quantified Invariant Generation Using an Interpolating Saturation Prover (KLM), pp. 413–427.
SASSAS-2008-AllamigeonGG #invariant #using
Inferring Min and Max Invariants Using Max-Plus Polyhedra (XA, SG, EG), pp. 189–204.
STOCSTOC-2008-KaufmanS #algebra #testing
Algebraic property testing: the role of invariance (TK, MS), pp. 403–412.
ICPRICPR-2008-ChakrabortyE #constraints #invariant #locality #using
Object localization using affine invariant substructure constraints (IC, AME), pp. 1–5.
ICPRICPR-2008-ChenR #3d #algorithm #invariant #linear #recognition
Linear time recognition algorithms for topological invariants in 3D (LC, YR), pp. 1–4.
ICPRICPR-2008-EngelC #invariant
Scale-invariant medial features based on gradient vector flow fields (DE, CC), pp. 1–4.
ICPRICPR-2008-FehrB #3d #invariant
3D rotation invariant local binary patterns (JF, HB), pp. 1–4.
ICPRICPR-2008-GurS #detection #invariant
Non-Abelian invariant feature detection (YG, NAS), pp. 1–4.
ICPRICPR-2008-HossainMJY #adaptation #identification #invariant #using
Clothes-invariant gait identification using part-based adaptive weight control (MAH, YM, WJ, YY), pp. 1–4.
ICPRICPR-2008-HuaSY #algorithm #clustering #invariant
Scale-invariant density-based clustering initialization algorithm and its application (CH, RS, YY), pp. 1–4.
ICPRICPR-2008-JeanBA #invariant #normalisation #recognition
Trajectories normalization for viewpoint invariant gait recognition (FJ, RB, ABA), pp. 1–4.
ICPRICPR-2008-LiLS #feature model #invariant #recognition
Redundant DWT based translation invariant wavelet feature extraction for face recognition (DL, HL, ZS), pp. 1–4.
ICPRICPR-2008-LiYWS #invariant #using
Bi-model tracking of object of interest using invariant spatiogram descriptor (JL, WYY, JGW, WS), pp. 1–4.
ICPRICPR-2008-MaCL #collaboration #constraints #invariant #kernel #multi
Multi-cue collaborative kernel tracking with cross ratio invariant constraint (LM, JC, HL), pp. 1–4.
ICPRICPR-2008-MeiA #invariant
Affine invariant shape descriptors: The ICA-Fourier descriptor and the PCA-Fourier descriptor (YM, DA), pp. 1–4.
ICPRICPR-2008-MuseletT #invariant #normalisation
Illumination invariant spatio-colorimetric normalization (DM, AT), pp. 1–4.
ICPRICPR-2008-NohHL #analysis #invariant #recognition
Regularized discriminant analysis for transformation-invariant object recognition (YKN, JH, DDL), pp. 1–5.
ICPRICPR-2008-OjansivuRH #analysis #invariant
Rotation invariant local phase quantization for blur insensitive texture analysis (VO, ER, JH), pp. 1–4.
ICPRICPR-2008-ParkPBB #invariant #named
pi-SIFT: A photometric and Scale Invariant Feature Transform (JHP, KWP, SHB, MB), pp. 1–4.
ICPRICPR-2008-PerezO #invariant #learning #programming #search-based
Learning invariant region descriptor operators with genetic programming and the F-measure (CBP, GO), pp. 1–4.
ICPRICPR-2008-SrestasathiernY #invariant #recognition
View invariant object recognition (PS, AY), pp. 1–4.
ICPRICPR-2008-SukF #automation #equation #invariant
Affine moment invariants generated by automated solution of the equations (TS, JF), pp. 1–4.
ICPRICPR-2008-ThomeA #bottom-up #detection #invariant
A bottom-up, view-point invariant human detector (NT, SA), pp. 1–4.
ICPRICPR-2008-TodorovicA #invariant
Scale-invariant region-based hierarchical imagematching (ST, NA), pp. 1–5.
ICPRICPR-2008-VachaH #invariant #markov #random
Illumination invariants based on Markov random fields (PV, MH), pp. 1–4.
ICPRICPR-2008-WangM #invariant #probability #recognition #similarity #using
Scale invariant face recognition using probabilistic similarity measure (ZW, ZM), pp. 1–4.
ICPRICPR-2008-WuZWGL #detection #invariant #video #visual notation
Invariant visual patterns for video copy detection (XW, YZ, YW, JG, JL), pp. 1–4.
ICPRICPR-2008-XiaDG #analysis #invariant
Locally invariant texture analysis from the topographic map (GSX, JD, YG), pp. 1–4.
ICPRICPR-2008-XiaoWH #graph #invariant #recognition #using
Object recognition using graph spectral invariants (XB, RCW, ERH), pp. 1–4.
ICPRICPR-2008-XiaRH #invariant #ranking #robust #visual notation
Ranking the local invariant features for the robust visual saliencies (SX, PR, ERH), pp. 1–4.
ICPRICPR-2008-YiAC #invariant #kernel #using
Orientation and scale invariant mean shift using object mask-based kernel (KMY, HSA, JYC), pp. 1–4.
MODELSMoDELS-2008-CabotCGL #analysis #declarative #invariant #model transformation
An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations (JC, RC, EG, JdL), pp. 37–52.
MODELSMoDELS-2008-CabotCGL #analysis #declarative #invariant #model transformation
An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations (JC, RC, EG, JdL), pp. 37–52.
ECOOPECOOP-2008-BanerjeeNR #invariant #logic #reasoning
Regional Logic for Local Reasoning about Global Invariants (AB, DAN, SR), pp. 387–411.
ECOOPECOOP-2008-DrossopoulouFMS #framework #invariant #verification
A Unified Framework for Verification Techniques for Object Invariants (SD, AF, PM, AJS), pp. 412–437.
SACSAC-2008-AbreuGZG #automation #fault #invariant #locality #using
Automatic software fault localization using generic program invariants (RA, AG, PZ, AJCvG), pp. 712–717.
ICSEICSE-2008-CsallnerTS #execution #invariant #named #symbolic computation
DySy: dynamic symbolic execution for invariant inference (CC, NT, YS), pp. 281–290.
ICSEICSE-2008-MalikPUK #generative #invariant #named #representation
Deryaft: a tool for generating representation invariants of structurally complex data (MZM, AP, EU, SK), pp. 859–862.
CAVCAV-2008-PlatzerC #difference #hybrid #invariant
Computing Differential Invariants of Hybrid Systems as Fixedpoints (AP, EMC), pp. 176–189.
IJCARIJCAR-2008-Kovacs #generative #invariant #named
Aligator: A Mathematica Package for Invariant Generation (System Description) (LK), pp. 275–282.
ISSTAISSTA-2008-KannanS #data type #execution #generative #invariant #symbolic computation
Universal symbolic execution and its application to likely data structure invariant generation (YK, KS), pp. 283–294.
DATEDATE-2007-CabodiNQ #induction #invariant #model checking
Boosting the role of inductive invariants in model checking (GC, SN, SQ), pp. 1319–1324.
ICDARICDAR-2007-Hotta #classification #pattern matching #pattern recognition #recognition
Transform-Invariance in Local Averaging Classifier for Handwritten Digit Pattern Recognition (SH), pp. 347–351.
ICDARICDAR-2007-RanzatoL #documentation #image #invariant
A Sparse and Locally Shift Invariant Feature Extractor Applied to Document Images (MR, YL), pp. 1213–1217.
SIGMODSIGMOD-2007-XiaoT #dataset #named #privacy #towards
M-invariance: towards privacy preserving re-publication of dynamic datasets (XX, YT), pp. 689–700.
ESOPESOP-2007-LeinoS #invariant #using #verification
Using History Invariants to Verify Observers (KRML, WS), pp. 80–94.
TACASTACAS-2007-MalikPK #generative #invariant #representation
Generating Representation Invariants of Structurally Complex Data (MZM, AP, SK), pp. 34–49.
PLDIPLDI-2007-BeyerHMR #invariant
Path invariants (DB, TAH, RM, AR), pp. 300–309.
PLDIPLDI-2007-ShankarB #automation #data type #invariant #java #named
DITTO: automatic incrementalization of data structure invariant checks (in Java) (AS, RB), pp. 310–319.
SASSAS-2007-ChangRN #analysis #invariant
Shape Analysis with Structural Invariant Checkers (BYEC, XR, GCN), pp. 384–401.
DLTDLT-2007-BienvenuS #automaton #invariant
The Dynamics of Cellular Automata in Shift-Invariant Topologies (LB, MS), pp. 84–95.
ECOOPECOOP-2007-LuPX #invariant
Validity Invariants and Effects (YL, JP, JX), pp. 202–226.
OOPSLAOOPSLA-2007-FahndrichX #invariant
Establishing object invariants with delayed types (MF, SX), pp. 337–350.
POPLPOPL-2007-BerdineCCDO #analysis
Variance analyses from invariance analyses (JB, AC, BC, DD, PWO), pp. 211–224.
CSLCSL-2007-GaintzarainHLNO #calculus #invariant
A Cut-Free and Invariant-Free Sequent Calculus for PLTL (JG, MH, PL, MN, FO), pp. 481–495.
CSLCSL-2007-GawlitzaS #invariant #precise #relational
Precise Relational Invariants Through Strategy Iteration (TG, HS), pp. 23–40.
ICSTSAT-2007-Kullmann #invariant #matrix #polynomial #satisfiability
Polynomial Time SAT Decision for Complementation-Invariant Clause-Sets, and Sign-non-Singular Matrices (OK), pp. 314–327.
TAPTAP-2007-BackEM #invariant #source code #testing #verification
Testing and Verifying Invariant Based Programs in the SOCOS Environment (RJB, JE, MM), pp. 61–78.
VMCAIVMCAI-2007-BeyerHMR #invariant #synthesis
Invariant Synthesis for Combined Theories (DB, TAH, RM, AR), pp. 378–394.
VMCAIVMCAI-2007-CheremR #analysis #invariant #maintenance #reasoning
Maintaining Doubly-Linked List Invariants in Shape Analysis with Local Reasoning (SC, RR), pp. 234–250.
DACDAC-2006-AwedhS #automation #bound #invariant #model checking
Automatic invariant strengthening to prove properties in bounded model checking (MA, FS), pp. 1073–1076.
DocEngDocEng-2006-MacdonaldBL #documentation #layout
Evaluating invariances in document layout functions (AJM, DFB, JWL), pp. 25–27.
VLDBVLDB-2006-KeoghWXLV #distance #metric
LB_Keogh Supports Exact Indexing of Shapes under Rotation Invariance with Arbitrary Representations and Distance Measures (EJK, LW, XX, SHL, MV), pp. 882–893.
SASSAS-2006-JhalaMX #invariant
Structural Invariants (RJ, RM, RGX), pp. 71–87.
ICMLICML-2006-DingZHZ #analysis #component #invariant #named #robust
R1-PCA: rotational invariant L1-norm principal component analysis for robust subspace factorization (CHQD, DZ, XH, HZ), pp. 281–288.
ICMLICML-2006-ShivaswamyJ #invariant #permutation
Permutation invariant SVMs (PKS, TJ), pp. 817–824.
ICPRICPR-v1-2006-ItoO #detection #invariant #recognition #using
Detection and Recognition of Moving Objects by Using Motion Invariants (SI, NO), pp. 683–686.
ICPRICPR-v1-2006-Lopez-FrancoB #algebra #geometry #invariant #navigation #using
Omnidirectional Vision and Invariant Theory for Robot Navigation Using Conformal Geometric Algebra (CLF, EBC), pp. 570–573.
ICPRICPR-v1-2006-ToewsA #detection #invariant
Detection Over Viewpoint via the Object Class Invariant (MT, TA), pp. 765–768.
ICPRICPR-v1-2006-WangCWG #invariant #recognition #verification
A Verification Method for Viewpoint Invariant Sign Language Recognition (QW, XC, CW, WG), pp. 456–459.
ICPRICPR-v1-2006-ZhuJ #detection #invariant #realtime #robust
Robust Pose Invariant Facial Feature Detection and Tracking in Real-Time (ZZ, QJ), pp. 1092–1095.
ICPRICPR-v2-2006-ChenB #classification #invariant #using
Invariant Texture Classification Using Ridgelet Packets (GC, PB), pp. 464–467.
ICPRICPR-v2-2006-ChenBK #invariant #pattern matching #pattern recognition #recognition
Invariant Ridgelet-Fourier Descriptor for Pattern Recognition (GC, TDB, AK), pp. 768–771.
ICPRICPR-v2-2006-ChiuL #invariant #using
Matching Interest Points Using Affine Invariant Concentric Circles (HPC, TLP), pp. 167–170.
ICPRICPR-v2-2006-LuT06a #invariant #recognition
Camera Text Recognition based on Perspective Invariants (SL, CLT), pp. 1042–1045.
ICPRICPR-v2-2006-OmachiIUK #invariant #recognition
Affine Invariant Information Embedment for Accurate Camera-Based Character Recognition (SO, MI, SU, KK), pp. 1098–1101.
ICPRICPR-v2-2006-QiaoY #invariant #online #recognition
Affine Invariant Dynamic Time Warping and its Application to Online Rotated Handwriting Recognition (YQ, MY), pp. 905–908.
ICPRICPR-v2-2006-RahtuSHF #invariant
Generalized affine moment invariants for object recogntion (ER, MS, JH, JF), pp. 634–637.
ICPRICPR-v2-2006-RiggiTA #estimation #invariant #matrix #parametricity
Fundamental Matrix Estimation via TIP — Transfer of Invariant Parameters (FR, MT, TA), pp. 21–24.
ICPRICPR-v2-2006-RohSLL #gesture #invariant #recognition
Volume Motion Template for View-Invariant Gesture Recognition (MCR, HKS, SWL, SWL), pp. 1229–1232.
ICPRICPR-v2-2006-SaraM #invariant #named #recognition #towards
FAIR: Towards A New Feature for Affinely-Invariant Recognition (RS, MM), pp. 412–416.
ICPRICPR-v2-2006-SenerU #analysis #component #independence #invariant #normalisation #using
A New Affine Invariant Curve Normalization Technique Using Independent Component Analysis (SS, MU), p. 48.
ICPRICPR-v2-2006-TianK #invariant
A Low-Complexity Deformation Invariant Descriptor (LT, SiK), pp. 227–230.
ICPRICPR-v2-2006-XuL #3d #geometry #invariant
3-D Affine Moment Invariants Generated by Geometric Primitives (DX, HL), pp. 544–547.
ICPRICPR-v2-2006-YamadaS #invariant #recognition
Space-Time Moment Invariants and Recognition of Non-Rigid Motions from Arbitrary Viewpoints (TY, JS), pp. 990–993.
ICPRICPR-v2-2006-YangG #composition #invariant #using
Line-Based Affine Invariant Object Location Using Transformation Space Decomposition (RY, YG), pp. 646–649.
ICPRICPR-v3-2006-ArtolazabalIA #invariant #named
LIGHT: Local Invariant Generalized Hough Transform (JARA, JI, ASA), pp. 304–307.
ICPRICPR-v3-2006-CaetanoC #invariant #pattern matching
A Unified Formulation of Invariant Point Pattern Matching (TSC, TC), pp. 121–124.
ICPRICPR-v3-2006-CooganS #recognition
Transformation Invariance in Hand Shape Recognition (TC, AS), pp. 485–488.
ICPRICPR-v3-2006-FaselG #invariant
Rotation-Invariant Neoperceptron (BF, DGP), pp. 336–339.
ICPRICPR-v3-2006-HaindlV #invariant #retrieval
Illumination Invariant Texture Retrieval (MH, PV), pp. 276–279.
ICPRICPR-v3-2006-KongGT #approach #invariant
A Viewpoint Invariant Approach for Crowd Counting (DK, DG, HT), pp. 1187–1190.
ICPRICPR-v3-2006-OngCB #3d #invariant
Scale Invariants of Three-Dimensional Legendre Moments (LYO, CWC, RB), pp. 141–144.
ICPRICPR-v3-2006-PozdnoukhovB #graph #invariant #kernel #pattern matching #pattern recognition #recognition
Graph-based transformation manifolds for invariant pattern recognition with kernel methods (AP, SB), pp. 1228–1231.
ICPRICPR-v3-2006-TuIXFH #invariant #probability #recognition
Variational Shift Invariant Probabilistic PCA for Face Recognition (JT, AI, XX, FFL, TSH), pp. 548–551.
ICPRICPR-v4-2006-AbateNRR #invariant #recognition
Ear Recognition by means of a Rotation Invariant Descriptor (AFA, MN, DR, SR), pp. 437–440.
ICPRICPR-v4-2006-FengC #invariant #using
Fingerprint Indexing Using Ridge Invariants (JF, AC), pp. 433–436.
ICPRICPR-v4-2006-PozdnoukhovB06a #graph #invariant #kernel #pattern matching #pattern recognition #recognition
Graph-based transformation manifolds for invariant pattern recognition with kernel methods (AP, SB), p. 956.
ICPRICPR-v4-2006-ReisertB #3d #data-driven #database #integration #invariant #using
Invariant Features for 3D-Data based on Group Integration using Directional Information and Spherical Harmonic Expansion (MR, HB), pp. 206–209.
ICPRICPR-v4-2006-VillamizarSA #detection #image #invariant #realtime #using
Computation of Rotation Local Invariant Features using the Integral Image for Real Time Object Detection (MV, AS, JAC), pp. 81–85.
ICPRICPR-v4-2006-XuC #classification #invariant #multi
Multiscale Blob Features for Gray Scale, Rotation and Spatial Scale Invariant Texture Classification (QX, YQC), pp. 29–32.
ICPRICPR-v4-2006-XuL06b #3d #invariant
3-D Surface Moment Invariants (DX, HL), pp. 173–176.
ICPRICPR-v4-2006-YuanYT #invariant #symmetry
Perspective Symmetry Invariant and Its Applications (TY, SY, XT), pp. 65–68.
MODELSMoDELS-2006-Kosiuczenko #ocl #specification #variability
Specification of Invariability in OCL (PK), pp. 676–691.
MODELSMoDELS-2006-Kosiuczenko #ocl #specification #variability
Specification of Invariability in OCL (PK), pp. 676–691.
ICSEICSE-2006-BeckerBGKS #adaptation #invariant #verification
Symbolic invariant verification for systems with dynamic structural adaptation (BB, DB, HG, FK, DS), pp. 72–81.
ICSEICSE-2006-CsallnerS #interface #invariant
Dynamically discovering likely interface invariants (CC, YS), pp. 861–864.
ICSEICSE-2006-EvansP #invariant
Inculcating invariants in introductory courses (DE, MP), pp. 673–678.
ASPLOSASPLOS-2006-LuTQZ #detection #invariant #named
AVIO: detecting atomicity violations via access interleaving invariants (SL, JT, FQ, YZ), pp. 37–48.
CAVCAV-2006-JainIGSW #abstraction #invariant #refinement #using
Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop (HJ, FI, AG, IS, CW), pp. 137–151.
IJCARIJCAR-2006-GrinchteinLP #automation #invariant #network
Inferring Network Invariants Automatically (OG, ML, NP), pp. 483–497.
IJCARIJCAR-2006-SorgeMMC #automation #invariant #verification
Automatic Construction and Verification of Isotopy Invariants (VS, AM, RLM, SC), pp. 36–51.
DACDAC-2005-HangalCNC #automation #design #hardware #invariant #named
IODINE: a tool to automatically infer dynamic invariants for hardware designs (SH, NC, SN, SC), pp. 775–778.
ICDARICDAR-2005-NakaiKI #documentation #image #invariant #retrieval
Camera-Based Document Image Retrieval as Voting for Partial Signatures of Projective Invariants (TN, KK, MI), pp. 379–383.
TACASTACAS-2005-Jiang #invariant #on the
On Some Transformation Invariants Under Retiming and Resynthesis (JHRJ), pp. 413–428.
PASTEPASTE-2005-Hamlet #formal method #invariant #testing
Invariants and state in testing and formal methods (DH), pp. 48–51.
SASSAS-2005-BagnaraRZ #algebra #generative #invariant #using
Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra (RB, ERC, EZ), pp. 19–34.
FMFM-2005-LeinoM #composition #invariant #verification
Modular Verification of Static Class Invariants (KRML, PM), pp. 26–42.
SEFMSEFM-2005-JacobsPLS #concurrent #invariant
Safe Concurrency for Aggregate Objects with Invariants (BJ, FP, KRML, WS), pp. 137–147.
SEFMSEFM-2005-Leino #invariant
Invariants on Demand (KRML), pp. 148–149.
SEFMSEFM-2005-WelchFD #automation #invariant #maintenance
Automatic Maintenance of Association Invariants (JW, DF, JD), pp. 282–292.
CIKMCIKM-2005-VlachosVYA #invariant
Rotation invariant indexing of shapes and line drawings (MV, ZV, PSY, VA), pp. 131–138.
MODELSMoDELS-2005-StirewaltR #automation #compilation #invariant #maintenance #ocl
Automated Invariant Maintenance Via OCL Compilation (KS, SR), pp. 616–632.
MODELSMoDELS-2005-StirewaltR #automation #compilation #invariant #maintenance #ocl
Automated Invariant Maintenance Via OCL Compilation (KS, SR), pp. 616–632.
CAVCAV-2005-BalabanFPZ #invariant #named #verification
IIV: An Invisible Invariant Verifier (IB, YF, AP, LDZ), pp. 408–412.
CAVCAV-2005-Kaivola #component #induction #invariant #simulation #verification
Formal Verification of Pentium® 4 Components with Symbolic Simulation and Inductive Invariants (RK), pp. 170–184.
CSLCSL-2005-BenediktS #invariant #query #towards
Towards a Characterization of Order-Invariant Queries over Tame Structures (MB, LS), pp. 276–291.
ICTSSTestCom-2005-LadaniAC #approach #invariant #testing
Passive Testing — A Constrained Invariant Checking Approach (BTL, BA, ARC), pp. 9–22.
VMCAIVMCAI-2005-Cousot #abstraction #parametricity #programming #proving #termination
Proving Program Invariance and Termination by Parametric Abstraction, Lagrangian Relaxation and Semidefinite Programming (PC), pp. 1–24.
TACASTACAS-2004-QianN #abstraction #database #invariant #model checking
Guided Invariant Model Checking Based on Abstraction and Symbolic Pattern Databases (KQ, AN), pp. 497–511.
SASSAS-2004-Rodriguez-CarbonellK #abstract interpretation #approach #automation #generative #invariant #polynomial
An Abstract Interpretation Approach for Automatic Generation of Polynomial Invariants (ERC, DK), pp. 280–295.
ICPRICPR-v1-2004-ChenL #image #invariant #recognition
Illumination and Expression Invariant Face Recognition with One Sample Image (SC, BCL), pp. 300–303.
ICPRICPR-v1-2004-FortunaC #invariant #recognition
ICA Filters For Lighting Invariant Face Recognition (JF, DWC), pp. 334–337.
ICPRICPR-v1-2004-Horikawa #classification #comparison #invariant #kernel
Comparison of Support Vector Machines with Autocorrelation Kernels for Invariant Texture Classification (YH), pp. 660–663.
ICPRICPR-v1-2004-UrbachRW #invariant
Connected Rotation-Invariant Size-Shape Granulometries (ERU, JBTMR, MHFW), pp. 688–691.
ICPRICPR-v2-2004-Clocksin #order #recognition #using
Handwritten Syriac Character Recognition using Order Structure Invariance (WFC), pp. 562–565.
ICPRICPR-v2-2004-FlusserZ #invariant #symmetry
Invariants to Convolution with Circularly Symmetric PSF (JF, BZ), pp. 11–14.
ICPRICPR-v2-2004-GritaiSS #analysis #invariant #on the
On the use of Anthropometry in the Invariant Analysis of Human Actions (AG, YS, MS), pp. 923–926.
ICPRICPR-v2-2004-HaasdonkHB #invariant
Adjustable Invariant Features by Partial Haar-Integration (BH, AH, HB), pp. 769–774.
ICPRICPR-v2-2004-RubeAK #classification #invariant #multi
Coarse-to-Fine Multiscale Affine Invariant Shape Matching and Classification (IER, MA, MK), pp. 163–166.
ICPRICPR-v2-2004-SukF #generative #graph #invariant
Graph Method for Generating Affine Moment Invariants (TS, JF), pp. 192–195.
ICPRICPR-v3-2004-McCallT #analysis #invariant #using
Pose Invariant Affect Analysis using Thin-Plate Splines (JCM, MMT), pp. 958–964.
ICPRICPR-v3-2004-PozdnoukhovB #classification #image #invariant #kernel
Tangent Vector Kernels for Invariant Image Classification with SVMs (AP, SB), pp. 486–489.
ICPRICPR-v4-2004-KangCM #invariant #using
Object Reacquisition Using Invariant Appearance Model (JK, IC, GGM), pp. 759–762.
ICPRICPR-v4-2004-KarlssonEA #invariant #modelling #statistics
Parameterisation Invariant Statistical Shape Models (JK, AE, ), pp. 23–26.
ICPRICPR-v4-2004-KoseckaY #estimation #invariant #locality
Global Localization and Relative Pose Estimation Based on Scale-Invariant Features (JK, XY), pp. 319–322.
KDDKDD-2004-VlachosGD #distance #invariant #metric
Rotation invariant distance measures for trajectories (MV, DG, GD), pp. 707–712.
KRKR-2004-Lin #invariant
Discovering State Invariants (FL), pp. 536–544.
SEKESEKE-2004-SetiadiNKM #invariant #java
Analyzing Invariant Condition of Running Java Program (TES, KN, YK, MM), pp. 350–353.
ECOOPECOOP-2004-LeinoM #invariant
Object Invariants in Dynamic Contexts (KRML, PM), pp. 491–516.
POPLPOPL-2004-SankaranarayananSM #generative #invariant #using
Non-linear loop invariant generation using Gröbner bases (SS, HS, ZM), pp. 318–329.
FSEFSE-2004-PerkinsE #algorithm #detection #incremental #invariant #performance
Efficient incremental algorithms for dynamic detection of likely invariants (JHP, MDE), pp. 23–32.
LICSLICS-2004-NaumannB #imperative #invariant #reasoning #towards
Towards Imperative Modules: Reasoning about Invariants and Sharing of Mutable State (DAN, MB), pp. 313–323.
LICSLICS-2004-PodelskiR #invariant
Transition Invariants (AP, AR), pp. 32–41.
VMCAIVMCAI-2004-LahiriB #abstraction #invariant #quantifier
Constructing Quantified Invariants via Predicate Abstraction (SKL, REB), pp. 267–281.
VMCAIVMCAI-2004-Logozzo #automation #invariant
Automatic Inference of Class Invariants (FL), pp. 211–222.
VMCAIVMCAI-2004-PaceS #difference #kernel #model checking #using
Model Checking Polygonal Differential Inclusions Using Invariance Kernels (GJP, GS), pp. 110–121.
ASEASE-2003-GuptaH #detection #invariant #test coverage
A New Structural Coverage Criterion for Dynamic Detection of Program Invariants (NG, ZVH), pp. 49–59.
TACASTACAS-2003-FontaineG #decidability #invariant #validation
Decidability of Invariant Validation for Paramaterized Systems (PF, EPG), pp. 97–112.
TACASTACAS-2003-Schmidt #invariant #petri net #using
Using Petri Net Invariants in State Space Construction (KS0), pp. 473–488.
CSMRCSMR-2003-GibbsM #aspect-oriented #c++ #invariant #validation #weaving
Weaving Aspects into C++ Applications for Validation of Temporal Invariants (THG, BAM), pp. 249–258.
FMFME-2003-Charpentier #invariant
Composing Invariants (MC), pp. 401–421.
ICEISICEIS-v2-2003-Abdel-WahaabBHH #3d #invariant #network #recognition #using
Three-Dimensional Object Recognition Using Support Vector Machine Neural Network Based on Moment Invariant Features (MSAW, SFB, ASH, DMH), pp. 583–588.
KDDKDD-2003-ChudovaGMS #clustering #invariant #modelling
Translation-invariant mixture models for curve clustering (DC, SG, EM, PS), pp. 79–88.
CAVCAV-2003-Abu-HaimedBD #consistency #invariant #testing
Strengthening Invariants by Symbolic Consistency Testing (HAH, SB, DLD), pp. 407–419.
CAVCAV-2003-ColonSS #constraints #generative #invariant #linear #theorem proving #using
Linear Invariant Generation Using Non-linear Constraint Solving (MC, SS, HS), pp. 420–432.
LICSLICS-2003-Rossman #finite
Successor-Invariance in the Finite (BR), p. 148–?.
ASEASE-2002-GibbsMP #automation #c++ #invariant #validation
Automated Validation of Class Invariants in C++ Applications (THG, BAM, JFP), p. 205–?.
ICGTICGT-2002-PadbergE #graph transformation #invariant #safety
Rule Invariants in Graph Transformation Systems for Analyzing Safety-Critical Systems (JP, BE), pp. 334–350.
ICPRICPR-v1-2002-Heikkila #invariant #multi #pattern matching #pattern recognition #recognition
Multi-Scale Autoconvolution for Affine Invariant Pattern Recognition (JH), pp. 119–122.
ICPRICPR-v1-2002-KimuraW #2d #detection #invariant
An Extension of the Generalized Hough Transform to Realize Affine-Invariant Two-dimensional (2D) Shape Detection (AK, TW), pp. 65–69.
ICPRICPR-v1-2002-LongL #hybrid #invariant
A Hybrid Model for Invariant and Perceptual Texture Mapping (HL, WKL), pp. 135–138.
ICPRICPR-v1-2002-ParameswaranC #invariant #recognition #representation
Quasi-Invariants for Human Action Representation and Recognition (VP, RC), pp. 307–310.
ICPRICPR-v2-2002-ChennubhotlaJM #detection #invariant #robust
Robust Contrast-Invariant EigenDetection (CC, ADJ, JM), pp. 745–748.
ICPRICPR-v2-2002-IpCW #invariant #retrieval #sketching
Affine Invariant Retrieval of Shapes Based on Hand-Drawn Sketches (HHSI, AKYC, WYFW), pp. 794–797.
ICPRICPR-v2-2002-KamijoIS #image #invariant #markov #random #segmentation
Illumination Invariant Segmentation of Spatio-Temporal Images by Spatio-Temporal Markov Random Field Model (SK, KI, MS), pp. 617–622.
ICPRICPR-v2-2002-RonnebergerBS #3d #classification #invariant #recognition #set #using
General-Purpose Object Recognition in 3D Volume Data Sets Using Gray-Scale Invariants --- Classification of Airborne Pollen-Grains Recorded with a Confocal Laser Scanning Microscope (OR, HB, ES), p. 290–?.
ICPRICPR-v2-2002-ZhangTM #invariant #segmentation
Invariant Texture Segmentation Via Circular Gabor Filters (JZ, TT, LM), pp. 901–904.
ICPRICPR-v3-2002-GurevichJS #image #invariant #recognition
A Method of Image Recognition Based on the Fusion of Reduced Invariant Representations: Mathematical Substantiation (IBG, IAJ, YGS), pp. 391–394.
ICPRICPR-v4-2002-GokberkAA #feature model #invariant #recognition
Feature Selection for Pose Invariant Face Recognition (BG, LA, EA), pp. 306–309.
ICPRICPR-v4-2002-MendelsVT #invariant #recognition #representation #using
Rotation and Scale Invariant Shape Representation and Recognition Using Matching Pursuit (FM, PV, JPT), pp. 326–329.
ICPRICPR-v4-2002-MizoguchiS #invariant #video
Space-Time Invariants and Video Motion Extraction from Arbitrary Viewpoints (MM, JS), pp. 56–59.
ICPRICPR-v4-2002-SukF #invariant
Blur and Affine Moment Invariants (TS, JF), pp. 339–342.
FSEFSE-2002-NimmerE #invariant #static analysis
Invariant inference for static checking (JWN, MDE), pp. 11–20.
ICSEICSE-2002-DengDHM #concurrent #invariant #source code #specification #synthesis #verification
Invariant-based specification, synthesis, and verification of synchronization in concurrent programs (XD, MBD, JH, MM), pp. 442–452.
TACASTACAS-2001-PnueliRZ #automation #deduction #invariant #verification
Automatic Deductive Verification with Invisible Invariants (AP, SR, LDZ), pp. 82–97.
TACASTACAS-2001-TiwariRSS #generative #invariant
A Technique for Invariant Generation (AT, HR, HS, NS), pp. 113–127.
ICSMEICSM-2001-Ernst #invariant #summary
Summary of Dynamically Discovering Likely Program Invariants (MDE), pp. 540–544.
ICSMEICSM-2001-KataokaEGN #automation #invariant #refactoring #using
Automated Support for Program Refactoring Using Invariants (YK, MDE, WGG, DN), pp. 736–743.
PASTEPASTE-2001-Webber #invariant #question #what
What is a class invariant? (ABW), pp. 86–89.
VISSOFTSVIS-2001-WilhelmMS #algorithm #invariant #visualisation
Algorithm Explanation: Visualizing Abstract States and Invariants (RW, TM, RS), pp. 381–394.
RERE-2001-JeffordsH #algorithm #invariant #requirements #specification
An Algorithm for Strengthening State Invariants Generated from Requirements Specifications (RDJ, CLH), pp. 182–193.
FASEFASE-2000-HuizingK #invariant #object-oriented #source code #using #verification
Verification of Object Oriented Programs Using Class Invariants (KH, RK), pp. 208–221.
TACASTACAS-2000-BharadwajS #automation #constraints #invariant #named #theorem proving
Salsa: Combining Constraint Solvers with BDDs for Automatic Invariant Checking (RB, SS), pp. 378–394.
SASSAS-2000-BensalemBFGL #approach #generative #invariant
A Transformational Approach for Generating Non-linear Invariants (SB, MB, JCF, LG, YL), pp. 58–74.
SASSAS-2000-ChinKHT #invariant #parallel
Deriving Parallel Codes via Invariants (WNC, SCK, ZH, MT), pp. 75–94.
ICPRICPR-v1-2000-AvrithisXK #invariant #normalisation #retrieval
Affine-Invariant Curve Normalization for Shape-Based Retrieval (YSA, YX, SDK), pp. 5015–5018.
ICPRICPR-v1-2000-Bayro-Corrochano #algebra #invariant #using
Computing Depth, Shape and Motion Using Invariants and Incidence Algebra (EBC), pp. 1881–1884.
ICPRICPR-v1-2000-BigorgneAD #image #invariant #retrieval
An Invariant Local Vector for Content-Based Image Retrieval (EB, CA, JD), pp. 5019–5022.
ICPRICPR-v1-2000-ChaoNO #3d #invariant #recognition #representation
A Hierarchical Invariant Representation of Spatial Topology of 3D Objects and Its Application to Object Recognition (JC, MN, SO), pp. 1920–1923.
ICPRICPR-v1-2000-GotzeDH #invariant #recognition
Invariant Object Recognition with Discriminant Features Based on Local Fast-Fourier Mellin Transform (NG, SD, GH), pp. 1948–1951.
ICPRICPR-v1-2000-GrossYW #invariant #modelling #recognition
Growing Gaussian Mixture Models for Pose Invariant Face Recognition (RG, JY, AW), pp. 5088–5091.
ICPRICPR-v1-2000-Pilu #invariant #optimisation #random
Optimizing Random Patterns for Invariants-based Matching (MP), pp. 1716–1719.
ICPRICPR-v1-2000-WeissR #using
Recognizing Articulated Objects Using Invariance (IW, MR), pp. 1055–1058.
ICPRICPR-v1-2000-XueLT #invariant #performance #using
Efficient Object Matching Using Affine-Invariant Deformable Contour (ZX, SZL, EKT), pp. 1672–1675.
ICPRICPR-v2-2000-Alvarez-BorregoMCP #correlation #invariant #recognition
Invariant Optical Color Correlation for Recognition of Vibrio cholerae O1 (JÁB, RRMP, GC, JLPP), pp. 2283–2286.
ICPRICPR-v2-2000-DahmenKGN #image #invariant #recognition #using
Invariant Image Object Recognition Using Mixture Densities (JD, DK, MOG, HN), pp. 2614–2617.
ICPRICPR-v2-2000-Horikawa #2d #3d #image #invariant #similarity
Bispectrum-Based Feature of 2D and 3D Images Invariant to Similarity Transformations (YH), pp. 2511–2514.
ICPRICPR-v2-2000-LaoKST #3d #invariant #recognition #using
3D Template Matching for Pose Invariant Face Recognition Using 3D Facial Model Built with Isoluminance Line Based Stereo Vision (SL, MK, YS, FT), pp. 2911–2916.
ICPRICPR-v2-2000-Mariani #constraints #invariant #recognition
Local Invariants and Local Constraints for Face Recognition (RM), pp. 2949–2952.
ICPRICPR-v2-2000-RibaCVJ #classification #invariant
Methods for Invariant Signature Classification (JRR, AC, SV, IJ), pp. 2953–2956.
ICPRICPR-v2-2000-SchaelS #3d #invariant
Invariant Grey-Scale Features for 3D Sensor-Data (MS, SS), pp. 2531–2535.
ICPRICPR-v2-2000-TerrillonMSSA #detection #invariant #orthogonal
Invariant Neural-Network Based Face Detection with Orthogonal Fourier-Mellin Moments (JCT, DM, MS, YS, SA), p. 2993–?.
ICPRICPR-v3-2000-ChantlerM #classification #invariant #on the
On the Use of Gradient Space Eigenvalues for Rotation Invariant Texture Classification (MJC, GM), pp. 3943–3946.
ICPRICPR-v3-2000-ChetverikovF #classification #invariant
Affine-Invariant Texture Classification (DC, ZF), pp. 3901–3904.
ICPRICPR-v3-2000-DaoudiM #invariant #multi #representation
New Multiscale Planar Shape Invariant Representation under a General Affine Transformations (MD, SM), pp. 3794–3797.
ICPRICPR-v3-2000-Jianchao #2d #estimation #geometry
Estimation of 2D Motion Field Based on Affine Geometric Invariance (YJ), pp. 7049–7052.
ICPRICPR-v3-2000-MullerH #image #invariant #on the
On the Use of SDF-Type Filters for Distortion Invariant Image Location (NM, BMH), pp. 3530–3533.
ICPRICPR-v3-2000-PaschalakisL #geometry #image #invariant #recognition
Combined Geometric Transformation and Illumination Invariant Object Recognition in RGB Color Images (SP, PL), pp. 3588–3591.
ICPRICPR-v3-2000-SchoutenZ
Fractal Transforms and Feature Invariance (BAMS, PMdZ), pp. 3992–3997.
ICPRICPR-v4-2000-ColiosT #identification #invariant #permutation
Landmark Identification Based on Projective and Permutation Invariant Vectors (CIC, PET), pp. 4128–4131.
ICPRICPR-v4-2000-FrantiMK #image #invariant
Hough Transform for Rotation Invariant Matching of Line-Drawing Images (PF, AM, HK), pp. 4389–4392.
ICPRICPR-v4-2000-NakajimaIPP #correlation #detection #invariant #recognition
Object Recognition and Detection by a Combination of Support Vector Machine and Rotation Invariant Phase Only Correlation (CN, NI, MP, TP), pp. 4787–4790.
ICPRICPR-v4-2000-TerrillonSSFA #detection #invariant
Invariant Face Detection with Support Vector Machines (JCT, MNS, MS, HF, SA), pp. 4210–4217.
ICPRICPR-v4-2000-WakaharaK #correlation #invariant #recognition #using
Affine-Invariant Gray-Scale Character Recognition Using GAT Correlation (TW, YK), pp. 4417–4421.
TOOLSTOOLS-PACIFIC-2000-SkevoulisJ #detection #fault #invariant #java #runtime #source code #static analysis
Generic Invariant-Based Static Analysis Tool for Detection of Runtime Errors in Java Programs (SS, XJ), pp. 36–44.
ICSEICSE-2000-ErnstCGN #detection #invariant
Quickly detecting relevant program invariants (MDE, AC, WGG, DN), pp. 449–458.
CAVCAV-2000-Rushby #diagrams #invariant #verification
Verification Diagrams Revisited: Disjunctive Invariants for Easy Verification (JMR), pp. 508–520.
ICLPCL-2000-NakamuraB #database #declarative #maintenance
Invariance, Maintenance, and Other Declarative Objectives of Triggers — A Formal Characterization of Active Databases (MN, CB), pp. 1210–1224.
CSLCSL-2000-Pauly #bisimulation #game studies #safety #source code
From Programs to Games: Invariance and Safety for Bisimulation (MP), pp. 485–496.
ICDARICDAR-1999-KharmaW #invariant #recognition
A Simple Invariant Mapping Applied to Hand-written Pre-segmented Character Recognition (NNK, RKW), pp. 41–44.
ICDARICDAR-1999-NosaryHPL #adaptation #invariant #recognition
Defining Writer’s Invariants to Adapt the Recognition Task (AN, LH, TP, YL), pp. 765–768.
ICDARICDAR-1999-WakaharaK #correlation #invariant #using
Affine-Invariant Correlation of Gray-Scale Characters using GAT Iteration (TW, YK), pp. 613–616.
ICMLICML-1999-NgHR #policy #theory and practice
Policy Invariance Under Reward Transformations: Theory and Application to Reward Shaping (AYN, DH, SJR), pp. 278–287.
TOOLSTOOLS-EUROPE-1999-Mikhajlova99a #component #consistency #invariant
Consistent Extension of Components in the Presence of Explicit Invariants (AM), pp. 76–85.
ICSEICSE-1999-Ernst #detection #invariant #research #summary
Research Summary for Dynamic Detection of Program Invariants (MDE), pp. 718–719.
ICSEICSE-1999-ErnstCGN #evolution #invariant
Dynamically Discovering Likely Program Invariants to Support Program Evolution (MDE, JC, WGG, DN), pp. 213–224.
CAVCAV-1999-Etessami #automaton #invariant #logic
Stutter-Invariant Languages, ω-Automata, and Temporal Logic (KE), pp. 236–248.
LICSLICS-1999-Libkin #bound #invariant #logic #query
Logics with Counting, Auxiliary Relations, and Lower Bounds for Invariant Queries (LL), pp. 316–325.
DATEDATE-1998-GhoshKBH #benchmark #equivalence #invariant #metric #synthesis
Synthesis of Wiring Signature-Invariant Equivalence Class Circuit Mutants and Applications to Benchmarking (DG, NK, FB, JEHI), pp. 656–663.
PODSPODS-1998-SegoufinV #database #invariant #query
Querying Spatial Databases via Topological Invariants (LS, VV), pp. 89–98.
SIGMODSIGMOD-1998-RaoR #correlation #invariant #query #reuse
Reusing Invariants: A New Strategy for Correlated Queries (JR, KAR), pp. 37–48.
ICMLICML-1998-Saul #automation #segmentation
Automatic Segmentation of Continuous Trajectories with Invariance to Nonlinear Warpings of Time (LKS), pp. 506–514.
ICPRICPR-1998-KadyrovP98a #invariant
The trace transform as a tool to invariant feature construction (AK, MP), pp. 1037–1039.
ICPRICPR-1998-MontesinosGD #difference #image #invariant
Differential invariants for color images (PM, VG, RD), pp. 838–840.
ICPRICPR-1998-OkataniD #identification #invariant #on the #problem #using
On identification of singular points using photometric invariants for global shape from shading problem (TO, KD), pp. 1787–1790.
ICPRICPR-1998-TerrillonDA #detection #image #invariant
Detection of human faces in complex scene images by use of a skin color model and of invariant Fourier-Mellin moments (JCT, MD, SA), pp. 1350–1355.
ICPRICPR-1998-WangHRKJ #3d #invariant #recognition #statistics
A statistical model to describe invariants extracted from a 3-D quadric surface patch and its applications in region-based recognition (GW, ZH, PPLR, MJK, GJ), pp. 668–672.
ICPRICPR-1998-WouwerSD #invariant #using
Rotation-invariant texture characterization using isotropic wavelet frames (GVdW, PS, DVD), pp. 814–816.
ICPRICPR-1998-Yang #image #scalability
Invariance and scaling laws in natural images (ZY), pp. 728–730.
LOPSTRLOPSTR-1998-StarkI #invariant #proving
Invariant Discovery via Failed Proof Attempts (JS, AI), pp. 271–288.
FSEFSE-1998-JeffordsH #automation #generative #invariant #requirements #specification
Automatic Generation of State Invariants from Requirements Specifications (RDJ, CLH), pp. 56–69.
CAVCAV-1998-BensalemLO98a #invariant #named #verification
InVeST: A Tool for the Verification of Invariants (SB, YL, SO), pp. 505–510.
CSLCSL-1998-Makowsky #invariant
Invariant Definability and P/poly (JAM), pp. 142–158.
CAVCAV-1997-Saidi #automation #deduction #invariant #verification
The Invariant Checker: Automated Deductive Verification of Reactive Systems (HS), pp. 436–439.
CAVCAV-1997-Sistla #automaton #invariant #linear #network #using #verification
Parametrized Verification of Linear Networks Using Automata as Invariants (APS), pp. 412–423.
RTARTA-1997-Gobel #invariant
The Invariant Package of MAS (MG), pp. 327–330.
DACDAC-1996-SunDH #equation #geometry #independence #parametricity #performance #using
Fast Parameters Extraction of General Three-Dimension Interconnects Using Geometry Independent Measured Equation of Invariance (WS, WWMD, WHI), pp. 371–376.
TACASTACAS-1996-Saidi #automation #concurrent #proving
A Tool for Proving Invariance Properties of Concurrent Systems Automatically (HS), pp. 412–416.
PLDIPLDI-1996-FlanaganFKWF #debugging #invariant #web
Static Debugging: Browsing the Web of Program Invariants (CF, MF, SK, SW, MF), pp. 23–32.
ICPRICPR-1996-Alexandre #invariant #pattern matching #pattern recognition #recognition
Connectionist cognitive processing for invariant pattern recognition (FA), pp. 679–683.
ICPRICPR-1996-Ben-ArieWR #invariant #recognition
Iconic recognition with affine-invariant spectral signatures (JBA, ZW, KRR), pp. 672–676.
ICPRICPR-1996-BrucksteinRW #invariant #using
Recognizing objects using scale space local invariants (AMB, ER, IW), pp. 760–764.
ICPRICPR-1996-FlusserS #invariant #recognition
Invariants for recognition of degraded 1-D digital signals (JF, TS), pp. 389–393.
ICPRICPR-1996-GeversS #image #invariant #retrieval
Color-metric pattern-card matching for viewpoint invariant image retrieval (TG, AWMS), pp. 3–7.
ICPRICPR-1996-GurdjosDC #3d #coordination #invariant
Tracking 3D coplanar points in the invariant perspective coordinates plane (PG, PD, SC), pp. 493–497.
ICPRICPR-1996-HeisterkampB #invariant #product line #recognition
Invariants of families of coplanar conics and their applications to object recognition (DRH, PB), pp. 677–681.
ICPRICPR-1996-HeydenR #evaluation #using
Evaluation of corner extraction schemes using invariance methods (AH, KR), pp. 895–899.
ICPRICPR-1996-Horikawa #correlation #higher-order #pattern matching #pattern recognition #recognition #similarity
Pattern recognition with invariance to similarity transformations based on the third-order correlation (YH), pp. 200–204.
ICPRICPR-1996-KrotkovKZ #analysis #invariant #synthesis
Analysis and synthesis of the sounds of impact based on shape-invariant properties of materials (EK, RLK, NBZ), pp. 115–119.
ICPRICPR-1996-LambertN #invariant #using
Discrimination properties of invariants using the line moments of vectorized contours (GL, JN), pp. 735–739.
ICPRICPR-1996-LasenbyBLS #invariant
A new methodology for computing invariants in computer vision (JL, EBC, ANL, GS), pp. 393–397.
ICPRICPR-1996-MokademDG #distance #invariant
A shape distance by complete and stable invariant descriptors for contour tracking (AM, MD, FG), pp. 105–109.
ICPRICPR-1996-SatoC #invariant
Affine integral invariants and matching of curves (JS, RC), pp. 915–919.
ICPRICPR-1996-ShiniK #3d #analysis #metric
3D measurement strategy based on a projection invariance motion analysis with an artificial retina sensor (CWS, KIK), pp. 369–373.
ICPRICPR-1996-StoschekYH #2d #detection #invariant #multi #robust #using
Rotation-invariant and robust multiple-2D-object detection using steerable pyramid denoising and optimized circular harmonic filters (AS, TPYY, RH), pp. 376–380.
ICPRICPR-1996-Tseng0 #fuzzy #invariant #recognition
Fuzzy ring data for invariant handwritten Chinese character recognition (DCT, HPC), pp. 94–98.
ICPRICPR-1996-VossS #invariant
Invariant fitting of planar objects by primitives (KV, HS), pp. 508–512.
ICPRICPR-1996-Xia #invariant #on the
On contour invariants: relationship and application (FX), pp. 136–140.
ICPRICPR-1996-ZribiFG #3d #analysis #invariant #set
Set of invariant features for three-dimensional gray-level objects by harmonic analysis (MZ, HF, FG), pp. 549–553.
CAVCAV-1996-BensalemLS #automation #generative #invariant
Powerful Techniques for the Automatic Generation of Invariants (SB, YL, HS), pp. 323–335.
CAVCAV-1996-GrafS #invariant #proving #theorem proving #using #verification
Verifying Invariants Using theorem Proving (SG, HS), pp. 196–207.
CSLCSL-1996-Otto #invariant #logic
The Logic of Explicitly Presentation-Invariant Circuits (MO), pp. 369–384.
ICDARICDAR-v1-1995-ChiuTC #invariant #matrix #recognition #using
Invariant handwritten Chinese character recognition using weighted ring-data matrix (HPC, DCT, JCC), pp. 116–119.
ICDARICDAR-v1-1995-ElmsI #distance #invariant #modelling
Modelling polyfont printed characters with HMMs and a shift invariant Hamming distance (AJE, JI), pp. 504–507.
ICDARICDAR-v1-1995-PowalkaSW #hybrid #invariant #recognition
Zoning invariant holistic recognizer for hybrid recognition of handwriting (RKP, NS, RJW), pp. 64–67.
ICDARICDAR-v2-1995-RheePK #invariant #recognition #string
Rotation-invariant recognition of character strings for Korean cadastral map digitizing (PKR, JSP, YGK), pp. 944–947.
PLDIPLDI-1994-GranlundM #integer #invariant #multi #using
Division by Invariant Integers using Multiplication (TG, PLM), pp. 61–72.
CADECADE-1994-Martin #geometry #invariant #termination
Termination, Geometry and Invariants (UM), pp. 432–434.
CAVCAV-1994-BalarinS #automation #invariant #network #on the
On the Automatic Computation of Network Invariants (FB, ALSV), pp. 234–246.
ICDARICDAR-1993-DoermannRW #geometry #invariant #recognition #using
Logo recognition using geometric invariants (DSD, ER, IW), pp. 894–897.
FMFME-1993-BicarreguiR #comparison #invariant
Invariants, Frames and Postconditions: a Comparison of the VDM and B Notations (JB, BR), pp. 162–182.
CAVCAV-1993-HuD #invariant #performance #using #verification
Efficient Verification with BDDs using Implicitly Conjoined Invariants (AJH, DLD), pp. 3–14.
CAVCAV-1993-RhoS #automation #generative #invariant #network #verification
Automatic Generation of Network Invariants for the Verification of Iterative Sequential Systems (JKR, FS), pp. 123–137.
LISPLFP-1992-ChirimarGR #invariant #linear #logic #memory management #proving
Proving Memory Management Invariants for a Language Based on Linear Logic (JC, CAG, JGR), pp. 139–150.
CAVCAV-1992-HiguchiSSFK #communication #finite #invariant #state machine #verification
A Verification Procedure via Invariant for Extended Communicating Finite-State Machines (MH, OS, HS, MF, TK), pp. 384–395.
PPDPPLILP-1991-GiannottiH #detection #recursion #specification
A Technique for Recursive Invariance Detection and Selective Program Specification (FG, MVH), pp. 323–334.
ICMLML-1989-Kokar #concept #embedded
Concept Discovery Through Utilization of Invariance Embedded in the Description Language (MMK), pp. 478–479.
ICMLML-1989-Puget #invariant #learning
Learning Invariants from Explanations (JFP), pp. 200–204.
STOCSTOC-1984-SlotB #on the #performance
On Tape Versus Core; An Application of Space Efficient Perfect Hash Functions to the Invariance of Space (CFS, PvEB), pp. 391–400.
POPLPOPL-1983-Nelson #invariant #reachability #verification
Verifying Reachability Invariants of Linked Structures (GN), pp. 38–47.
ICALPICALP-1982-Sifakis #invariant
Global and Local Invariants in Transition Systems (JS), pp. 510–522.
ICALPICALP-1979-BertoniMM #invariant
A Characterization of Abstract Data as Model-Theoretic Invariants (AB, GM, PM), pp. 26–37.
POPLPOPL-1979-Clarke #concurrent #invariant #source code #synthesis
Synthesis of Resource Invariants for Concurrent Programs (EMC), pp. 211–221.
ICSEICSE-1979-KramerC #invariant #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.