Search results for "Symmetries"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
28	Daniel S. Heller, Aurojit Panda, Meinolf Sellmann, Justin Yip	Model Restarts for Structural Symmetry Breaking.	CP	2008	DBLP DOI BibTeX RDF
28	Leo Liberti	Automatic Generation of Symmetry-Breaking Constraints.	COCOA	2008	DBLP DOI BibTeX RDF
28	Jonathan Palacios, Eugene Zhang	Rotational symmetry field design on surfaces.	ACM Trans. Graph.	2007	DBLP DOI BibTeX RDF	field analysis, field design, topology, non-photorealistic rendering, surfaces, remeshing, rotational symmetry
28	Thomas J. Ashby, Anthony D. Kennedy, Stephen M. Watt	Generation and optimisation of code using coxeter lattice paths.	PASCO	2007	DBLP DOI BibTeX RDF	coxeter groups, code generation, stencils, data-parallel computing
28	Seok-Hee Hong 0001, Peter Eades	Drawing Planar Graphs Symmetrically, III: Oneconnected Planar Graphs.	Algorithmica	2006	DBLP DOI BibTeX RDF	Planar geometric automorphisms, Symmetry, Graph drawing, Planar graphs
28	Toby Walsh	General Symmetry Breaking Constraints.	CP	2006	DBLP DOI BibTeX RDF
28	Pierre Flener, Justin Pearson, Meinolf Sellmann, Pascal Van Hentenryck	Static and Dynamic Structural Symmetry Breaking.	CP	2006	DBLP DOI BibTeX RDF
28	Sebastian Thrun, Ben Wegbreit	Shape from Symmetry.	ICCV	2005	DBLP DOI BibTeX RDF
28	Carlo Bellettini, Lorenzo Capra	A Quotient Graph for Asymmetric Distributed Systems.	MASCOTS	2004	DBLP DOI BibTeX RDF	quotient state-spaces, asymmetric systems, Colored Petri Nets
28	Yann Thierry-Mieg, Claude Dutheillet, Isabelle Mounier	Automatic Symmetry Detection in Well-Formed Nets.	ICATPN	2003	DBLP DOI BibTeX RDF	Well-Formed Petri nets, partial symmetry, symbolic model-checking, symmetry detection
28	Zeynep Kiziltan	Symmetry Breaking Ordering Constraints.	CP	2003	DBLP DOI BibTeX RDF
28	Ian P. Gent, Warwick Harvey, Tom Kelsey, Steve Linton	Generic SBDD Using Computational Group Theory.	CP	2003	DBLP DOI BibTeX RDF
28	Jacqueline E. Rice, Jon C. Muzio	Antisymmetries in the realization of Boolean functions.	ISCAS (4)	2002	DBLP DOI BibTeX RDF
28	Zeynep Kiziltan	Reducing Symmetry in Matrix Models.	CP	2002	DBLP DOI BibTeX RDF
28	Iain McDonald, Barbara M. Smith	Partial Symmetry Breaking.	CP	2002	DBLP DOI BibTeX RDF
28	Bogdan J. Falkowski, Sudha Kannurao	Strict avalanche criterion in Boolean functions-a spectral approach.	ISCAS (2)	2001	DBLP DOI BibTeX RDF
28	Torsten Fahle, Stefan Schamberger, Meinolf Sellmann	Symmetry Breaking.	CP	2001	DBLP DOI BibTeX RDF	symmetry breaking during search, n-queens problem, golfer problem, graph partitioning
28	Harold W. Thimbleby	Affordance and Symmetry.	DSV-IS	2001	DBLP DOI BibTeX RDF
28	Bruce I. Mills, Frank C. Langbein, A. David Marshall, Ralph R. Martin	Approximate symmetry detection for reverse engineering.	Symposium on Solid Modeling and Applications	2001	DBLP DOI BibTeX RDF	approximate symmetry, geometric interrogations and reasoning, reverse engineering, beautification
28	E. Allen Emerson, John Havlicek, Richard J. Trefler	Virtual Symmetry Reduction.	LICS	2000	DBLP DOI BibTeX RDF
28	Hubert de Fraysseix	An Heuristic for Graph Symmetry Detection.	GD	1999	DBLP DOI BibTeX RDF
28	Sabine Bachl	Isomorphic Subgraphs.	GD	1999	DBLP DOI BibTeX RDF
28	Gurmeet Singh Manku, Ramin Hojati, Robert K. Brayton	Structural Symmetry and Model Checking.	CAV	1998	DBLP DOI BibTeX RDF
28	Giuliana Franceschinis, Richard R. Muntz	Computing Bounds for the Performance Indices of Quasi-Lumpable Stochastic Well-Formed Nets.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	quasilumpable stochastic well-formed Nets, stochastic well-formed colored Petri nets, aggregated reachability graph, qualitative properties, quasilumpable SWN models, approximated performance indices, SWN models, bounded aggregation method, performance evaluation, Petri nets, Markov processes, stochastic processes, continuous time Markov chain, performance indices, symbolic reachability graph
27	Koen Ponse, Anna V. Kononova, Maria Loleyt, Bas van Stein	Using Machine Learning to Detect Rotational Symmetries from Reflectional Symmetries in 2D Images.	CoRR	2022	DBLP BibTeX RDF
27	Michel Petitjean	Global Symmetries, Local Symmetries and Groupoids.	Symmetry	2021	DBLP DOI BibTeX RDF
27	Mahmood R. Tarayrah, Alexei F. Cheviakov	Relationship between Unstable Point Symmetries and Higher-Order Approximate Symmetries of Differential Equations with a Small Parameter.	Symmetry	2021	DBLP DOI BibTeX RDF
27	Na Zhang, Guangyan Jia	W-symmetries of backward stochastic differential equations, preservation of simple symmetries and Kozlov's theory.	Commun. Nonlinear Sci. Numer. Simul.	2021	DBLP DOI BibTeX RDF
27	Koen Ponse, Anna V. Kononova, Maria Loleyt, Bas van Stein	Using Machine Learning to Detect Rotational Symmetries from Reflectional Symmetries in 2D Images.	SSCI	2021	DBLP DOI BibTeX RDF
27	Stephen C. Anco	On the Incompleteness of Ibragimov's Conservation Law Theorem and Its Equivalence to a Standard Formula Using Symmetries and Adjoint-Symmetries.	Symmetry	2017	DBLP DOI BibTeX RDF
27	Wen-Xiu Ma	Conservation Laws of Discrete Evolution Equations by Symmetries and Adjoint Symmetries.	Symmetry	2015	DBLP DOI BibTeX RDF
27	M. T. Mustafa, Ahmad Y. Al-Dweik	Noether symmetries and conservation laws of wave equation on static spherically symmetric spacetimes with higher symmetries.	Commun. Nonlinear Sci. Numer. Simul.	2015	DBLP DOI BibTeX RDF
27	Andres Ortiz, Vladik Kreinovich	Using Symmetries (Beyond Geometric Symmetries) in Chemical Computations: Computing Parameters of Multiple Binding Sites.	Symmetry	2014	DBLP DOI BibTeX RDF
27	Geoffrey Chu, Maria Garcia de la Banda, Christopher Mears, Peter J. Stuckey	Symmetries, almost symmetries, and lazy clause generation.	Constraints An Int. J.	2014	DBLP DOI BibTeX RDF
27	G. F. Jefferson, J. Carminati	Associate symmetries: A novel procedure for finding contact symmetries.	Commun. Nonlinear Sci. Numer. Simul.	2014	DBLP DOI BibTeX RDF
27	Joanna Goard	Generalised conditional symmetries and Nucci's method of iterating the nonclassical symmetries method.	Appl. Math. Lett.	2003	DBLP DOI BibTeX RDF
23	Nicolai Bissantz, Hajo Holzmann, Miroslaw Pawlak	Testing for Image Symmetries - With Application to Confocal Microscopy.	IEEE Trans. Inf. Theory	2009	DBLP DOI BibTeX RDF
23	Yu Hu 0002, Victor Shih, Rupak Majumdar, Lei He 0001	Exploiting Symmetries to Speed Up SAT-Based Boolean Matching for Logic Synthesis of FPGAs.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2008	DBLP DOI BibTeX RDF
23	Norbert Michael Mayer, Matthew Browne, J. Michael Herrmann, Minoru Asada	Symmetries, non-Euclidean metrics, and patterns in a Swift-Hohenberg model of the visual cortex.	Biol. Cybern.	2008	DBLP DOI BibTeX RDF	Orientation maps in visual cortex, Pattern formation process, Shift-twist symmetry
23	Felix Brandt 0001, Felix A. Fischer, Markus Holzer 0001	Equilibria of Graphical Games with Symmetries.	WINE	2008	DBLP DOI BibTeX RDF
23	Ralf Klasing, Adrian Kosowski, Alfredo Navarra	Taking Advantage of Symmetries: Gathering of Asynchronous Oblivious Robots on a Ring.	OPODIS	2008	DBLP DOI BibTeX RDF	Oblivious robots, Gathering problem, Mobile robots, Asynchronous system, Ring
23	Jian Lu 0002, Zhongxing Ye, Yuru Zou	Automatic generation of colorful patterns with wallpaper symmetries from dynamics.	Vis. Comput.	2007	DBLP DOI BibTeX RDF	Wallpaper groups, Colormap, Density function
23	Yoshiteru Ishida	A Note on Symmetries on Equations of Population Dynamics and Stability Conditions.	KES (3)	2007	DBLP DOI BibTeX RDF	additive symmetry, stability, identity, diagram, degeneracy
23	Brendan D. McKay	Computing Symmetries of Combinatorial Objects.	GD	2007	DBLP DOI BibTeX RDF
23	Felix Brandt 0001, Felix A. Fischer, Markus Holzer 0001	Symmetries and the Complexity of Pure Nash Equilibrium.	STACS	2007	DBLP DOI BibTeX RDF
23	Eric J. Friedman	Fundamental Domains for Integer Programs with Symmetries.	COCOA	2007	DBLP DOI BibTeX RDF
23	Vladimir V. Kornyak	Symmetries and Dynamics of Discrete Systems.	CASC	2007	DBLP DOI BibTeX RDF
23	Christoph Buchheim, Seok-Hee Hong 0001	Crossing Minimization for Symmetries.	Theory Comput. Syst.	2005	DBLP DOI BibTeX RDF
23	Hiroshi Ishikawa 0002, Davi Geiger, Richard Cole 0001	Finding Tree Structures by Grouping Symmetries.	ICCV	2005	DBLP DOI BibTeX RDF
23	Jin S. Zhang, Malgorzata Chrzanowska-Jeske, Alan Mishchenko, Jerry R. Burch	Detecting support-reducing bound sets using two-cofactor symmetries.	ASP-DAC	2005	DBLP DOI BibTeX RDF
23	Chih-Wei Jim Chang, Ming-Fu Hsiao, Bo Hu 0006, Kai Wang 0011, Malgorzata Marek-Sadowska, Chung-Kuan Cheng, Sao-Jie Chen	Fast postplacement optimization using functional symmetries.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2004	DBLP DOI BibTeX RDF
23	Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano	Exploiting Symmetries for Testing Equivalence in the Spi Calculus.	ATVA	2004	DBLP DOI BibTeX RDF
23	Laura Bader, Nicola Durante, Maska Law, Guglielmo Lunardon, Tim Penttila	Symmetries of BLT-Sets.	Des. Codes Cryptogr.	2003	DBLP DOI BibTeX RDF
23	Robert Alterson, Donald B. Plewes	Exploring Symmetries in Breast MRI Scan.	MICCAI (2)	2003	DBLP DOI BibTeX RDF
23	Joris Vanden Wyngaerd, Luc Van Gool	Coarse Registration of Surface Patches with Local Symmetries.	ECCV (2)	2002	DBLP DOI BibTeX RDF	Shape, Surface geometry, Surface Registration
23	Michel Bauderon, Frédérique Carrère	Decomposing Graphs with Symmetries.	ICGT	2002	DBLP DOI BibTeX RDF
23	Peter J. Vassiliou	Tangential Characteristic Symmetries and First Order Hyperbolic Systems.	Appl. Algebra Eng. Commun. Comput.	2001	DBLP DOI BibTeX RDF	Darboux integrability, Symmetry, Hyperbolic systems
23	Christoph Buchheim, Michael Jünger	Detecting Symmetries by Branch & Cut.	GD	2001	DBLP DOI BibTeX RDF
23	Chih-Wei Jim Chang, Chung-Kuan Cheng, Peter Suaris, Malgorzata Marek-Sadowska	Fast post-placement rewiring using easily detectable functional symmetries.	DAC	2000	DBLP DOI BibTeX RDF
23	C. A. J. van Eijk, E. T. A. F. Jacobs, Bart Mesman, Adwin H. Timmer	Identification and Exploitation of Symmetries in DSP Algorithms.	DATE	1999	DBLP DOI BibTeX RDF
23	Lorenz Halbeisen	Symmetries between two Ramsey properties.	Arch. Math. Log.	1998	DBLP DOI BibTeX RDF
23	A. P. Benkard	Symmetries of the Firing Squad Sychronization Problem Revealed in a Nested Array.	APL	1988	DBLP DOI BibTeX RDF
20	Christoph Buchheim, Seok-Hee Hong 0001	Testing Planarity of Geometric Automorphisms in Linear Time.	Algorithmica	2008	DBLP DOI BibTeX RDF	Symmetries, Graph drawing, Planarity, Automorphisms
20	Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau	Towards Efficient Verification of Systems with Dynamic Process Creation.	ICTAC	2008	DBLP DOI BibTeX RDF	multi-threaded systems, marking symmetries, Petri nets, state-space generation
20	Marius C. Bujorianu, Manuela-Luminita Bujorianu, Howard Barringer	A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems.	CLIMA	2008	DBLP DOI BibTeX RDF	user centric control, stochastic model checking, multi agent systems, symmetries, bisimulation, runtime analysis, cyber-physical systems
20	Ian G. Lisle, Gregory J. Reid	Symmetry Classification Using Noncommutative Invariant Differential Operators.	Found. Comput. Math.	2006	DBLP DOI BibTeX RDF	Lie symmetries of PDEs, Equivalence group, Symmetry classification of PDE, Noncommutative invariant differential operators, Reduced involutive form, Diffusion convection equation, Moving frames
20	Frederick W. Chapman	An elementary algorithm for the automatic derivation and proof of tensor product identities via computer algebra.	ISSAC	2003	DBLP DOI BibTeX RDF	Taylor interpolation, asymptotic splitting operator, automatic derivation, automatic proof, binormal forms, bivariate identities, characteristic cauchy problem, dual asymptotic expansions, homogeneous hyperbolic eigenproblem, hyperbolic eigenfunction, symmetries, maple, computer algebra, differential equations, tensor products, lie groups
20	Mikhail V. Foursov, Marc Moreno Maza	On computer-assisted classification of coupled integrable equations.	ISSAC	2001	DBLP DOI BibTeX RDF	generalized symmetries, integrable PDEs, mathematical physics, polynomial systems, triangular decompositions
20	Ross Cutler, Larry S. Davis	Robust Real-Time Periodic Motion Detection, Analysis, and Applications.	IEEE Trans. Pattern Anal. Mach. Intell.	2000	DBLP DOI BibTeX RDF	person detection, motion symmetries, motion-based recognition, motion segmention, object classification, Periodic motion
20	Rossano Gaeta	Efficient Discrete-Event Simulation of Colored Petri Nets.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	stochastic well-formed nets, model symmetries, efficient simulation algorithms, Discrete event simulation, high-level Petri nets, symbolic simulation
20	Fritz Schwarz	On 3rd Order Ordinary Differential Equations with Maximal Symmetry Group.	Computing	1996	DBLP DOI BibTeX RDF	symmetries, Differential equations, equivalence problem
19	Pierre Flener, Justin Pearson, Meinolf Sellmann, Pascal Van Hentenryck, Magnus Ågren 0002	Dynamic structural symmetry breaking for constraint satisfaction problems.	Constraints An Int. J.	2009	DBLP DOI BibTeX RDF	Dominance detection, CSP, Tractability, Symmetry breaking
19	Xiaohui Ji, Feifei Ma, Jian Zhang 0001	Solving Global Unconstrained Optimization Problems by Symmetry-Breaking.	ACIS-ICIS	2009	DBLP DOI BibTeX RDF
19	Hun-sik Kang, Kwang-Eui Pyun, Sin-Chong Park	A hardware implementation of AGC and synchronization for OFDM-based WLAN.	ICHIT	2009	DBLP DOI BibTeX RDF	AGC, preamble, synchronization, OFDM, matched filter, phase estimation
19	Jean-Philippe Aumasson, Eric Brier, Willi Meier, María Naya-Plasencia, Thomas Peyrin	Inside the Hypercube.	ACISP	2009	DBLP DOI BibTeX RDF
19	Vladimir V. Kornyak	Discrete Dynamics: Gauge Invariance and Quantization.	CASC	2009	DBLP DOI BibTeX RDF
19	Nick Moffat, Michael Goldsmith, Bill Roscoe	A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking.	ICFEM	2008	DBLP DOI BibTeX RDF
19	Amy Voida, Stephen Voida, Saul Greenberg, Helen Ai He	Asymmetry in media spaces.	CSCW	2008	DBLP DOI BibTeX RDF	awareness, reciprocity, media space, asymmetry
19	Frank C. Langbein, Ming Li 0017, Ralph R. Martin	A Comment on "Constructing Regularity Feature Trees for Solid Models".	GMP	2008	DBLP DOI BibTeX RDF
19	W. Douglas Obal II, Michael G. McQuinn, William H. Sanders	Detecting and Exploiting Symmetry in Discrete-State Markov Models.	IEEE Trans. Reliab.	2007	DBLP DOI BibTeX RDF
19	Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah	Symmetry breaking for pseudo-Boolean formulas.	ACM J. Exp. Algorithmics	2007	DBLP DOI BibTeX RDF	Graph automorphism
19	John Folkesson, Henrik I. Christensen	Closing the Loop With Graphical SLAM.	IEEE Trans. Robotics	2007	DBLP DOI BibTeX RDF
19	Niloy J. Mitra, Leonidas J. Guibas, Mark Pauly	Symmetrization.	ACM Trans. Graph.	2007	DBLP DOI BibTeX RDF	matching, symmetry, shape analysis, correspondence, shape optimization
19	Vinutha Kallem, Dong Eui Chang, Noah J. Cowan	Task-induced symmetry and reduction in kinematic systems with application to needle steering.	IROS	2007	DBLP DOI BibTeX RDF
19	J. V. Sumanth, David R. Swanson, Hong Jiang 0001	A Novel Force Matrix Transformation with Optimal Load-Balance for 3-Body Potential Based Parallel Molecular Dynamics Using Atom-Decomposition in a Heterogeneous Cluster Environment.	HiPC	2007	DBLP DOI BibTeX RDF
19	Hugo Cornelius, Michal Perdoch, Jiri Matas, Gareth Loy	Efficient Symmetry Detection Using Local Affine Frames.	SCIA	2007	DBLP DOI BibTeX RDF
19	J. V. Sumanth, David R. Swanson, Hong Jiang 0001	A symmetric transformation for 3-body potential molecular dynamics using force-decomposition in a heterogeneous distributed environment.	ICS	2007	DBLP DOI BibTeX RDF	load balancing, grid computing, molecular dynamics
19	Ian P. Gent, Tom Kelsey, Stephen A. Linton, J. Pearson, Colva M. Roney-Dougal	Groupoids and Conditional Symmetry.	CP	2007	DBLP DOI BibTeX RDF
19	Belaid Benhamou, Mohamed Réda Saïdi	Local Symmetry Breaking During Search in CSPs.	CP	2007	DBLP DOI BibTeX RDF
19	Edd Turner, Michael Leuschel, Corinna Spermann, Michael J. Butler	Symmetry Reduced Model Checking for B.	TASE	2007	DBLP DOI BibTeX RDF
19	Marc Eric Normandin, Adam Vajda, Sree Ram Valluri	Matched filtering a gravitational wave pulsar signal involving reciprocal gamma functions.	SNC	2007	DBLP DOI BibTeX RDF	VIRGO spectral noise density, fitting factor, gravitational wave, pulsar signal, template, matched filtering
19	Vincent Israel-Jost, Philippe Choquet, S. Salmon, Cyrille Blondet, Eric Sonnendrücker, André Constantinesco	Pinhole SPECT imaging: compact projection/backprojection operator for efficient algebraic reconstruction.	IEEE Trans. Medical Imaging	2006	DBLP DOI BibTeX RDF
19	Jin S. Zhang, Malgorzata Chrzanowska-Jeske, Alan Mishchenko, Jerry R. Burch	Linear cofactor relationships in Boolean functions.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2006	DBLP DOI BibTeX RDF
19	Joshua Podolak, Philip Shilane, Aleksey Golovinskiy, Szymon Rusinkiewicz, Thomas A. Funkhouser	A planar-reflective symmetry transform for 3D shapes.	ACM Trans. Graph.	2006	DBLP DOI BibTeX RDF	segmentation, matching, registration, symmetry, shape analysis, viewpoint selection
19	Patricio D. Simari, Evangelos Kalogerakis, Karan Singh	Folding meshes: hierarchical mesh segmentation based on planar symmetry.	Symposium on Geometry Processing	2006	DBLP DOI BibTeX RDF
19	Neil Kettle, Andy King	An anytime symmetry detection algorithm for ROBDDs.	ASP-DAC	2006	DBLP DOI BibTeX RDF
19	Jean-François Puget	Dynamic Lex Constraints.	CP	2006	DBLP DOI BibTeX RDF
19	W. Douglas Obal II, Michael G. McQuinn, William H. Sanders	Detecting and Exploiting Symmetry in Discrete-state Markov Models.	PRDC	2006	DBLP DOI BibTeX RDF
19	Ming Li 0017, Frank C. Langbein, Ralph R. Martin	Constructing Regularity Feature Trees for Solid Models.	GMP	2006	DBLP DOI BibTeX RDF
19	Abhinav Gupta 0001, V. Shiv Naga Prasad, Larry S. Davis	Extracting regions of symmetry.	ICIP (3)	2005	DBLP DOI BibTeX RDF