canonical

---

canonical

Tag #canonical

112 papers:

ICML-2019-UurtioBR #analysis #correlation #kernel #scalability

Large-Scale Sparse Kernel Canonical Correlation Analysis (VU, SB, JR), pp. 6383–6391.

OOPSLA-2019-FernandoJM #approximate #parallel #safety #source code #verification

Verifying safety and accuracy of approximate parallel programs via canonical sequentialization (VF, KJ, SM), p. 29.

ICML-2018-LacroixUO #composition #knowledge base

Canonical Tensor Decomposition for Knowledge Base Completion (TL, NU, GO), pp. 2869–2878.

ICPR-2018-Yang0CF #analysis #correlation #detection #image #using

Heterogeneous image change detection using Deep Canonical Correlation Analysis (JY, YZ0, YC, LF), pp. 2917–2922.

ICPR-2018-YuanZLQ0S #adaptation #correlation #learning #parallel #recognition

Learning Parallel Canonical Correlations for Scale-Adaptive Low Resolution Face Recognition (YY, ZZ, YL0, JPQ, BL0, XBS), pp. 922–927.

CSL-2018-Luck #complexity #logic #modelling

Canonical Models and the Complexity of Modal Team Logic (ML), p. 23.

OOPSLA-2017-BakstGKJ #distributed #source code #verification

Verifying distributed programs via canonical sequentialization (AB, KvG, RGK, RJ), p. 27.

ICML-2016-GeJKNS #algorithm #analysis #correlation #performance #scalability

Efficient Algorithms for Large-scale Generalized Eigenvector Computation and Canonical Correlation Analysis (RG0, CJ, SMK, PN, AS), pp. 2741–2750.

ICML-2016-MichaeliWL #analysis #correlation #parametricity

Nonparametric Canonical Correlation Analysis (TM, WW, KL), pp. 1967–1976.

CIKM-2015-HeWJ #correlation #documentation #network #topic

Discovering Canonical Correlations between Topical and Topological Information in Document Networks (YH0, CW0, CJ), pp. 1281–1290.

CIKM-2015-Paul #analysis #correlation

Core-Sets For Canonical Correlation Analysis (SP), pp. 1887–1890.

ICML-2015-MaLF #analysis #correlation #dataset #linear #scalability

Finding Linear Structure in Large Datasets with Scalable Canonical Correlation Analysis (ZM, YL, DPF), pp. 169–178.

STOC-2015-SunW #performance

Faster Canonical Forms for Primitive Coherent Configurations: Extended Abstract (XS, JW), pp. 693–702.

LICS-2015-BallePP #approximate #automaton

A Canonical Form for Weighted Automata and Applications to Approximate Minimization (BB, PP, DP), pp. 701–712.

CIAA-2014-AmorimMR #finite #linear #transducer #using

Counting Equivalent Linear Finite Transducers Using a Canonical Form (IA, AM, RR), pp. 70–83.

ICGT-2014-CorradiniH

Canonical Derivations with Negative Application Conditions (AC, RH), pp. 207–221.

CIKM-2014-TaoIWS #analysis #correlation

Exploring Shared Subspace and Joint Sparsity for Canonical Correlation Analysis (LT, HHSI, YW, XS), pp. 1887–1890.

ICML-c2-2014-MukutaH #analysis #correlation #probability

Probabilistic Partial Canonical Correlation Analysis (YM, TH), pp. 1449–1457.

ICPR-2014-HuangZPZ #correlation #recognition #robust #using

Robust Facial Expression Recognition Using Revised Canonical Correlation (XH, GZ, MP, WZ), pp. 1734–1739.

ICPR-2014-WangGLYWY #analysis #correlation

Unsupervised Discriminant Canonical Correlation Analysis for Feature Fusion (SW, XG, JL, JYY, RW, JY), pp. 1550–1555.

KR-2014-ShenZ #logic programming #source code

Canonical Logic Programs are Succinctly Incomparable with Propositional Formulas (YS, XZ).

DATE-2014-VijaykumarV #analysis #statistics #using

Statistical static timing analysis using a skew-normal canonical delay model (MV, VV), pp. 1–6.

ICML-c1-2013-AvronBTZ #analysis #correlation #performance #reduction

Efficient Dimensionality Reduction for Canonical Correlation Analysis (HA, CB, ST, AZ), pp. 347–355.

ICML-c2-2013-ChangKKZ #analysis #correlation #independence #kernel

Canonical Correlation Analysis based on Hilbert-Schmidt Independence Criterion and Centered Kernel Target Alignment (BC, UK, RK, JZ), pp. 316–324.

ICML-c3-2013-AndrewABL #analysis #correlation

Deep Canonical Correlation Analysis (GA, RA, JAB, KL), pp. 1247–1255.

DATE-2013-AmaruGM #logic #novel #synthesis

Biconditional BDD: a novel canonical BDD for logic synthesis targeting XOR-rich circuits (LGA, PEG, GDM), pp. 1014–1017.

STOC-2013-BabaiW #design

Quasipolynomial-time canonical form for steiner designs (LB, JW), pp. 261–270.

JCDL-2012-ParkEF #approach #hybrid #independence #representation

A hybrid two-stage approach for discipline-independent canonical representation extraction from references (SHP, RWE, EAF), pp. 285–294.

TPDL-2012-BritellDCFF #library

Enhancing Digital Libraries and Portals with Canonical Structures for Complex Objects (SB, LMLD, LNC, EAF, RF), pp. 420–425.

CIKM-2012-WeiFLC #dependence #using

Model the complex dependence structures of financial variables by using canonical vine (WW, XF, JL, LC), pp. 1382–1391.

ICML-2012-BiessmannPBH #detection #roadmap #web

Canonical Trends: Detecting Trend Setters in Web Data (FB, JMP, MLB, AH), p. 170.

ICML-2012-YgerBGR #adaptation #analysis #correlation #matrix

Adaptive Canonical Correlation Analysis Based On Matrix Manifolds (FY, MB, GG, AR), p. 43.

ICPR-2012-GaoM #analysis #correlation #detection #kernel #multi #using

Multi-modality movie scene detection using Kernel Canonical Correlation Analysis (GG, HM), pp. 3074–3077.

ICPR-2012-SuWF #analysis #correlation #evaluation #generative

Evaluation of canonical correlation analysis: A Correlation Generation Model (YS, SW, YF), pp. 1751–1754.

CASE-2012-LiuJCLX #analysis #correlation #fault #identification #linear #research

Research on fault identification for complex system based on generalized linear canonical correlation analysis (DL, DJ, XC, AL, GX), pp. 474–478.

VMCAI-2012-HowarSJC #automaton

Inferring Canonical Register Automata (FH, BS, BJ, SC), pp. 251–266.

IFL-2011-ReichNR #generative #lazy evaluation #source code

Lazy Generation of Canonical Test Programs (JSR, MN, CR), pp. 69–84.

RecSys-2011-Faridani #analysis #correlation #recommendation #sentiment #using

Using canonical correlation analysis for generalized sentiment analysis, product recommendation and search (SF), pp. 355–358.

ICLP-2011-JacksonBS

Canonical Regular Types (EKJ, NB, WS), pp. 73–83.

ICALP-v1-2010-KoblerKLV #graph #representation

Interval Graphs: Canonical Representation in Logspace (JK, SK, BL, OV), pp. 384–395.

ECIR-2010-UdupaK #analysis #correlation #equivalence #using

Transliteration Equivalence Using Canonical Correlation Analysis (RU, MMK), pp. 75–86.

ICPR-2010-DikmenH #classification #correlation

Improving Classification Accuracy by Comparing Local Features through Canonical Correlations (MD, TSH), pp. 4032–4035.

ICPR-2010-GajsekSM #correlation #multi #recognition #using

Multi-modal Emotion Recognition Using Canonical Correlations and Acoustic Features (RG, VS, FM), pp. 4133–4136.

ICPR-2010-KamarainenI #detection #learning

Learning and Detection of Object Landmarks in Canonical Object Space (JKK, JI), pp. 1409–1412.

ICPR-2010-KimuraKSNMSI #correlation #learning #named #performance

SemiCCA: Efficient Semi-supervised Learning of Canonical Correlations (AK, HK, MS, TN, EM, HS, KI), pp. 2933–2936.

ICPR-2010-MankowskiSS

Canonical Patterns of Oriented Topologies (WCM, AS, DDS), pp. 1104–1107.

ICPR-2010-SakarK #analysis #correlation #feature model #hybrid

A Hybrid Method for Feature Selection Based on Mutual Information and Canonical Correlation Analysis (COS, OK), pp. 4360–4363.

ICPR-2010-ZhangZ #analysis #correlation #image #using

Exposing Digital Image Forgeries by Using Canonical Correlation Analysis (CZ, HZ), pp. 838–841.

ICPR-2010-ZhouLLT #image #learning #visual notation

Canonical Image Selection by Visual Context Learning (WZ, YL, HL, QT), pp. 834–837.

SAC-2010-ZhangZ #analysis #correlation #random

Canonical random correlation analysis (JZ, DZ), pp. 1111–1112.

SLE-2010-HostO #identification #implementation #java #semantics #using

Canonical Method Names for Java — Using Implementation Semantics to Identify Synonymous Verbs (EWH, BMØ), pp. 226–245.

CSL-2010-Santo #deduction #towards

Towards a Canonical Classical Natural Deduction System (JES), pp. 290–304.

ICDAR-2009-BloechleLI #documentation #named

OCD: An Optimized and Canonical Document Format (JLB, DL, RI), pp. 236–240.

CHI-2009-MankowskiBSS #behaviour #protocol

Finding canonical behaviors in user protocols (WCM, PB, AS, DDS), pp. 1323–1326.

ICEIS-ISAS-2009-WangWWL #modelling #process

Deriving Canonical Business Object Operation Nets from Process Models (ZW, JW, LW, YL), pp. 182–187.

ICML-2009-ChaudhuriKLS #analysis #clustering #correlation #multi

Multi-view clustering via canonical correlation analysis (KC, SMK, KL, KS), pp. 129–136.

DAC-2009-Wong #performance

An efficient passivity test for descriptor systems via canonical projector techniques (NW), pp. 957–962.

ICML-2008-SunJY #analysis #correlation

A least squares formulation for canonical correlation analysis (LS, SJ, JY), pp. 1024–1031.

IJCAR-2008-BonacinaD

Canonical Inference for Implicational Systems (MPB, ND), pp. 380–395.

PEPM-2007-Lammel #normalisation

Style normalization for canonical X-to-O mappings (RL), pp. 31–40.

DAC-2007-AgostaBPS #approach

A Unified Approach to Canonical Form-based Boolean Matching (GA, FB, GP, DS), pp. 841–846.

WRLA-2006-Reilles07 #abstract syntax tree #syntax

Canonical Abstract Syntax Trees (AR), pp. 165–179.

WCRE-2006-KothariDMS #on the

On Computing the Canonical Features of Software Systems (JK, TD, SM, AS), pp. 93–102.

ICPR-v1-2006-ReiterDLB #3d #analysis #correlation #re-engineering #using

3D and Infrared Face Reconstruction from RGB data using Canonical Correlation Analysis (MR, RD, GL, HB), pp. 425–428.

ICPR-v2-2006-EedeMTSD

Canonical Skeletons for Shape Matching (MvE, DM, ACT, CS, SJD), pp. 64–69.

ECMDA-FA-2006-BezivinBFGJKKP #composition

A Canonical Scheme for Model Composition (JB, SB, MDDF, MPG, FJ, DSK, IK, RFP), pp. 346–360.

DATE-2006-McConaghyG #modelling #performance

Double-strength CAFFEINE: fast template-free symbolic modeling of analog circuits via implicit canonical form functions and explicit introns (TM, GGEG), pp. 269–274.

IJCAR-2006-ZamanskyA #calculus #quantifier

Canonical Gentzen-Type Calculi with (n, k)-ary Quantifiers (AZ, AA), pp. 251–265.

ICDAR-2005-RigamontiBHLI #documentation #representation #reverse engineering #towards

Towards a Canonical and Structured Representation of PDF Documents through Reverse Engineering (MR, JLB, KH, DL, RI), pp. 1050–1055.

DAC-2005-AbdollahiP #logic #performance #synthesis #verification

A new canonical form for fast boolean matching in logic synthesis and verification (AA, MP), pp. 379–384.

DATE-2005-McConaghyEG #generative #named #programming #search-based

CAFFEINE: Template-Free Symbolic Model Generation of Analog Circuits via Canonical Form Functions and Genetic Programming (TM, TE, GGEG), pp. 1082–1087.

VMCAI-2005-ManevichYRS #abstraction

Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists (RM, EY, GR, SS), pp. 181–198.

SIGMOD-2004-RaoPZ #abstraction #optimisation

Canonical Abstraction for Outerjoin Optimization (JR, HP, CZ), pp. 671–682.

ICFP-2004-GauthierP #first-order #higher-order #matter #recursion

Numbering matters: first-order canonical forms for second-order recursive types (NG, FP), pp. 150–161.

ICPR-v2-2004-DentonDASD #3d #recognition

Selecting Canonical Views for View-Based 3-D Object Recognition (TD, MFD, JA, AS, SJD), pp. 273–276.

ESOP-2004-Rensink #graph

Canonical Graph Shapes (AR), pp. 401–415.

FoSSaCS-2004-Power #modelling

Canonical Models for Computational Effects (JP), pp. 438–452.

VMCAI-2004-Sagiv #abstraction #on the #power of

On the Expressive Power of Canonical Abstraction (SS), p. 58.

RTA-2002-Lucas #termination

Termination of (Canonical) Context-Sensitive Rewriting (SL), pp. 296–310.

DATE-2002-CiesielskiKZR #diagrams #representation #verification

Taylor Expansion Diagrams: A Compact, Canonical Representation with Applications to Symbolic Verification (MJC, PK, ZZ, BR), pp. 285–289.

CAV-2002-KhomenkoKV #petri net

Canonical Prefixes of Petri Net Unfoldings (VK, MK, WV), pp. 582–595.

CAV-2002-RybinaV #infinity #model checking #using

Using Canonical Representations of Solutions to Speed Up Infinite-State Model Checking (TR, AV), pp. 386–400.

IJCAR-2001-AvronL #type system

Canonical Propositional Gentzen-Type Systems (AA, IL), pp. 529–544.

CIAA-2000-ChamparnaudZ #automaton #finite

New Finite Automaton Constructions Based on Canonical Derivatives (JMC, DZ), pp. 94–104.

ICPR-v2-2000-FyfeL #analysis #correlation #network

Canonical Correlation Analysis Neural Networks (CF, PLL), pp. 2977–2980.

ICPR-v2-2000-LaiCF #correlation #using

Power Load Forecasting Using Neural Canonical Correlates (PLL, SJC, CF), pp. 2455–2458.

DAC-2000-JainMMWL #analysis #complexity #composition #graph #how

Analysis of composition complexity and how to obtain smaller canonical graphs (JJ, KM, DM, IW, YL), pp. 681–686.

ICALP-1998-ChuangGHKL #encoding #graph #multi #order

Compact Encodings of Planar Graphs via Canonical Orderings and Multiple Parentheses (RCNC, AG, XH, MYK, HIL), pp. 118–129.

KR-1998-Renz #calculus

A Canonical Model of the Region Connection Calculus (JR), pp. 330–341.

KR-1998-Weydert #how #knowledge base #ranking

SYSTEM JZ — How to Build a Canonical Ranking Model of a Default Knowledge Base (EW), pp. 190–201.

OOPSLA-1998-Simons

Borrow, Copy or Steal? Loans and Larceny in the Orthodox Canonical Form (AJHS), pp. 65–83.

CADE-1998-HortonS #named #process #rank

Rank/Activity: A Canonical Form for Binary Resolution (JDH, BS), pp. 412–426.

ICML-1997-Baxter #approximate

The Canonical Distortion Measure for Vector Quantization and Function Approximation (JB), pp. 39–47.

DAC-1995-ZhouB #equivalence

Equivalence Checking of Datapaths Based on Canonical Arithmetic Expressions (ZZ, WB), pp. 546–551.

ICSM-1994-LanningK #complexity #fault #modelling #process

Canonical Modeling of Software Complexity and Fault Correction Activity (DLL, TMK), pp. 374–381.

DAC-1992-SarabiP #network #performance

Fast Exact and Quasi-Minimal Minimization of Highly Testable Fixed-Polarity AND/XOR Canonical Networks (AS, MAP), pp. 30–35.

DAC-1992-Sur-KolayB

Canonical Embedding of Rectangular Duals with Applications to VLSI Floorplanning (SSK, BBB), pp. 69–74.

RTA-1991-NarendranR #commutative #finite

Any Gound Associative-Commutative Theory Has a Finite Canonical System (PN, MR), pp. 423–434.

RTA-1989-Otto #congruence #finite #strict #string #term rewriting

Restrictions of Congruence Generated by Finite Canonical String-Rewriting Systems (FO), pp. 359–370.

CADE-1988-DershowitzOS #term rewriting

Canonical Conditional Rewrite Systems (ND, MO, GS), pp. 538–549.

CADE-1988-GallierNPRS #equation #finite #polynomial #set #term rewriting

Finding Canonical Rewriting Systems Equivalent to a Finite Set of Ground Equations in Polynomial Time (JHG, PN, DAP, SR, WS), pp. 182–196.

RTA-1987-SquierO #finite #monad #problem #term rewriting #word

Th Word Problem for Finitely Presented Monoids and Finite Canonical Rewriting Systems (CCS, FO), pp. 74–82.

CFLP-1987-BeierleV #data type #specification #theory and practice

Theory and Practice of Canonical Term Functors in Abstract Data Type Specifications (CB, AV), pp. 320–334.

SLP-1987-ShinNHM87 #functional #logic #unification

A Functional Logic Language Based on Canonical Unification (DWS, JHN, SH, SM), pp. 328–334.

DAC-1985-RamayyaKP #automation

An automated data path synthesizer for a canonic structure, implementable in VLSI (KR, AK, SP), pp. 381–387.

PODS-1984-Hegner #algebra #component

Canonical View Update Support through Boolean Algebras of Components (SJH), pp. 163–173.

CADE-1984-Chenadec #algebra

Canonical Forms in Finitely Presented Algebras (PlC), pp. 142–165.

PODS-1983-GoodmanST83a #reduction

GYO Reductions, Canonical Connections, Tree and Cyclic Schemas and Tree Projections (NG, OS, YCT), pp. 267–278.

STOC-1983-BabaiL #graph

Canonical Labeling of Graphs (LB, EML), pp. 171–183.

CADE-1980-Hullot #unification

Canonical Forms and Unification (JMH), pp. 318–334.

ICALP-1976-BerryC #equivalence

Program Equivalence and Canonical Forms in Stable Discrete Interpretations (GB, BC), pp. 168–188.

STOC-1974-Chandra

Degrees of Translatability and Canonical Forms in Program Schemas: Part I (AKC), pp. 1–12.