BibSLEIGH — symmetry tag

symmetry

symmetry

Tag #symmetry

386 papers:

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