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

Tag #symmetry

386 papers:

POPLPOPL-2020-BinderJSO #composition
Decomposition diversity with symmetric data and codata (DB, JJ, IS, KO), p. 28.
ASPLOSASPLOS-2020-MaZCSWQ #architecture #data type #framework #implementation #named #performance #persistent
AsymNVM: An Efficient Framework for Implementing Persistent Data Structures on Asymmetric NVM Architecture (TM, MZ, KC, ZS, YW, XQ), pp. 757–773.
CGOCGO-2020-YuPJLT #collaboration #manycore #named
COLAB: a collaborative multi-factor scheduler for asymmetric multicore processors (TY, PP, VJ, HL, JT), pp. 268–279.
CSLCSL-2020-Dawar
Symmetric Computation (Invited Talk) (AD), p. 12.
CIAACIAA-2019-KonstantinidisM #clustering
Partitioning a Symmetric Rational Relation into Two Asymmetric Rational Relations (SK, MM, JS), pp. 171–183.
ICFP-2019-MiltnerMFPWZ #lens
Synthesizing symmetric lenses (AM, SM, KF, BCP, DW, SZ), p. 28.
ECIRECIR-p2-2019-BelkacemMDB #architecture
Asymmetry Sensitive Architecture for Neural Text Matching (TB, JGM, TD, MB), pp. 62–69.
ICMLICML-2019-BalduzziGB0PJG #game studies #learning
Open-ended learning in symmetric zero-sum games (DB, MG, YB, WC0, JP, MJ, TG), pp. 434–443.
ICMLICML-2019-CharoenphakdeeL #learning #on the
On Symmetric Losses for Learning from Corrupted Labels (NC, JL, MS), pp. 961–970.
ICMLICML-2019-KuoLZ0 #geometry
Geometry and Symmetry in Short-and-Sparse Deconvolution (HWK, YL, YZ, JW0), pp. 3570–3580.
ICMLICML-2019-ReeveK #classification #performance #robust
Fast Rates for a kNN Classifier Robust to Unknown Asymmetric Label Noise (HWJR, AK), pp. 5401–5409.
ICMLICML-2019-WuWKL #adaptation
Domain Adaptation with Asymmetrically-Relaxed Distribution Alignment (YW, EW, DK, ZCL), pp. 6872–6881.
BXBX-2019-JohnsonRe
Symmetric c-Lenses and Symmetric d-Lenses are Not Coextensive (MJ, FR), pp. 66–70.
POPLPOPL-2019-ParkHSR #multi #polymorphism
Polymorphic symmetric multiple dispatch with variance (GP, JH, GLSJ, SR), p. 28.
CIKMCIKM-2018-Moreno #clustering
Point Symmetry-based Deep Clustering (JGM), pp. 1747–1750.
ECIRECIR-2018-SinghM #recommendation #using
Benefits of Using Symmetric Loss in Recommender Systems (GS, SM), pp. 345–356.
ICMLICML-2018-BamlerM #modelling #optimisation
Improving Optimization in Models With Continuous Symmetry Breaking (RB, SM), pp. 432–441.
ICMLICML-2018-LeeYH #learning #multi
Deep Asymmetric Multi-task Feature Learning (HL, EY, SJH), pp. 2962–2970.
ICMLICML-2018-LucasTOV
Mixed batches and symmetric discriminators for GAN training (TL, CT, YO, JV), pp. 2850–2859.
ICPRICPR-2018-GengLH #graph #novel
A Novel Asymmetric Embedding Model for Knowledge Graph Completion (ZG, ZL, YH), pp. 290–295.
ICPRICPR-2018-MaGWW #kernel #named
RotateConv: Making Asymmetric Convolutional Kernels Rotatable (JM, WG, WW0, LW0), pp. 55–60.
KDDKDD-2018-HuangMFFT #performance
Accurate and Fast Asymmetric Locality-Sensitive Hashing Scheme for Maximum Inner Product Search (QH, GM, JF, QF, AKHT), pp. 1561–1570.
KDDKDD-2018-ZhangZCMHWT #adaptation #learning #online
Online Adaptive Asymmetric Active Learning for Budgeted Imbalanced Data (YZ0, PZ, JC, WM, JH, QW, MT), pp. 2768–2777.
CAVCAV-2018-PickFG #relational #verification
Exploiting Synchrony and Symmetry in Relational Verification (LP, GF, AG), pp. 164–182.
CSLCSL-2018-DawarW #logic #rank
Symmetric Circuits for Rank Logic (AD, GW), p. 16.
AFLAFL-2017-MaraisZ #automaton #complexity #difference #self #verification
Descriptional Complexity of Non-Unary Self-Verifying Symmetric Difference Automata (LM, LvZ), pp. 157–169.
CIKMCIKM-2017-Abu-El-HaijaPA #learning #rank
Learning Edge Representations via Low-Rank Asymmetric Projections (SAEH, BP, RAR), pp. 1787–1796.
CIKMCIKM-2017-SunSGOC #approach #community #detection
A Non-negative Symmetric Encoder-Decoder Approach for Community Detection (BJS, HS, JG, WO, XC), pp. 597–606.
ICMLICML-2017-AcharyaDOS #approach
A Unified Maximum Likelihood Approach for Estimating Symmetric Properties of Discrete Distributions (JA, HD, AO, ATS), pp. 11–21.
ICMLICML-2017-MaoSC #matrix #on the
On Mixed Memberships and Symmetric Nonnegative Matrix Factorizations (XM0, PS, DC), pp. 2324–2333.
ICMLICML-2017-SaitoUH #adaptation
Asymmetric Tri-training for Unsupervised Domain Adaptation (KS, YU, TH), pp. 2988–2997.
MDEBX-2017-JohnsonR #lens
Universal Updates for Symmetric Lenses (MJ, RR), pp. 39–53.
PPDPPPDP-2017-HoweRK #learning
Theory learning with symmetry breaking (JMH, ER, AK), pp. 85–96.
AIIDEAIIDE-2016-MarinoL #framework #game studies #generative #modelling #platform #visual notation
A Computational Model Based on Symmetry for Generating Visually Pleasing Maps of Platform Games (JRHM, LHSL), pp. 65–71.
CHI-PLAYCHI-PLAY-2016-HarrisHS #design #game studies #multi
Leveraging Asymmetries in Multiplayer Games: Investigating Design Elements of Interdependent Play (JH, MSH, SDS), pp. 350–361.
CoGCIG-2016-BeauB #automation #game studies #video
Automated game balancing of asymmetric video games (PB, SB), pp. 1–8.
ICMLICML-2016-DielemanFK #network
Exploiting Cyclic Symmetry in Convolutional Neural Networks (SD, JDF, KK), pp. 1889–1898.
ICMLICML-2016-LeeYH #learning #multi
Asymmetric Multi-task Learning based on Task Relatedness and Confidence (GL, EY, SJH), pp. 230–238.
ICPRICPR-2016-0003BP #3d #detection
Detection and characterization of Intrinsic symmetry of 3D shapes (AM0, SMB, FP), pp. 1815–1820.
ICPRICPR-2016-SuCHH #detection #image #modelling #recognition #using
Moment-based symmetry detection for scene modeling and recognition using RGB-D images (JYS, SCC, JWH, THH), pp. 3621–3626.
ICPRICPR-2016-ZhangZZB #detection
Symmetry-based object proposal for text detection (XZ, ZZ, CZ, XB), pp. 709–714.
KDDKDD-2016-OuCPZ0 #graph #transitive
Asymmetric Transitivity Preserving Graph Embedding (MO, PC0, JP, ZZ, WZ0), pp. 1105–1114.
KDDKDD-2016-ZhangYS #learning #online
Online Asymmetric Active Learning with Imbalanced Data (XZ, TY, PS), pp. 2055–2064.
POPLPOPL-2016-PlotkinBLRV #network #scalability #using #verification
Scaling network verification using symmetry and surgery (GDP, NB, NPL, AR, GV), pp. 69–83.
CGOCGO-2016-JibajaCBM #manycore #performance
Portable performance on asymmetric multicore processors (IJ, TC, SMB, KSM), pp. 24–35.
VMCAIVMCAI-2016-LinNR0
Regular Symmetry Patterns (AWL, TKN, PR, JS0), pp. 455–475.
PODSPODS-2015-BeameBGS #first-order
Symmetric Weighted First-Order Model Counting (PB, GVdB, EG, DS), pp. 313–328.
ICALPICALP-v1-2015-GargMVY #multi #nash
ETR-Completeness for Decision Versions of Multi-player (Symmetric) Nash Equilibria (JG, RM, VVV, SY), pp. 554–566.
ICALPICALP-v2-2015-AchlioptasS #graph #independence
Symmetric Graph Properties Have Independent Edges (DA, PS), pp. 467–478.
ICALPICALP-v2-2015-ScheweTV
Symmetric Strategy Improvement (SS, AT, TV), pp. 388–400.
LATALATA-2015-UlyantsevZS #automaton #identification
BFS-Based Symmetry Breaking Predicates for DFA Identification (VU, IZ, AS), pp. 611–622.
CHI-PLAYCHI-PLAY-2015-HarrisHS #exclamation #game studies #prototype #quote
“Beam Me 'Round, Scotty!”: Studying Asymmetry and Interdependence in a Prototype Cooperative Game (JH, MSH, SDS), pp. 775–778.
ICMLICML-2015-HuangWSLC #classification #image #learning #metric #set
Log-Euclidean Metric Learning on Symmetric Positive Definite Manifold with Application to Image Set Classification (ZH, RW, SS, XL, XC), pp. 720–729.
ICMLICML-2015-Kandemir #learning #process
Asymmetric Transfer Learning with Deep Gaussian Processes (MK), pp. 730–738.
ICMLICML-2015-NeyshaburS #on the
On Symmetric and Asymmetric LSHs for Inner Product Search (BN, NS), pp. 1926–1934.
RecSysRecSys-2015-NovA #recommendation #social
Asymmetric Recommendations: The Interacting Effects of Social Ratings? Direction and Strength on Users’ Ratings (ON, OA), pp. 249–252.
MoDELSMoDELS-2015-VallejoKMB #case study #reuse
Improving reuse by means of asymmetrical model migrations: An application to the Orcc case study (PV, MK, KJMM, JPB), pp. 358–367.
SACSAC-2015-BourdilBDV #petri net
Symmetry reduced state classes for time petri nets (PAB, BB, SDZ, FV), pp. 1751–1758.
SACSAC-2015-EvangelistaFBA #named
Bt-Join: a join operator for asymmetric storage device (NLE, JdAMF, AB, NA), pp. 988–993.
SACSAC-2015-SaezPCCP #manycore #named
ACFS: a completely fair scheduler for asymmetric single-isa multicore systems (JCS, AP, FC, DC, MPM), pp. 2027–2032.
ASPLOSASPLOS-2015-DuanHT #memory management #optimisation #performance
Asymmetric Memory Fences: Optimizing Both Performance and Implementability (YD, NH, JT), pp. 531–543.
ASPLOSASPLOS-2015-MorrisonA #bound
Temporally Bounding TSO for Fence-Free Asymmetric Synchronization (AM, YA), pp. 45–58.
CASECASE-2015-TheorinB #implementation
Implementation of an asymmetric relay autotuner in a sequential control language (AT, JB), pp. 874–879.
DATEDATE-2015-GoudVRR #design #robust
Asymmetric underlapped FinFET based robust SRAM design at 7nm node (AAG, RV, AR, KR), pp. 659–664.
DATEDATE-2015-ZwergerG #detection
Detection of asymmetric aging-critical voltage conditions in analog power-down mode (MZ, HEG), pp. 1269–1272.
HPCAHPCA-2015-MaddahSM #named #optimisation
CAFO: Cost aware flip optimization for asymmetric memories (RM, SMS, RGM), pp. 320–330.
CADECADE-2015-HeuleHW #proving
Expressing Symmetry Breaking in DRAT Proofs (MH, WAHJ, NW), pp. 591–606.
CAVCAV-2015-AlurRSTU #automation #distributed #protocol
Automatic Completion of Distributed Protocols with Symmetry (RA, MR, CS, ST, AU), pp. 395–412.
LICSLICS-2015-Pitts
Names and Symmetry in Computer Science (AMP), pp. 21–22.
VLDBVLDB-2014-ToNP #architecture #named #sql
SQL/AA: Executing SQL on an Asymmetric Architecture (QCT, BN, PP), pp. 1625–1628.
ICALPICALP-v2-2014-BellBMR #complexity
Symmetric Groups and Quotient Complexity of Boolean Operations (JB, JAB, NM, RR), pp. 1–12.
ICALPICALP-v2-2014-KantorK #problem
Optimal Competitiveness for Symmetric Rectilinear Steiner Arborescence and Related Problems (EK, SK), pp. 520–531.
CHI-PLAYCHI-PLAY-2014-HarrisHS #exclamation #game studies #quote
“beam me 'round, Scotty!”: exploring the effect of interdependence in asymmetric cooperative games (JH, MSH, SDS), pp. 417–418.
CHICHI-2014-KihmGKM #interactive #power management #using
Using asymmetric cores to reduce power consumption for interactive devices with bi-stable displays (JK, FG, JK, RM), pp. 1059–1062.
HCIHIMI-DE-2014-KaramT #gesture #interactive
Two-Handed Interactive Menu: An Application of Asymmetric Bimanual Gestures and Depth Based Selection Techniques (HK, JT), pp. 187–198.
ICMLICML-c2-2014-CarlssonMRS #clustering #network
Hierarchical Quasi-Clustering Methods for Asymmetric Networks (GEC, FM, AR, SS), pp. 352–360.
ICPRICPR-2014-ChaudhariM #clustering #matrix #semistructured data #using
Average Overlap for Clustering Incomplete Data Using Symmetric Non-negative Matrix Factorization (SC, MNM), pp. 1431–1436.
ICPRICPR-2014-SaleemBS #image #robust
A Gradient Extension of Center Symmetric Local Binary Patterns for Robust RGB-NIR Image Matching (SS, AB, RS), pp. 815–820.
KDIRKDIR-2014-BenhamouJSS #mining
Symmetry Breaking in Itemset Mining (BB, SJ, LS, YS), pp. 86–96.
ICMTICMT-2014-DiskinWGC #taxonomy #towards
Towards a Rational Taxonomy for Increasingly Symmetric Model Synchronization (ZD, AW, HG, KC), pp. 57–73.
OnwardOnward-2014-UngarOK #named #programming
Korz: Simple, Symmetric, Subjective, Context-Oriented Programming (DU, HO, DK), pp. 113–131.
SACSAC-2014-FerrazPG #feature model
Feature description based on center-symmetric local mapped patterns (CTF, OPJ, AG), pp. 39–44.
DATEDATE-2014-BishnoiEOT #power management #termination
Asynchronous Asymmetrical Write Termination (AAWT) for a low power STT-MRAM (RB, ME, FO, MBT), pp. 1–6.
DATEDATE-2014-Maurer #algorithm #detection
A universal symmetry detection algorithm (PMM), pp. 1–4.
PDPPDP-2014-BakkerTP #manycore
Emulating Asymmetric MPSoCs on the Intel SCC Many-Core Processor (RB, MWvT, ADP), pp. 520–527.
FoSSaCSFoSSaCS-2014-ErbaturKMMNR #on the #problem #unification
On Asymmetric Unification and the Combination Problem in Disjoint Theories (SE, DK, AMM, CM, PN, CR), pp. 274–288.
LICSLICS-CSL-2014-CastellanCW #concurrent #game studies
Symmetry in concurrent games (SC, PC, GW), p. 10.
LICSLICS-CSL-2014-GuenotS #logic #normalisation
Symmetric normalisation for intuitionistic logic (NG, LS), p. 10.
VLDBVLDB-2014-GyssensPGWW13 #approach #case study #query #towards
An Approach towards the Study of Symmetric Queries (MG, JP, DVG, JW, YW), pp. 25–36.
ICALPICALP-v1-2013-CheriyanGGS #on the
On Integrality Ratios for Asymmetric TSP in the Sherali-Adams Hierarchy (JC, ZG, KG, SS), pp. 340–351.
ICALPICALP-v1-2013-MuchaS #problem #scheduling
No-Wait Flowshop Scheduling Is as Hard as Asymmetric Traveling Salesman Problem (MM, MS), pp. 769–779.
LATALATA-2013-MerweFG #difference
Counting Minimal Symmetric Difference NFAs (BvdM, MF, JG), pp. 419–430.
CHICHI-2013-AnnettB #exclamation #gesture
Your left hand can do it too!: investigating intermanual, symmetric gesture transfer on touchscreens (MA, WFB), pp. 1119–1128.
SACSAC-OOPS-J-2009-LievensH13 #abstraction #encapsulation #implementation #multi
Abstraction over implementation structure with symmetrically encapsulated multimethods (DL, WH), pp. 953–968.
ASEASE-2013-Zhang0SLMD #automation #constraints #detection
Constraint-based automatic symmetry detection (SJZ, JS, CS, YL, JM, JSD), pp. 15–25.
DACDAC-2013-MuthukaruppanPVMV #manycore #power management
Hierarchical power management for asymmetric multi-core in dark silicon era (TSM, MP, VV, TM, SV), p. 9.
HPCAHPCA-2013-AbeyratneDLSGDBM #scalability #towards
Scaling towards kilo-core processors with asymmetric high-radix topologies (NA, RD, QL, KS, BG, RGD, DB, TNM), pp. 496–507.
HPCAHPCA-2013-YueZ
Accelerating write by exploiting PCM asymmetries (JY, YZ), pp. 282–293.
CADECADE-2013-ErbaturEKLLMMNSS #analysis #encryption #paradigm #protocol #unification
Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis (SE, SE, DK, ZL, CL, CM, JM, PN, SS, RS), pp. 231–248.
LICSLICS-2013-Otto #finite #modelling
Groupoids, Hypergraphs, and Symmetries in Finite Models (MO), pp. 53–62.
VMCAIVMCAI-2013-NamjoshiT #network #process
Uncovering Symmetries in Irregular Process Networks (KSN, RJT), pp. 496–514.
ICPRICPR-2012-AskKA #equation #performance #polynomial
Exploiting p-fold symmetries for faster polynomial equation solving (EA, YK, ), pp. 3232–3235.
ICPRICPR-2012-DahmaneLDB #estimation #learning
Learning symmetrical model for head pose estimation (AD, SL, CD, IMB), pp. 3614–3617.
ICPRICPR-2012-KawaiY #image
Image inpainting considering symmetric patterns (NK, NY), pp. 2744–2747.
ICPRICPR-2012-PhanST #detection #using
Text detection in natural scenes using Gradient Vector Flow-Guided symmetry (TQP, PS, CLT), pp. 3296–3299.
ICPRICPR-2012-XiangL #detection
Symmetric object detection based on symmetry and centripetal-SIFT edge descriptor (YX, SL), pp. 1403–1406.
MLDMMLDM-2012-KhanCDE #3d #case study #correlation #incremental
Finding Correlations between 3-D Surfaces: A Study in Asymmetric Incremental Sheet Forming (MSK, FC, CD, SES), pp. 366–379.
SACSAC-2012-DiasDHS #sorting #using
Sorting genomes using almost-symmetric inversions (ZD, UD, LSH, JCS), pp. 1368–1374.
DATEDATE-2012-ZhangWLJC #design
Asymmetry of MTJ switching and its implication to STT-RAM designs (YZ, XW, YL, AKJ, YC), pp. 1313–1318.
HPCAHPCA-2012-QiONMT #hardware #named
Pacman: Tolerating asymmetric data races with unintrusive hardware (SQ, NO, LON, AM, JT), pp. 349–360.
HPDCHPDC-2012-GeorgakoudisLN #manycore #migration #summary
Dynamic binary rewriting and migration for shared-ISA asymmetric, multicore processors: summary (GG, SL, DSN), pp. 127–128.
PDPPDP-2012-DavidovicQ #problem #reduction #scalability
Applying OOC Techniques in the Reduction to Condensed Form for Very Large Symmetric Eigenproblems on GPUs (DD, ESQO), pp. 442–449.
FoSSaCSFoSSaCS-2012-MazzaR #abstraction #combinator #interactive #modelling
Full Abstraction for Set-Based Models of the Symmetric Interaction Combinators (DM, NJR), pp. 316–330.
STOCSTOC-2012-KaufmanL #graph #transitive
Edge transitive ramanujan graphs and symmetric LDPC good codes (TK, AL), pp. 359–366.
CAVCAV-2012-ChuJ #reduction #safety #verification
A Complete Method for Symmetry Reduction in Safety Verification (DHC, JJ), pp. 616–633.
VMCAIVMCAI-2012-NamjoshiT #composition #verification
Local Symmetry and Compositional Verification (KSN, RJT), pp. 348–362.
SIGMODSIGMOD-2011-QinWLXL #performance #query #similarity
Efficient exact edit similarity query processing with the asymmetric signature scheme (JQ, WW, YL, CX, XL), pp. 1033–1044.
AFLAFL-2011-Egri-NagyN #automaton
Symmetries of Automata (AEN, CLN), p. 391.
ICALPICALP-v1-2011-GuoLV #complexity #problem
The Complexity of Symmetric Boolean Parity Holant Problems — (HG, PL, LGV), pp. 712–723.
CHICHI-2011-ChiuLC #documentation #gesture #modelling #multi
Multi-touch document folding: gesture models, fold directions and symmetries (PC, CL, FC), pp. 1591–1600.
HCIDHM-2011-XuCFKD
Postural Observation of Shoulder Flexion during Asymmetric Lifting Tasks (XX, CCC, GSF, IK, JTD), pp. 228–230.
CIKMCIKM-2011-LeeLSY #difference #robust #video
Robust video fingerprinting based on hierarchical symmetric difference feature (JL, SL, YS, WY), pp. 2089–2092.
CIKMCIKM-2011-WangHD #clustering #matrix #multi #relational
Simultaneous clustering of multi-type relational data via symmetric nonnegative matrix tri-factorization (HW, HH, CHQD), pp. 279–284.
ICMTICMT-J-2010-DiskinXC11 #bidirectional #model transformation
From State- to Delta-Based Bidirectional Model Transformations: the Asymmetric Case (ZD, YX, KC), pp. 137–161.
BXBX-2011-Hofmann #lens
Symmetric lenses (MH), p. 60.
MODELSMoDELS-2011-DiskinXCEHO #bidirectional #model transformation
From State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case (ZD, YX, KC, HE, FH, FO), pp. 304–318.
PEPMPEPM-2011-IkedaN #navigation #relational
Calculating tree navigation with symmetric relational zipper (YI, SN), pp. 101–110.
POPLPOPL-2011-HofmannPW #lens
Symmetric lenses (MH, BCP, DW), pp. 371–384.
SACSAC-2011-GalvaoD #distance #permutation
Computing rearrangement distance of every permutation in the symmetric group (GRG, ZD), pp. 106–107.
CASECASE-2011-FantiSU #constraints #problem #scheduling #using
Solving scheduling problems in distribution centers using symmetry breaking constraints (MPF, GS, WU), pp. 58–65.
CGOCGO-2011-SondagR #manycore
Phase-based tuning for better utilization of performance-asymmetric multicore processors (TS, HR), pp. 11–20.
HPCAHPCA-2011-JiangMZIFSMBD #named #scheduling
ACCESS: Smart scheduling for asymmetric cache CMPs (XJ, AKM, LZ, RI, ZF, SS, SM, PB, CRD), pp. 527–538.
CADECADE-2011-DeharbeFMP #problem #smt
Exploiting Symmetry in SMT Problems (DD, PF, SM, BWP), pp. 222–236.
CAVCAV-2011-DonaldsonKKW #abstraction #concurrent #source code
Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs (AFD, AK, DK, TW), pp. 356–371.
AIIDEAIIDE-2010-HaraborB #grid
Breaking Path Symmetries on 4-Connected Grid Maps (DH, AB).
ICPRICPR-2010-FujikiHUAM #self
Self-Calibration of Radially Symmetric Distortion by Model Selection (JF, HH, YU, SA, NM), pp. 1812–1815.
ICPRICPR-2010-HuangAWC #2d #3d #automation #recognition
Automatic Asymmetric 3D-2D Face Recognition (DH, MA, YW, LC), pp. 1225–1228.
ICPRICPR-2010-KootstraBK #segmentation #using
Using Symmetry to Select Fixation Points for Segmentation (GK, NB, DK), pp. 3894–3897.
ICPRICPR-2010-KumarTG
Combination of Symmetric Hash Functions for Secure Fingerprint Matching (GK, ST, VG), pp. 890–893.
ICPRICPR-2010-NacereddineTZH10a #algorithm #image #modelling #segmentation
Asymmetric Generalized Gaussian Mixture Models and EM Algorithm for Image Segmentation (NN, ST, DZ, LH), pp. 4557–4560.
ICPRICPR-2010-PiroonratanaWUALC #identification #morphism #nondeterminism #ranking #using
Identification of Ancestry Informative Markers from Chromosome-Wide Single Nucleotide Polymorphisms Using Symmetrical Uncertainty Ranking (TP, WW, TU, AA, CL, NC), pp. 2448–2451.
ICPRICPR-2010-SeppkeDH #detection #energy #image #using
Using Snakes with Asymmetric Energy Terms for the Detection of Varying-Contrast Edges in SAR Images (BS, LSDF, NH), pp. 2792–2795.
ICPRICPR-2010-ShivakumaraDTP #classification #proximity #video
A New Symmetry Based on Proximity of Wavelet-Moments for Text Frame Classification in Video (PS, AD, CLT, UP), pp. 129–132.
ASPLOSASPLOS-2010-GeladoCNSPH #distributed #memory management #parallel
An asymmetric distributed shared memory model for heterogeneous parallel systems (IG, JC, NN, JES, SJP, WmWH), pp. 347–358.
DATEDATE-2010-ZhangYDHRL #manycore
Performance-asymmetry-aware topology virtualization for defect-tolerant NoC-based many-core processors (LZ, YY, JD, YH, SR, XL), pp. 1566–1571.
PDPPDP-2010-MadrugaFN #architecture #manycore #parallel #performance
Parallel Shared-Memory Workloads Performance on Asymmetric Multi-core Architectures (FLM, HCdF, POAN), pp. 163–169.
ICSTICST-2010-SilvaJA #cost analysis #execution #machine learning #testing
Machine Learning Methods and Asymmetric Cost Function to Estimate Execution Effort of Software Testing (DGeS, MJ, BTdA), pp. 275–284.
LICSLICS-2010-StatonW #on the
On the Expressivity of Symmetry in Event Structures (SS, GW), pp. 392–401.
ICSTSAT-2010-KatebiSM #satisfiability
Symmetry and Satisfiability: An Update (HK, KAS, ILM), pp. 113–127.
LATALATA-2009-MatobaNT #bias #performance
Efficiency of the Symmetry Bias in Grammar Acquisition (RM, MN, ST), pp. 566–577.
SACSAC-2009-LievensH #encapsulation #multi
Symmetric encapsulated multi-methods to abstract over application structure (DL, WH), pp. 1873–1880.
ASPLOSASPLOS-2009-SulemanMQP #architecture #execution #manycore
Accelerating critical section execution with asymmetric multi-core architectures (MAS, OM, MKQ, YNP), pp. 253–264.
PPoPPPPoPP-2009-RatanaworabhanBKZNP #detection
Detecting and tolerating asymmetric races (PR, MB, DK, BGZ, RN, KP), pp. 173–184.
STOCSTOC-2009-DodisW #encryption
Non-malleable extractors and symmetric key cryptography from weak secrets (YD, DW), pp. 601–610.
ICSTSAT-2009-SchaafsmaHM #simulation
Dynamic Symmetry Breaking by Simulating Zykov Contraction (BS, MH, HvM), pp. 223–236.
VMCAIVMCAI-2009-TreflerW #architecture #reduction
Extending Symmetry Reduction by Exploiting System Architecture (RJT, TW), pp. 320–334.
ICALPICALP-A-2008-PemmarajuS #random
The Randomized Coloring Procedure with Symmetry-Breaking (SVP, AS), pp. 306–319.
ICALPICALP-B-2008-EgriLT #datalog
Directed st-Connectivity Is Not Expressible in Symmetric Datalog (LE, BL, PT), pp. 172–183.
CoGCIG-2008-Blair #evaluation #learning #network
Learning position evaluation for Go with Internal Symmetry Networks (AB), pp. 199–204.
CSCWCSCW-2008-BayerlL #coordination #distributed
Coordinating high-interdependency tasks in asymmetric distributed teams (PSB, KL), pp. 417–426.
CSCWCSCW-2008-HancockTF #using
I know something you don’t: the use of asymmetric personal information for interpersonal advantage (JTH, CLT, KF), pp. 413–416.
CSCWCSCW-2008-VoidaVGH
Asymmetry in media spaces (AV, SV, SG, HAH), pp. 313–322.
ICMLICML-2008-NarayanamurthyR #markov #on the #process
On the hardness of finding symmetries in Markov decision processes (SMN, BR), pp. 688–695.
ICPRICPR-2008-BitsakosYYF
Bilateral symmetry of object silhouettes under perspective projection (KB, HY, LY, CF), pp. 1–4.
ICPRICPR-2008-MinOS
Asymmetric post-processing for stereo correspondence (DBM, JO, KS), pp. 1–4.
ICPRICPR-2008-SahaB #clustering #multi #using
A new multiobjective simulated annealing based clustering technique using stability and symmetry (SS, SB), pp. 1–4.
ICPRICPR-2008-WangFD
Asymmetric Real Adaboost (ZW, CF, XD), pp. 1–4.
ICPRICPR-2008-WangWHHG #image
Symmetric segment-based stereo matching of motion blurred images with illumination variations (WW, YW, LH, QH, WG), pp. 1–4.
KDDKDD-2008-WuLCC #learning
Asymmetric support vector machines: low false-positive learning under the user tolerance (SHW, KPL, CMC, MSC), pp. 749–757.
SIGIRSIGIR-2008-DongCL #distance #estimation #similarity #sketching
Asymmetric distance estimation with sketches for similarity search in high-dimensional spaces (WD, MC, KL), pp. 123–130.
SIGIRSIGIR-2008-WangLZD #analysis #matrix #multi #semantics #summary
Multi-document summarization via sentence-level semantic analysis and symmetric matrix factorization (DW, TL, SZ, CHQD), pp. 307–314.
CASECASE-2008-MitaniH #analysis #metric #using
Analysis of contact between feeder surface and microparts based on measurements for microparts feeder using an asymmetric surface (AM, SH), pp. 720–725.
DACDAC-2008-DargaSM #performance #using
Faster symmetry discovery using sparsity of symmetries (PTD, KAS, ILM), pp. 149–154.
DATEDATE-2008-ApostolakisGPP #functional #multi #self
Functional Self-Testing for Bus-Based Symmetric Multiprocessors (AA, DG, MP, AMP), pp. 1304–1309.
STOCSTOC-2008-Valiant #testing
Testing symmetric properties of distributions (PV), pp. 383–392.
TACASTACAS-2008-WahlBE #named #verification
SVISS: Symbolic Verification of Symmetric Systems (TW, NB, EAE), pp. 459–462.
LICSLICS-2008-DalmauL #datalog
Maltsev + Datalog --> Symmetric Datalog (VD, BL), pp. 297–306.
TLCATLCA-2007-Mazza #abstraction #combinator #interactive
Edifices and Full Abstraction for the Symmetric Interaction Combinators (DM), pp. 305–320.
ICMLICML-2007-LongZWY #clustering #relational
Relational clustering by symmetric convex coding (BL, Z(Z, XW, PSY), pp. 569–576.
ICMLICML-2007-Masnadi-ShiraziV
Asymmetric boosting (HMS, NV), pp. 609–619.
ESEC-FSEESEC-FSE-2007-PradellaMP #verification
The symmetry of the past and of the future: bi-infinite time in the verification of temporal properties (MP, AM, PSP), pp. 312–320.
CASECASE-2007-FogelBRSMG #automation #layout #modelling
Automated Tracking of Pallets in Warehouses: Beacon Layout and Asymmetric Ultrasound Observation Models (MF, NB, HR, JS, MQM, KG), pp. 678–685.
DACDAC-2007-LinL #novel
Analog Placement Based on Novel Symmetry-Island Formulation (MPHL, SCL), pp. 465–470.
DATEDATE-2007-GillPW #fault #interactive #power management
Interactive presentation: A new asymmetric SRAM cell to reduce soft errors and leakage power in FPGA (BSG, CAP, FGW), pp. 1460–1465.
DATEDATE-2007-HumenayTS #manycore #performance #process
Impact of process variations on multicore performance symmetry (EH, DT, KS), pp. 1653–1658.
DATEDATE-2007-RaghavanLJCVC #embedded #power management
Very wide register: an asymmetric register file organization for low power embedded processors (PR, AL, MJ, FC, DV, HC), pp. 1066–1071.
DATEDATE-2007-Wong #equation #performance #using
Fast positive-real balanced truncation of symmetric systems using cross Riccati equations (NW), pp. 1496–1501.
PDPPDP-2007-AlmeidaGB #analysis #clustering #multi #performance
Performance analysis for clusters of symmetric multiprocessors (FA, JAG, JMB), pp. 121–128.
CAVCAV-2007-Wahl #adaptation #reduction
Adaptive Symmetry Reduction (TW), pp. 393–405.
LICSLICS-2007-EgriLT #constraints #datalog #problem
Symmetric Datalog and Constraint Satisfaction Problems in Logspace (LE, BL, PT), pp. 193–202.
ICSTSAT-2007-LynceM #matrix #modelling #satisfiability
Breaking Symmetries in SAT Matrix Models (IL, JPMS), pp. 22–27.
VMCAIVMCAI-2007-Namjoshi #analysis
Symmetry and Completeness in the Analysis of Parameterized Systems (KSN), pp. 299–313.
CBSECBSE-2006-SuveeFV #approach #aspect-oriented #component #development #towards
A Symmetric and Unified Approach Towards Combining Aspect-Oriented and Component-Based Software Development (DS, BDF, WV), pp. 114–122.
FMFM-2006-DonaldsonM #approximate #model checking #reduction
Exact and Approximate Strategies for Symmetry Reduction in Model Checking (AFD, AM), pp. 541–556.
CoGCIG-2006-BryantM
Exploiting Sensor Symmetries in Example-based Training for Intelligent Agents (BDB, RM), pp. 90–97.
CHICHI-2006-LatulipeMKC #named
symSpline: symmetric two-handed spline manipulation (CL, SM, CSK, CLAC), pp. 349–358.
CIKMCIKM-2006-GollapudiP #topic
Exploiting asymmetry in hierarchical topic extraction (SG, RP), pp. 475–482.
ICPRICPR-v1-2006-LiuZH #detection
Fingerprint Reference Point Detection Based on Local Axial Symmetry (TL, CZ, PH), pp. 1050–1053.
ICPRICPR-v1-2006-LiYW #metric
Fingerprint Indexing Based On Symmetrical Measurement (JL, WYY, HW), pp. 1038–1041.
ICPRICPR-v1-2006-ZhouW
Symmetric Pixel-Group Based Stereo Matching for Occlusion Handling (XZ, RW), pp. 47–50.
ICPRICPR-v2-2006-CorneliusL #detection
Detecting Rotational Symmetry Under Affine Projection (HC, GL), pp. 292–295.
ICPRICPR-v2-2006-KoideY #kernel
Asymmetric kernel method and its application to Fisher’s discriminant (NK, YY), pp. 820–824.
ICPRICPR-v2-2006-KuijperOBG #2d #set #using
Matching 2D Shapes using their Symmetry Sets (AK, OFO, PB, PJG), pp. 179–182.
ICPRICPR-v2-2006-LahdenojaALP #parametricity
A Shape-Preserving Non-parametric Symmetry Transform (OL, EA, ML, AP), pp. 373–377.
ICPRICPR-v3-2006-BaiSW #algorithm #novel
A Novel Eye Location Algorithm based on Radial Symmetry Transform (LB, LS, YW), pp. 511–514.
ICPRICPR-v3-2006-PanWQW #3d
Finding Symmetry Plane of 3D Face Shape (GP, YW, YQ, ZW), pp. 1143–1146.
ICPRICPR-v3-2006-YeungS #framework #probability #set
Stochastic Framework for Symmetric Affine Matching between Point Sets (SKY, PS), pp. 790–793.
ICPRICPR-v4-2006-HeYTWX #image #matrix #novel #retrieval #using
Texture Image Retrieval Using Novel Non-separable Filter Banks Based on Centrally Symmetric Matrices (ZH, XY, YYT, PSPW, YX), pp. 161–164.
ICPRICPR-v4-2006-LefaucheurN #classification #multi #robust
Robust Multiclass Ensemble Classifiers via Symmetric Functions (PL, RN), pp. 136–139.
ICPRICPR-v4-2006-NagarC #design #fuzzy #using
Biometrics based Asymmetric Cryptosystem Design Using Modified Fuzzy Vault Scheme (AN, SC), pp. 537–540.
ICPRICPR-v4-2006-YuanYT #invariant
Perspective Symmetry Invariant and Its Applications (TY, SY, XT), pp. 65–68.
KDDKDD-2006-BiPOKFSR #classification #detection
Computer aided detection via asymmetric cascade of sparse hyperplane classifiers (JB, SP, KO, TK, GF, MS, RBR), pp. 837–844.
ICSEICSE-2006-WoollardM #architecture #parallel
An architectural style for high-performance asymmetrical parallel computations (DW, NM), pp. 857–860.
SACSAC-2006-JiangWC
Symmetry in event structures (JJ, JW, DC), pp. 1850–1851.
DACDAC-2006-Wang #detection
Exploiting K-Distance Signature for Boolean Matching and G-Symmetry Detection (KHW), pp. 516–521.
DACDAC-2006-ZhangMBC #detection #representation #satisfiability #scalability #simulation #using
Symmetry detection for large Boolean functions using circuit representation, simulation, and satisfiability (JSZ, AM, RKB, MCJ), pp. 510–515.
DATEDATE-2006-ChaiK #detection
Building a better Boolean matcher and symmetry detector (DC, AK), pp. 1079–1084.
DATEDATE-2006-Maurer #simulation #using
Using conjugate symmetries to enhance gate-level simulations (PMM), pp. 638–643.
PDPPDP-2006-Aguilar-SaboritMZZL #multi
Dynamic out of Core Join Processing in Symmetric Multiprocessors (JAS, VMM, CZ, AZ, JLLP), pp. 28–35.
CAVCAV-2006-KwiatkowskaNP #model checking #probability #reduction
Symmetry Reduction for Probabilistic Model Checking (MZK, GN, DP), pp. 234–248.
ICSTSAT-2006-SabharwalAGHS #modelling #performance
QBF Modeling: Exploiting Player Symmetry for Simplicity and Efficiency (AS, CA, CPG, JWH, BS), pp. 382–395.
ICALPICALP-2005-ChattopadhyayH #bound #composition
Lower Bounds for Circuits with Few Modular and Symmetric Gates (AC, KAH), pp. 994–1005.
FMFM-2005-DonaldsonM #automation #detection #model checking #using
Automatic Symmetry Detection for Model Checking Using Computational Group Theory (AFD, AM), pp. 481–496.
TLCATLCA-2005-DavidN #normalisation #proving #λ-calculus #μ-calculus
Arithmetical Proofs of Strong Normalization Results for the Symmetric λμ-Calculus (RD, KN), pp. 162–178.
CoGCIG-2005-CerrutiGM #framework #game studies
A New Framework to Analyze Evolutionary 2 x 2 Symmetric Games (UC, MG, UM).
CoGCIG-2005-TogeliusL #composition #game studies
Forcing Neurocontrollers to Exploit Sensory Symmetry Through Hard-wired Modularity in the Game of Cellz (JT, SML).
ICMLICML-2005-WuMR #classification #detection #linear
Linear Asymmetric Classifier for cascade detectors (JW, MDM, JMR), pp. 988–995.
SACSAC-2005-ChoC #database #image #recognition #using
Contour-based partial object recognition using symmetry in image databases (JSC, JC), pp. 1190–1194.
SACSAC-2005-LawL #constraints #matrix #modelling #using
Breaking value symmetries in matrix models using channeling constraints (YCL, JHML), pp. 371–376.
DATEDATE-2005-HungBK #multi #programmable
Symmetric Multiprocessing on Programmable Chips Made Easy (AH, WDB, AAK), pp. 240–245.
HPCAHPCA-2005-ZhangGYZG #memory management #multi #named #security
SENSS: Security Enhancement to Symmetric Shared Memory Multiprocessors (YZ, LG, JY, XZ, RG), pp. 352–362.
TACASTACAS-2005-EmersonW #reduction
Dynamic Symmetry Reduction (EAE, TW), pp. 382–396.
CAVCAV-2005-TangMGI #model checking #reduction #satisfiability
Symmetry Reduction in SAT-Based Model Checking (DT, SM, AG, CNI), pp. 125–138.
VLDBVLDB-2004-RossS #bound #database #multi
Symmetric Relations and Cardinality-Bounded Multisets in Database Systems (KAR, JS), pp. 912–923.
CIAACIAA-2004-Zijl #difference
Magic Numbers for Symmetric Difference NFAs (LvZ), pp. 333–334.
CSCWCSCW-2004-KethersHW #case study #research
Remote meetings between farmers and researchers: a case study on asymmetry (SK, DMGH, RW), pp. 624–627.
ICPRICPR-v2-2004-FlusserZ #invariant
Invariants to Convolution with Circularly Symmetric PSF (JF, BZ), pp. 11–14.
ICPRICPR-v2-2004-KampelS #3d #on the
On 3D Mosaicing of Rotationally Symmetric Ceramic Fragments (MK, RS), pp. 265–268.
ICPRICPR-v2-2004-TakiS #3d #re-engineering
3D Reconstruction and Virtual Forming in Rotationally Symmetric Space (MT, JS), pp. 261–264.
ICPRICPR-v3-2004-KellerS #algebra #approach #detection
An Algebraic Approach to Symmetry Detection (YK, YS), pp. 186–189.
ICPRICPR-v3-2004-KuijperO #set
Transitions of the Pre-Symmetry Set (AK, OFO), pp. 190–193.
ICPRICPR-v4-2004-RosinM
A Symmetric Convexity Measure (PLR, CLM), pp. 11–14.
ICPRICPR-v4-2004-WillisC #3d #dataset #multi
Alignment of Multiple Non-Overlapping Axially Symmetric 3D Datasets (ARW, DBC), pp. 96–99.
DACDAC-2004-DargaLSM #detection
Exploiting structure in symmetry detection for CNF (PTD, MHL, KAS, ILM), pp. 530–534.
DACDAC-2004-WangC #detection
Symmetry detection for incompletely specified functions (KHW, JHC), pp. 434–437.
DATEDATE-v1-2004-RamaniAMS #graph #independence
Breaking Instance-Independent Symmetries in Exact Graph Coloring (AR, FAA, ILM, KAS), pp. 324–331.
STOCSTOC-2004-ChuzhoyGHKKN #approximate
Asymmetric k-center is log* n-hard to approximate (JC, SG, EH, SK, GK, JN), pp. 21–27.
LICSLICS-2004-VIICHP #distributed #λ-calculus
A Symmetric Modal λ Calculus for Distributed Computing (TMV, KC, RH, FP), pp. 286–295.
ICALPICALP-2003-Blaser #algorithm #approximate #difference
An Improved Approximation Algorithm for the Asymmetric TSP with Strengthened Triangle Inequality (MB), pp. 157–163.
SIGIRSIGIR-2003-Bennett #classification #probability #using
Using asymmetric distributions to improve text classifier probability estimates (PNB), pp. 111–118.
DACDAC-2003-AloulMS #named #performance #satisfiability
Shatter: efficient symmetry-breaking for boolean satisfiability (FAA, ILM, KAS), pp. 836–839.
CSLCSL-2003-DawarR #fixpoint #logic
A Fixed-Point Logic with Symmetric Choice (AD, DR), pp. 169–182.
VMCAIVMCAI-2003-Sistla #model checking #reduction
Symmetry Reductions in Model-Checking (APS), p. 25.
ICALPICALP-2002-JakobyL #problem
Paths Problems in Symmetric Logarithmic Space (AJ, ML), pp. 269–280.
ICGTICGT-2002-BauderonC #graph
Decomposing Graphs with Symmetries (MB, FC), pp. 45–59.
CHICHI-2002-Chen
Leveraging the asymmetric sensitivity of eye contact for videoconference (MC), pp. 49–56.
ICPRICPR-v1-2002-Hayfron-AcquahNC #identification
Human Identification by Spatio-Temporal Symmetry (JBHA, MSN, JNC), pp. 632–635.
ICPRICPR-v1-2002-KovalevKC #3d #analysis #image
Structural Brain Asymmetry as Revealed by 3D Texture Analysis of Anatomical MR Images (VAK, FK, DYvC), p. 808–?.
ICPRICPR-v1-2002-TuzikovCB #image #optimisation #using
Brain Symmetry Plane Computation in MR Images Using Inertia Axes and Optimization (AVT, OC, IB), pp. 516–519.
ICPRICPR-v2-2002-MaWT #recognition #using
Iris Recognition Using Circular Symmetric Filters (LM, YW, TT), pp. 414–417.
ICPRICPR-v3-2002-HontaniSKA #feature model #image
Vibratory Image Feature Extraction Based on Local Log-Polar Symmetry (HH, JS, AK, SA), pp. 839–842.
ICPRICPR-v3-2002-NilssonB #image
Prominent Symmetry Points as Landmarks in Finger Print Images for Alignment (KN, JB), pp. 395–398.
ICPRICPR-v4-2002-FrancoisMW #geometry #using
Reconstructing Mirror Symmetric Scenes From a Single View Using 2-View Stereo Geometry (ARJF, GGM, RW), pp. 12–16.
DACDAC-2002-AloulRMS #satisfiability
Solving difficult SAT instances in the presence of symmetry (FAA, AR, ILM, KAS), pp. 731–736.
DACDAC-2002-BernasconiCLP #logic #performance
Fast three-level logic minimization based on autosymmetry (AB, VC, FL, LP), pp. 425–430.
DACDAC-2002-ZhengP #analysis #modelling #network
Modeling and analysis of regular symmetrically structured power/ground distribution networks (HZ, LTP), pp. 395–398.
DATEDATE-2002-GoldbergPB #algorithm #problem #satisfiability #using
Using Problem Symmetry in Search Based Satisfiability Algorithms (EIG, MRP, RKB), pp. 134–141.
STOCSTOC-2002-MeshulamW
Expanders from symmetric codes (RM, AW), pp. 669–677.
CADECADE-2002-AudemardB #finite #generative #reasoning
Reasoning by Symmetry and Function Ordering in Finite Model Generation (GA, BB), pp. 226–240.
CADECADE-2002-Tour #heuristic
A Note on Symmetry Heuristics in SEM (TBdlT), pp. 181–194.
CAVCAV-2002-BarnerG #approximate #model checking #reduction
Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking (SB, OG), pp. 93–106.
SATSAT-2002-AloulRMS #satisfiability
Solving difficult SAT instances in the presence of symmetry (FAA, AR, IM, KS), p. 23.
SATSAT-2002-LiJP
Integrating symmetry breaking into a DLL procedure (CML, BJ, PWP), p. 18.
FMFME-2001-BosnackiDH #heuristic #reduction
A Heuristic for Symmetry Reductions with Scalarsets (DB, DD, LH), pp. 518–533.
CIKMCIKM-2001-KrishnaK #algorithm #clustering #mining
A Clustering Algorithm for Asymmetrically Related Data with Applications to Text Mining (KK, RK), pp. 571–573.
ICMLICML-2001-ZinkevichB #learning #markov #multi #process
Symmetry in Markov Decision Processes and its Implications for Single Agent and Multiagent Learning (MZ, TRB), p. 632–?.
ASEASE-2001-Iosif #model checking
Exploiting Heap Symmetries in Explicit-State Model Checking of Software (RI), pp. 254–261.
SACSAC-2001-Zhang #automation #satisfiability
Automatic symmetry breaking method combined with SAT (JZ0), pp. 17–21.
DACDAC-2001-KarriWMK #concurrent #detection #fault
Concurrent Error Detection of Fault-Based Side-Channel Cryptanalysis of 128-Bit Symmetric Block Ciphers (RK, KW, PM, YK), pp. 579–585.
DATEDATE-2001-ChangHM #functional #optimisation #using
In-place delay constrained power optimization using functional symmetries (CWJC, BH, MMS), pp. 377–382.
FoSSaCSFoSSaCS-2001-AbadiB #communication
Secrecy Types for Asymmetric Communication (MA, BB), pp. 25–41.
CAVCAV-2001-SistlaG #model checking
Symmetry and Reduced Symmetry in Model Checking (APS, PG), pp. 91–103.
ICSTSAT-2001-Shlyakhter #effectiveness #generative #problem
Generating effective symmetry-breaking predicates for search problems (IS), pp. 19–35.
CHICHI-2000-BalakrishnanH #interactive
Symmetric bimanual interaction (RB, KH), pp. 33–40.
ICPRICPR-v1-2000-FaselL #process #recognition
Recognition of Asymmetric Facial Action Unit Activities and Intensities (BF, JL), pp. 5100–5103.
ICPRICPR-v2-2000-FischerBB #database #image
Symmetry Based Indexing of Diatoms in an Image Database (SF, MB, HB), pp. 2895–2898.
ICPRICPR-v3-2000-JohanssonKG #detection #normalisation #using
Detecting Rotational Symmetries Using Normalized Convolution (BJ, HK, GHG), pp. 3500–3504.
ICPRICPR-v3-2000-LuM #analysis
Computer Analysis of Rotational Symmetry in CBED Patterns (QY, HL, SM), pp. 3754–3757.
ICPRICPR-v3-2000-ShenIT00a #2d #image #novel #theorem
A Novel Theorem on Symmetries of 2D Images (DS, HHSI, EKT), pp. 7014–7017.
ICPRICPR-v3-2000-ShenIT00b #detection #robust
Robust Detection of Skewed Symmetries (DS, HHSI, EKT), pp. 7022–7025.
OOPSLAOOPSLA-2000-CliftonLCM #composition #java #multi #named
MultiJava: modular open classes and symmetric multiple dispatch for Java (CC, GTL, CC, TDM), pp. 130–145.
GPCEGCSE-2000-CoplienZ #design pattern
Symmetry Breaking in Software Patterns (JC, LZ), pp. 37–56.
PPDPPPDP-2000-GiacobazziM #semantics
A characterization of symmetric semantics by domain complementation (RG, IM), pp. 115–126.
PPDPPPDP-2000-HylandP #sketching
Symmetric monoidal sketches (MH, JP), pp. 280–288.
SACSAC-2000-KloseKST #classification #fault
Controlling Asymmetric Errors in Neuro-Fuzzy Classification (AK, RK, KS, UT), pp. 505–509.
ASPLOSASPLOS-2000-BurkeMA #architecture #encryption #performance
Architectural Support for Fast Symmetric-Key Cryptography (JB, JM, TMA), pp. 178–189.
DACDAC-2000-ChangCSM #detection #functional #performance #using
Fast post-placement rewiring using easily detectable functional symmetries (CWJC, CKC, PS, MMS), pp. 286–289.
DACDAC-2000-PangBLC #constraints #representation
Block placement with symmetry constraints based on the O-tree non-slicing representation (YP, FB, KL, CKC), pp. 464–467.
DATEDATE-2000-KravetsS #synthesis #using
Constructive Library-Aware Synthesis Using Symmetries (VNK, KAS), pp. 208–213.
OSDIOSDI-2000-ChandraAGS #algorithm #cpu #multi #scheduling
Surplus Fair Scheduling: A Proportional-Share CPU Scheduling Algorithm for Symmetric Multiprocessors (AC, MA, PG, PJS), pp. 45–58.
STOCSTOC-2000-Fortune #integer #matrix
Exact computations of the inertia symmetric integer matrices (SF), pp. 556–564.
TACASTACAS-2000-Schmidt #analysis #low level #reachability
Integrating Low Level Symmetries into Reachability Analysis (KS0), pp. 315–330.
CAVCAV-2000-Pnueli #abstraction #composition #deduction #explosion
Keynote Address: Abstraction, Composition, Symmetry, and a Little Deduction: The Remedies to State Explosion (AP), p. 1.
LICSLICS-2000-EmersonHT #reduction
Virtual Symmetry Reduction (EAE, JH, RJT), pp. 121–131.
FMFM-v1-1999-BuchiB #composition
Compositional Symmetric Sharing in B (MB, RJB), pp. 431–451.
RTARTA-1999-Gobel #performance
Fast Rewriting of Symmetric Polynomials (MG), pp. 371–381.
DATEDATE-1999-EijkJMT #algorithm #identification
Identification and Exploitation of Symmetries in DSP Algorithms (CAJvE, ETAFJ, BM, AHT), pp. 602–608.
DATEDATE-1999-HellebrandWY
Symmetric Transparent BIST for RAMs (SH, HJW, VNY), pp. 702–707.
STOCSTOC-1999-DinitzMR #complexity
Bit Complexity of Breaking and Achieving Symmetry in Chains and Rings (YD, SM, SR), pp. 265–274.
STOCSTOC-1999-Indyk99a #combinator #design
Inerpolation of Symmetric Functions and a New Type of Combinatorial Design (PI), pp. 736–740.
CSLCSL-1999-CompagnoniG #higher-order #type system
Anti-Symmetry of Higher-Order Subtyping (ABC, HG), pp. 420–438.
ICPRICPR-1998-CheungI #detection #using
Symmetry detection using complex moments (KKTC, HHSI), pp. 1473–1475.
ICPRICPR-1998-HattoriMS #image #using
Estimating pose of human face based on symmetry plane using range and intensity images (KH, SM, YS), pp. 1183–1187.
ICPRICPR-1998-LeiW #detection #novel
A novel method for detecting and localising of reflectional and rotational symmetry under weak perspective projection (YL, KCW), pp. 417–419.
ICPRICPR-1998-LiuGY
Segmenting by seeking the symmetry axis (TLL, DG, ALY), pp. 994–998.
HPDCHPDC-1998-RoyC #clustering #distributed #memory management #multi #named #string
Strings: A High-Performance Distributed Shared Memory for Symmetrical Multiprocessor Clusters (SR, VC), pp. 90–97.
PDPPDP-1998-BadiaV #divide and conquer #parallel #problem
Exploiting the parallel divide-and-conquer method to solve the symmetric tridiagonal eigenproblem (JMB, AMV), pp. 13–19.
PDPPDP-1998-RoyoVG #2d #algorithm
A Jacobi-based algorithm for computing symmetric eigenvalues and eigenvectors in a two-dimensional mesh (DR, MVG, AG), pp. 463–469.
FoSSaCSFoSSaCS-1998-BaldanCM #semantics
An Event Structure Semantics for P/T Contextual Nets: Asymmetric Event Structures (PB, AC, UM), pp. 63–80.
TACASTACAS-1998-AjamiHI #linear #logic #model checking
Exploiting Symmetry in Linear Time Temporal Logic Model Checking: One Step Beyond (KA, SH, JMI), pp. 52–67.
CAVCAV-1998-ClarkeEJS #model checking #reduction
Symmetry Reductions inModel Checking (EMC, EAE, SJ, APS), pp. 147–158.
CAVCAV-1998-MankuHB #model checking
Structural Symmetry and Model Checking (GSM, RH, RKB), pp. 159–171.
LICSLICS-1998-ParrowV #calculus #mobile #process
The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes (JP, BV), pp. 176–185.
ICDARICDAR-1997-RochaB
Singularities and Regularities on Line Pictures via Symmetrical Trapezoids (JR, RB), pp. 809–812.
VLDBVLDB-1997-HumborstadSHT #algorithm
1-Safe Algorithms for Symmetric Site Configurations (RH, MS, SOH, ØT), pp. 316–325.
ICALPICALP-1997-GarganoHP
Colouring Paths in Directed Symmetric Trees with Applications to WDM Routing (LG, PH, SP), pp. 505–515.
HCIHCI-CC-1997-AndoNF #collaboration
An Information Kiosk with Asymmetric Collaboration (FA, AN, YF), pp. 591–594.
HCIHCI-CC-1997-TanakaMTKY #distributed
Tele-Consultation System Supporting Asymmetrical Communications Between Customers and Expert Staff in Distributed Environment (TT, HM, HT, HK, HY), pp. 27–30.
HCIHCI-SEC-1997-NakajimaAF #interactive #lightweight
Transformation of Human-to-Human Interaction into Asymmetric and Lightweight Computer-Mediated Interaction (AN, FA, YF), pp. 307–310.
DATEEDTC-1997-SchollMHM
Minimizing ROBDD sizes of incompletely specified Boolean functionsby exploiting strong symmetries (CS, SM, GH, PM), pp. 229–234.
STOCSTOC-1997-Beals #fourier #quantum
Quantum Computation of Fourier Transforms over Symmetric Groups (RB), pp. 48–53.
TACASTACAS-1997-EmersonJP #partial order #reduction
Combining Partial Order and Symmetry Reductions (EAE, SJ, DP), pp. 19–34.
CAVCAV-1997-GyurisS #model checking #on the fly
On-the-Fly Model Checking Under Fairness That Exploits Symmetry (VG, APS), pp. 232–243.
CAVCAV-1997-PandeyB #evaluation #verification
Exploiting Symmetry When Verifying Transitor-Level Circuits by Symbolic Trajectory Evaluation (MP, REB), pp. 244–255.
CAVCAV-1997-SistlaMG #liveness #model checking #named #verification
SMC: A Symmetry Based Model Checker for Verification of Liveness Properties (APS, LM, VG), pp. 464–467.
ICALPICALP-1996-YuY #problem
Agent Rendezvous: A Dynamic Symmetry-Breaking Problem (XY, MY), pp. 610–621.
ICPRICPR-1996-ChenY #using #visual notation
Thinning noisy binary patterns using human visual symmetry (YSC, YTY), pp. 146–150.
ICPRICPR-1996-GimelfarbMGGMO
Digital photogrammetric station “Delta” and symmetric intensity-based stereo (GLG, VIM, VBG, MVG, BOM, SVO), pp. 979–983.
ICPRICPR-1996-GofmanK #approach #detection #image #optimisation
Detecting symmetry in grey level images: the global optimization approach (YG, NK), pp. 889–894.
ICPRICPR-1996-NishimuraT #approach
Active shape inferring based on the symmetry in stable poses-shape from function approach (KN, HTT), pp. 136–140.
ICPRICPR-1996-PeiH #approach
A moment-based approach for deskewing rotationally symmetric shapes (SCP, JHH), pp. 248–252.
ICPRICPR-1996-PeiH96a #algorithm #complexity #detection
A low complexity algorithm for detecting rotational symmetry based on the Hough transform technique (SCP, JHH), pp. 492–496.
ICPRICPR-1996-SaberT #cost analysis #detection #feature model #using
Face detection and facial feature extraction using color, shape and symmetry-based cost functions (ES, AMT), pp. 654–658.
ICPRICPR-1996-TuzikovMH #performance
Efficient computation of a reflection symmetry measure for convex polygons based on Minkowski addition (AVT, GLM, HJAMH), pp. 236–240.
KRKR-1996-CrawfordGLR #problem
Symmetry-Breaking Predicates for Search Problems (JMC, MLG, EML, AR), pp. 148–159.
PDPPDP-1996-GimenezGHV
Exploiting the Symmetry on the Jacobi Method on a Mesh of Processors (DG, RAvdG, VH, AMV), pp. 377–384.
PDPPDP-1996-Vernier-Mounier #parallel #source code #symbolic computation
Symbolic Executions of Symmetrical Parallel Programs (IVM), pp. 327–335.
CADECADE-1996-Tour #semantics
Ground Resolution with Group Computations on Semantic Symmetries (TBdlT), pp. 478–492.
SIGMODSIGMOD-1995-AcharyaAFZ #data transformation
Broadcast Disks: Data Management for Asymmetric Communications Environments (SA, RA, MJF, SBZ), pp. 199–210.
PDPPDP-1995-BadiaV #matrix #multi #performance #problem
Efficient solution of the eigenproblem of banded symmetric Toeplitz matrices on multicomputers (JMB, AMV), pp. 416–423.
PDPPDP-1995-Ralha #algorithm #matrix #parallel
Parallel QR algorithm for the complete eigensystem of symmetric matrices (RMSR), pp. 480–485.
STOCSTOC-1995-MiltersenNSW #communication #complexity #data type #on the
On data structures and asymmetric communication complexity (PBM, NN, SS, AW), pp. 103–111.
STOCSTOC-1995-NisanT
Symmetric logspace is closed under complement (NN, ATS), pp. 140–146.
TAPSOFTTAPSOFT-1995-Sangiorgi #calculus #named
Pi-I: A Symmetric Calculus Based on Internal Mobility (DS), pp. 172–186.
CAVCAV-1995-EmersonS #approach #model checking
Utilizing Symmetry when Model Checking under Fairness Assumptions: An Automata-theoretic Approach (EAE, APS), pp. 309–324.
SIGMODSIGMOD-1994-DanielsDDEHJJLSSS #design #replication
Oracle’s Symmetric Replication Technology and Implications for Application Design (DD, LBD, AD, CE, GH, SJ, BJ, PL, GS, BS, JS), p. 467.
STOCSTOC-1994-AwerbuchCS #distributed #performance
Efficient asynchronous distributed symmetry breaking (BA, LC, MAS), pp. 214–223.
STOCSTOC-1994-SahinalpV
Symmetry breaking for suffix tree construction (SCS, UV), pp. 300–309.
VLDBVLDB-1993-ShekitaYT #multi #optimisation
Multi-Join Optimization for Symmetric Multiprocessors (EJS, HCY, KLT), pp. 479–492.
PDPPDP-1993-StuartW #algorithm #array #matrix #parallel #scalability #set #using
An algorithm far the parallel computation of subsets of eigenvalues and associated eigenvectors of large symmetric matrices using an array processor (EJS, JSW), pp. 211–217.
TAPSOFTTAPSOFT-1993-Trier
(Un)expected Path Lengths of Asymmetric Binary Search Trees (UT), pp. 702–716.
CAVCAV-1993-ClarkeFJ #logic #model checking
Exploiting Symmetry In Temporal Logic Model Checking (EMC, TF, SJ), pp. 450–462.
CAVCAV-1993-EmersonS #model checking
Symmetry and Model Checking (EAE, APS), pp. 463–478.
STOCSTOC-1992-BabaiBT #complexity
Symmetry and Complexity (LB, RB, PTN), pp. 438–449.
STOCSTOC-1992-MayerOOY #self
Self-Stabilizing Symmetry Breaking in Constant-Space (AJM, YO, RO, MY), pp. 667–678.
STOCSTOC-1992-Paturi #approximate #on the
On the Degree of Polynomials that Approximate Symmetric Boolean Functions (RP), pp. 468–474.
CADECADE-1992-BenhamouS #calculus
Theoretical Study of Symmetries in Propositional Calculus and Applications (BB, LS), pp. 281–294.
POPLPOPL-1991-HarperP #calculus
A Record Calculus Based on Symmetric Concatenation (RH, BCP), pp. 131–142.
ICALPICALP-1990-PrasadGM #algebra #concurrent #functional #integration #programming #semantics
Operational and Algebraic Semantics for Facile: A Symmetric Integration of Concurrent and Functional Programming (SP, AG, PM), pp. 765–778.
STOCSTOC-1990-Szegedy #bound #communication #complexity
Functions with Bounded Symmetric Communication Complexity and Circuits with mod m Gates (MS), pp. 278–286.
CADECADE-1990-PfenningN #deduction
Presenting Intuitive Deductions via Symmetric Simplification (FP, DN), pp. 336–350.
ICLPNACLP-1990-LeviMP
Failure and Success made Symmetric (GL, MM, CP), pp. 3–22.
TAPSOFTCCIPL-1989-GiacaloneMP #concurrent #functional #integration #named #programming
FACILE: A Symmetric Integration of Concurrent and Functional Programming (AG, PM, SP), pp. 184–209.
ICALPICALP-1987-LiY #complexity #parallel #probability
The Probabilistic and Deterministic Parallel Complexity of Symmetric Functions (ML, YY), pp. 326–335.
PLDIPLDI-1987-GelernterJL #interpreter #lisp #parallel #persistent
Parallelism, persistence and meta-cleanliness in the symmetric Lisp interpreter (DG, SJ, TL), pp. 274–282.
STOCSTOC-1987-GoldbergPS #graph #parallel
Parallel Symmetry-Breaking in Sparse Graphs (AVG, SAP, GES), pp. 315–324.
SIGMODSIGMOD-1986-ChrstodoulakisHT #approach #multi
The Multimedia Object Presentation Manager of MINOS: A Symmetric Approach (SC, FH, MT), pp. 295–310.
STOCSTOC-1985-Huynh #commutative #complexity #equivalence #problem
The Complexity of the Equivalence Problem for Commutative Semigroups and Symmetric Vector Addition Systems (DTH), pp. 405–412.
ICLPILPC-1984-Johansson84 #logic programming #source code #using
Using Symmetry for the Derivation of Logic Programs (ALJ), pp. 243–251.
ICALPICALP-1983-CohenLP #distributed #problem
Symmetric and Economical Solutions to the Mutual Exclusion Problem in a Distributed System (SC, DJL, AP), pp. 128–136.
SOSPSOSP-1983-Black #communication
An Asymmetric Stream Communication System (APB), pp. 4–10.
STOCSTOC-1982-Reif
Symmetric Complementation (JHR), pp. 201–214.
POPLPOPL-1981-LehmannR #distributed #on the #problem
On the Advantages of Free Choice: A Symmetric and Fully Distributed Solution to the Dining Philosophers Problem (DJL, MOR), pp. 133–138.
ICALPICALP-1980-LewisP #bound
Symmetric Space-Bounded Computation (HRL, CHP), pp. 374–384.
ICALPICALP-1978-Schnorr #multi #network
Multiterminal Network Flow and Connectivity in Unsymmetrical Networks (CPS), pp. 425–439.
LISPLISP-1963-Dulock #algebra #lisp
LISP. Applications to Symmetric group, Dirac groups and Lie algebras (VD), p. 1.

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.