Stem symmetri$ (all stems)

132 papers:

LATA-2015-UlyantsevZS #automaton #identification #symmetry

BFS-Based Symmetry Breaking Predicates for DFA Identification (VU, IZ, AS), pp. 611–622.

SAC-2015-BourdilBDV #petri net #symmetry

Symmetry reduced state classes for time petri nets (PAB, BB, SDZ, FV), pp. 1751–1758.

CADE-2015-HeuleHW #proving #symmetry

Expressing Symmetry Breaking in DRAT Proofs (MH, WAHJ, NW), pp. 591–606.

CAV-2015-AlurRSTU #automation #distributed #protocol #symmetry

Automatic Completion of Distributed Protocols with Symmetry (RA, MR, CS, ST, AU), pp. 395–412.

LICS-2015-Pitts #symmetry #tutorial

Names and Symmetry in Computer Science (Invited Tutorial) (AMP), pp. 21–22.

DATE-2014-Maurer #algorithm #detection #symmetry

A universal symmetry detection algorithm (PMM), pp. 1–4.

KDIR-2014-BenhamouJSS #mining #symmetry

Symmetry Breaking in Itemset Mining (BB, SJ, LS, YS), pp. 86–96.

LICS-CSL-2014-CastellanCW #concurrent #game studies #symmetry

Symmetry in concurrent games (SC, PC, GW), p. 10.

ASE-2013-Zhang0SLMD #automation #constraints #detection #symmetry

Constraint-based automatic symmetry detection (SJZ, JS, CS, YL, JM, JSD), pp. 15–25.

LICS-2013-Otto #finite #modelling #symmetry

Groupoids, Hypergraphs, and Symmetries in Finite Models (MO), pp. 53–62.

VMCAI-2013-NamjoshiT #network #process #symmetry

Uncovering Symmetries in Irregular Process Networks (KSN, RJT), pp. 496–514.

ICPR-2012-AskKA #equation #performance #polynomial #symmetry

Exploiting p-fold symmetries for faster polynomial equation solving (EA, YK, KÅ), pp. 3232–3235.

ICPR-2012-PhanST #detection #symmetry #using

Text detection in natural scenes using Gradient Vector Flow-Guided symmetry (TQP, PS, CLT), pp. 3296–3299.

ICPR-2012-XiangL #detection #symmetry

Symmetric object detection based on symmetry and centripetal-SIFT edge descriptor (YX, SL), pp. 1403–1406.

CAV-2012-ChuJ #reduction #safety #symmetry #verification

A Complete Method for Symmetry Reduction in Safety Verification (DHC, JJ), pp. 616–633.

VMCAI-2012-NamjoshiT #composition #symmetry #verification

Local Symmetry and Compositional Verification (KSN, RJT), pp. 348–362.

CASE-2011-FantiSU #constraints #problem #scheduling #symmetry #using

Solving scheduling problems in distribution centers using symmetry breaking constraints (MPF, GS, WU), pp. 58–65.

AFL-2011-Egri-NagyN #automaton #symmetry

Symmetries of Automata (AEN, CLN), p. 391.

CHI-2011-ChiuLC #documentation #gesture #modelling #multi #symmetry

Multi-touch document folding: gesture models, fold directions and symmetries (PC, CL, FC), pp. 1591–1600.

CADE-2011-DeharbeFMP #problem #smt #symmetry

Exploiting Symmetry in SMT Problems (DD, PF, SM, BWP), pp. 222–236.

CAV-2011-DonaldsonKKW #abstraction #concurrent #source code #symmetry

Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs (AFD, AK, DK, TW), pp. 356–371.

ICPR-2010-KootstraBK #segmentation #symmetry #using

Using Symmetry to Select Fixation Points for Segmentation (GK, NB, DK), pp. 3894–3897.

ICPR-2010-ShivakumaraDTP #classification #proximity #symmetry #video

A New Symmetry Based on Proximity of Wavelet-Moments for Text Frame Classification in Video (PS, AD, CLT, UP), pp. 129–132.

LICS-2010-StatonW #on the #symmetry

On the Expressivity of Symmetry in Event Structures (SS, GW), pp. 392–401.

SAT-2010-KatebiSM #satisfiability #symmetry

Symmetry and Satisfiability: An Update (HK, KAS, ILM), pp. 113–127.

LATA-2009-MatobaNT #bias #performance #symmetry

Efficiency of the Symmetry Bias in Grammar Acquisition (RM, MN, ST), pp. 566–577.

SAT-2009-SchaafsmaHM #simulation #symmetry

Dynamic Symmetry Breaking by Simulating Zykov Contraction (BS, MH, HvM), pp. 223–236.

VMCAI-2009-TreflerW #architecture #reduction #symmetry

Extending Symmetry Reduction by Exploiting System Architecture (RJT, TW), pp. 320–334.

DAC-2008-DargaSM #performance #symmetry #using

Faster symmetry discovery using sparsity of symmetries (PTD, KAS, ILM), pp. 149–154.

ICALP-A-2008-PemmarajuS #random #symmetry

The Randomized Coloring Procedure with Symmetry-Breaking (SVP, AS), pp. 306–319.

ICML-2008-NarayanamurthyR #markov #on the #process #symmetry

On the hardness of finding symmetries in Markov decision processes (SMN, BR), pp. 688–695.

ICPR-2008-BitsakosYYF #symmetry

Bilateral symmetry of object silhouettes under perspective projection (KB, HY, LY, CF), pp. 1–4.

ICPR-2008-SahaB #clustering #multi #symmetry #using

A new multiobjective simulated annealing based clustering technique using stability and symmetry (SS, SB), pp. 1–4.

DAC-2007-LinL #novel #symmetry

Analog Placement Based on Novel Symmetry-Island Formulation (MPHL, SCL), pp. 465–470.

DATE-2007-HumenayTS #manycore #performance #process #symmetry

Impact of process variations on multicore performance symmetry (EH, DT, KS), pp. 1653–1658.

ESEC-FSE-2007-PradellaMP #symmetry #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.

CAV-2007-Wahl #adaptation #reduction #symmetry

Adaptive Symmetry Reduction (TW), pp. 393–405.

SAT-2007-LynceM #matrix #modelling #satisfiability #symmetry

Breaking Symmetries in SAT Matrix Models (IL, JPMS), pp. 22–27.

VMCAI-2007-Namjoshi #analysis #symmetry

Symmetry and Completeness in the Analysis of Parameterized Systems (KSN), pp. 299–313.

DAC-2006-Wang #detection #symmetry

Exploiting K-Distance Signature for Boolean Matching and G-Symmetry Detection (KHW), pp. 516–521.

DAC-2006-ZhangMBC #detection #representation #satisfiability #scalability #simulation #symmetry #using

Symmetry detection for large Boolean functions using circuit representation, simulation, and satisfiability (JSZ, AM, RKB, MCJ), pp. 510–515.

DATE-2006-ChaiK #detection #symmetry

Building a better Boolean matcher and symmetry detector (DC, AK), pp. 1079–1084.

DATE-2006-Maurer #simulation #symmetry #using

Using conjugate symmetries to enhance gate-level simulations (PMM), pp. 638–643.

FM-2006-DonaldsonM #approximate #model checking #reduction #symmetry

Exact and Approximate Strategies for Symmetry Reduction in Model Checking (AFD, AM), pp. 541–556.

ICPR-v1-2006-LiuZH #detection #symmetry

Fingerprint Reference Point Detection Based on Local Axial Symmetry (TL, CZ, PH), pp. 1050–1053.

ICPR-v2-2006-CorneliusL #detection #symmetry

Detecting Rotational Symmetry Under Affine Projection (HC, GL), pp. 292–295.

ICPR-v2-2006-KuijperOBG #2d #set #symmetry #using

Matching 2D Shapes using their Symmetry Sets (AK, OFO, PB, PJG), pp. 179–182.

ICPR-v2-2006-LahdenojaALP #parametricity #symmetry

A Shape-Preserving Non-parametric Symmetry Transform (OL, EA, ML, AP), pp. 373–377.

ICPR-v3-2006-BaiSW #algorithm #novel #symmetry

A Novel Eye Location Algorithm based on Radial Symmetry Transform (LB, LS, YW), pp. 511–514.

ICPR-v3-2006-PanWQW #3d #symmetry

Finding Symmetry Plane of 3D Face Shape (GP, YW, YQ, ZW), pp. 1143–1146.

ICPR-v4-2006-YuanYT #invariant #symmetry

Perspective Symmetry Invariant and Its Applications (TY, SY, XT), pp. 65–68.

SAC-2006-JiangWC #symmetry

Symmetry in event structures (JJ, JW, DC), pp. 1850–1851.

CAV-2006-KwiatkowskaNP #model checking #probability #reduction #symmetry

Symmetry Reduction for Probabilistic Model Checking (MZK, GN, DP), pp. 234–248.

SAT-2006-SabharwalAGHS #modelling #performance #symmetry

QBF Modeling: Exploiting Player Symmetry for Simplicity and Efficiency (AS, CA, CPG, JWH, BS), pp. 382–395.

TACAS-2005-EmersonW #reduction #symmetry

Dynamic Symmetry Reduction (EAE, TW), pp. 382–396.

FM-2005-DonaldsonM #automation #detection #model checking #symmetry #using

Automatic Symmetry Detection for Model Checking Using Computational Group Theory (AFD, AM), pp. 481–496.

SAC-2005-ChoC #database #image #recognition #symmetry #using

Contour-based partial object recognition using symmetry in image databases (JSC, JC), pp. 1190–1194.

SAC-2005-LawL #constraints #matrix #modelling #symmetry #using

Breaking value symmetries in matrix models using channeling constraints (YCL, JHML), pp. 371–376.

CAV-2005-TangMGI #model checking #reduction #satisfiability #symmetry

Symmetry Reduction in SAT-Based Model Checking (DT, SM, AG, CNI), pp. 125–138.

DAC-2004-DargaLSM #detection #symmetry

Exploiting structure in symmetry detection for CNF (PTD, MHL, KAS, ILM), pp. 530–534.

DAC-2004-WangC #detection #symmetry

Symmetry detection for incompletely specified functions (KHW, JHC), pp. 434–437.

DATE-v1-2004-RamaniAMS #graph #independence #symmetry

Breaking Instance-Independent Symmetries in Exact Graph Coloring (AR, FAA, ILM, KAS), pp. 324–331.

ICPR-v3-2004-KellerS #algebra #approach #detection #symmetry

An Algebraic Approach to Symmetry Detection (YK, YS), pp. 186–189.

ICPR-v3-2004-KuijperO #set #symmetry

Transitions of the Pre-Symmetry Set (AK, OFO), pp. 190–193.

DAC-2003-AloulMS #named #performance #satisfiability #symmetry

Shatter: efficient symmetry-breaking for boolean satisfiability (FAA, ILM, KAS), pp. 836–839.

VMCAI-2003-Sistla #model checking #reduction #symmetry

Symmetry Reductions in Model-Checking (APS), p. 25.

DAC-2002-AloulRMS #satisfiability #symmetry

Solving difficult SAT instances in the presence of symmetry (FAA, AR, ILM, KAS), pp. 731–736.

DATE-2002-GoldbergPB #algorithm #problem #satisfiability #symmetry #using

Using Problem Symmetry in Search Based Satisfiability Algorithms (EIG, MRP, RKB), pp. 134–141.

ICGT-2002-BauderonC #graph #symmetry

Decomposing Graphs with Symmetries (MB, FC), pp. 45–59.

ICPR-v1-2002-Hayfron-AcquahNC #identification #symmetry

Human Identification by Spatio-Temporal Symmetry (JBHA, MSN, JNC), pp. 632–635.

ICPR-v1-2002-TuzikovCB #image #optimisation #symmetry #using

Brain Symmetry Plane Computation in MR Images Using Inertia Axes and Optimization (AVT, OC, IB), pp. 516–519.

ICPR-v3-2002-HontaniSKA #feature model #image #symmetry

Vibratory Image Feature Extraction Based on Local Log-Polar Symmetry (HH, JS, AK, SA), pp. 839–842.

ICPR-v3-2002-NilssonB #image #symmetry

Prominent Symmetry Points as Landmarks in Finger Print Images for Alignment (KN, JB), pp. 395–398.

CADE-2002-AudemardB #finite #generative #reasoning #symmetry

Reasoning by Symmetry and Function Ordering in Finite Model Generation (GA, BB), pp. 226–240.

CADE-2002-Tour #heuristic #symmetry

A Note on Symmetry Heuristics in SEM (TBdlT), pp. 181–194.

CAV-2002-BarnerG #approximate #model checking #reduction #symmetry

Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking (SB, OG), pp. 93–106.

SAT-2002-AloulRMS #satisfiability #symmetry

Solving difficult SAT instances in the presence of symmetry (FAA, AR, IM, KS), p. 23.

SAT-2002-LiJP #symmetry

Integrating symmetry breaking into a DLL procedure (CML, BJ, PWP), p. 18.

ASE-2001-Iosif #model checking #symmetry

Exploiting Heap Symmetries in Explicit-State Model Checking of Software (RI), pp. 254–261.

DATE-2001-ChangHM #functional #optimisation #symmetry #using

In-place delay constrained power optimization using functional symmetries (CWJC, BH, MMS), pp. 377–382.

FME-2001-BosnackiDH #heuristic #reduction #symmetry

A Heuristic for Symmetry Reductions with Scalarsets (DB, DD, LH), pp. 518–533.

ICML-2001-ZinkevichB #learning #markov #multi #process #symmetry

Symmetry in Markov Decision Processes and its Implications for Single Agent and Multiagent Learning (MZ, TRB), p. 632–?.

SAC-2001-Zhang #automation #satisfiability #symmetry

Automatic symmetry breaking method combined with SAT (JZ0), pp. 17–21.

CAV-2001-SistlaG #model checking #symmetry

Symmetry and Reduced Symmetry in Model Checking (APS, PG), pp. 91–103.

SAT-2001-Shlyakhter #effectiveness #generative #problem #symmetry

Generating effective symmetry-breaking predicates for search problems (IS), pp. 19–35.

DAC-2000-ChangCSM #detection #functional #performance #symmetry #using

Fast post-placement rewiring using easily detectable functional symmetries (CWJC, CKC, PS, MMS), pp. 286–289.

DAC-2000-PangBLC #constraints #representation #symmetry

Block placement with symmetry constraints based on the O-tree non-slicing representation (YP, FB, KL, CKC), pp. 464–467.

DATE-2000-KravetsS #symmetry #synthesis #using

Constructive Library-Aware Synthesis Using Symmetries (VNK, KAS), pp. 208–213.

TACAS-2000-Schmidt #analysis #low level #reachability #symmetry

Integrating Low Level Symmetries into Reachability Analysis (KS0), pp. 315–330.

ICPR-v2-2000-FischerBB #database #image #symmetry

Symmetry Based Indexing of Diatoms in an Image Database (SF, MB, HB), pp. 2895–2898.

ICPR-v3-2000-JohanssonKG #detection #normalisation #symmetry #using

Detecting Rotational Symmetries Using Normalized Convolution (BJ, HK, GHG), pp. 3500–3504.

ICPR-v3-2000-LuM #analysis #symmetry

Computer Analysis of Rotational Symmetry in CBED Patterns (QY, HL, SM), pp. 3754–3757.

ICPR-v3-2000-ShenIT00a #2d #image #novel #symmetry #theorem

A Novel Theorem on Symmetries of 2D Images (DS, HHSI, EKT), pp. 7014–7017.

ICPR-v3-2000-ShenIT00b #detection #robust #symmetry

Robust Detection of Skewed Symmetries (DS, HHSI, EKT), pp. 7022–7025.

GCSE-2000-CoplienZ #design pattern #symmetry

Symmetry Breaking in Software Patterns (JC, LZ), pp. 37–56.

CAV-2000-Pnueli #abstraction #composition #deduction #explosion #symmetry

Keynote Address: Abstraction, Composition, Symmetry, and a Little Deduction: The Remedies to State Explosion (AP), p. 1.

LICS-2000-EmersonHT #reduction #symmetry

Virtual Symmetry Reduction (EAE, JH, RJT), pp. 121–131.

DATE-1999-EijkJMT #algorithm #identification #symmetry

Identification and Exploitation of Symmetries in DSP Algorithms (CAJvE, ETAFJ, BM, AHT), pp. 602–608.

STOC-1999-DinitzMR #complexity #symmetry

Bit Complexity of Breaking and Achieving Symmetry in Chains and Rings (Extended Abstract) (YD, SM, SR), pp. 265–274.

CSL-1999-CompagnoniG #higher-order #symmetry #type system

Anti-Symmetry of Higher-Order Subtyping (ABC, HG), pp. 420–438.

TACAS-1998-AjamiHI #linear #logic #model checking #symmetry

Exploiting Symmetry in Linear Time Temporal Logic Model Checking: One Step Beyond (KA, SH, JMI), pp. 52–67.

ICPR-1998-CheungI #detection #symmetry #using

Symmetry detection using complex moments (KKTC, HHSI), pp. 1473–1475.

ICPR-1998-HattoriMS #image #symmetry #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 #symmetry

A novel method for detecting and localising of reflectional and rotational symmetry under weak perspective projection (YL, KCW), pp. 417–419.

ICPR-1998-LiuGY #symmetry

Segmenting by seeking the symmetry axis (TLL, DG, ALY), pp. 994–998.

CAV-1998-ClarkeEJS #model checking #reduction #symmetry

Symmetry Reductions inModel Checking (EMC, EAE, SJ, APS), pp. 147–158.

CAV-1998-MankuHB #model checking #symmetry

Structural Symmetry and Model Checking (GSM, RH, RKB), pp. 159–171.

LICS-1998-ParrowV #calculus #mobile #process #symmetry

The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes (JP, BV), pp. 176–185.

EDTC-1997-SchollMHM #symmetry

Minimizing ROBDD sizes of incompletely specified Boolean functionsby exploiting strong symmetries (CS, SM, GH, PM), pp. 229–234.

TACAS-1997-EmersonJP #partial order #reduction #symmetry

Combining Partial Order and Symmetry Reductions (EAE, SJ, DP), pp. 19–34.

CAV-1997-GyurisS #model checking #on the fly #symmetry

On-the-Fly Model Checking Under Fairness That Exploits Symmetry (VG, APS), pp. 232–243.

CAV-1997-PandeyB #evaluation #symmetry #verification

Exploiting Symmetry When Verifying Transitor-Level Circuits by Symbolic Trajectory Evaluation (MP, REB), pp. 244–255.

CAV-1997-SistlaMG #liveness #model checking #named #symmetry #verification

SMC: A Symmetry Based Model Checker for Verification of Liveness Properties (APS, LM, VG), pp. 464–467.

ICALP-1996-YuY #problem #symmetry

Agent Rendezvous: A Dynamic Symmetry-Breaking Problem (XY, MY), pp. 610–621.

ICPR-1996-ChenY #symmetry #using #visual notation

Thinning noisy binary patterns using human visual symmetry (YSC, YTY), pp. 146–150.

ICPR-1996-GofmanK #approach #detection #image #optimisation #symmetry

Detecting symmetry in grey level images: the global optimization approach (YG, NK), pp. 889–894.

ICPR-1996-NishimuraT #approach #symmetry

Active shape inferring based on the symmetry in stable poses-shape from function approach (KN, HTT), pp. 136–140.

ICPR-1996-PeiH96a #algorithm #complexity #detection #symmetry

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 #symmetry #using

Face detection and facial feature extraction using color, shape and symmetry-based cost functions (ES, AMT), pp. 654–658.

ICPR-1996-TuzikovMH #performance #symmetry

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

Symmetry-Breaking Predicates for Search Problems (JMC, MLG, EML, AR), pp. 148–159.

CADE-1996-Tour #semantics #symmetry

Ground Resolution with Group Computations on Semantic Symmetries (TBdlT), pp. 478–492.

CAV-1995-EmersonS #approach #model checking #symmetry

Utilizing Symmetry when Model Checking under Fairness Assumptions: An Automata-theoretic Approach (EAE, APS), pp. 309–324.

STOC-1994-AwerbuchCS #distributed #performance #symmetry

Efficient asynchronous distributed symmetry breaking (BA, LC, MAS), pp. 214–223.

STOC-1994-SahinalpV #symmetry

Symmetry breaking for suffix tree construction (SCS, UV), pp. 300–309.

CAV-1993-ClarkeFJ #logic #model checking #symmetry

Exploiting Symmetry In Temporal Logic Model Checking (EMC, TF, SJ), pp. 450–462.

CAV-1993-EmersonS #model checking #symmetry

Symmetry and Model Checking (EAE, APS), pp. 463–478.

STOC-1992-BabaiBT #complexity #symmetry

Symmetry and Complexity (LB, RB, PTN), pp. 438–449.

STOC-1992-MayerOOY #self #symmetry

Self-Stabilizing Symmetry Breaking in Constant-Space (Extended Abstract) (AJM, YO, RO, MY), pp. 667–678.

CADE-1992-BenhamouS #calculus #symmetry

Theoretical Study of Symmetries in Propositional Calculus and Applications (BB, LS), pp. 281–294.

STOC-1987-GoldbergPS #graph #parallel #symmetry

Parallel Symmetry-Breaking in Sparse Graphs (AVG, SAP, GES), pp. 315–324.

ILPC-1984-Johansson84 #logic programming #source code #symmetry #using

Using Symmetry for the Derivation of Logic Programs (ALJ), pp. 243–251.