Search results for "symmetries"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
116	Philippe Saint-Marc, Hillel Rom, Gérard G. Medioni	B-spline Contour Representation and Symmetry Detection.	IEEE Trans. Pattern Anal. Mach. Intell.	1993	DBLP DOI BibTeX RDF	B-spline contour representation, edge contours, skew symmetries, parallel symmetries, smooth local symmetries, planar shape description, edge detection, image recognition, splines (mathematics), symmetry detection, shape from contour
108	Yat Chiu Law, Jimmy H. M. Lee	Symmetry Breaking Constraints for Value Symmetries in Constraint Satisfaction.	Constraints An Int. J.	2006	DBLP DOI BibTeX RDF	Value symmetries, Constraint satisfaction, Symmetry breaking
79	Guoqiang Wang, Andreas Kuehlmann, Alberto L. Sangiovanni-Vincentelli	Structural Detection of Symmetries in Boolean Functions.	ICCD	2003	DBLP DOI BibTeX RDF
79	Pierre Flener, Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Justin Pearson, Toby Walsh	Breaking Row and Column Symmetries in Matrix Models.	CP	2002	DBLP DOI BibTeX RDF
70	Christopher Mears, Maria J. García de la Banda, Mark Wallace 0001, Bart Demoen	A Novel Approach For Detecting Symmetries in CSP Models.	CPAIOR	2008	DBLP DOI BibTeX RDF
70	Aurélien Martinet, Cyril Soler, Nicolas Holzschuch, François X. Sillion	Accurate detection of symmetries in 3D shapes.	ACM Trans. Graph.	2006	DBLP DOI BibTeX RDF
70	Karsten Schmidt 0004	How to Calculate Symmetries of Petri Nets.	Acta Informatica	2000	DBLP DOI BibTeX RDF
68	Fatih Ulupinar, Ramakant Nevatia	Perception of 3-D Surfaces from 2-D Contours.	IEEE Trans. Pattern Anal. Mach. Intell.	1993	DBLP DOI BibTeX RDF	3D shape inference, 2D contours, parallel symmetries, surface orientation recovery, skew symmetries, zero Gaussian curvature, computer vision, image recognition, image recognition, inference mechanisms, machine vision
67	Khalil Ajami, Serge Haddad, Jean-Michel Ilié	Exploiting Symmetry in Linear Time Temporal Logic Model Checking: One Step Beyond.	TACAS	1998	DBLP DOI BibTeX RDF	Büchi automata, Model Checking, Verification, Temporal Logic, Symmetries, LTL
66	Stefan Szeider	The Complexity of Resolution with Generalized Symmetry Rules.	Theory Comput. Syst.	2005	DBLP DOI BibTeX RDF
66	Stefan Szeider	The Complexity of Resolution with Generalized Symmetry Rules.	STACS	2003	DBLP DOI BibTeX RDF
62	Jens Bæk Jørgensen, Lars Michael Kristensen	Computer Aided Verification of Lamport's Fast Mutual Exclusion Algorithm Using Colored Petri Nets and Occurrence Graphs with Symmetries.	IEEE Trans. Parallel Distributed Syst.	1999	DBLP DOI BibTeX RDF	Modelling and analysis of distributed systems, formal verification, symmetries, mutual exclusion, colored Petri nets, high-level Petri nets, state spaces, occurrence graphs
60	Hassen Saïdi	Discovering Symmetries.	FMICS/PDMC	2006	DBLP DOI BibTeX RDF
60	Jean-Francois Puget	Automatic Detection of Variable and Value Symmetries.	CP	2005	DBLP DOI BibTeX RDF
60	Pascal Van Hentenryck, Pierre Flener, Justin Pearson, Magnus Ågren 0002	Compositional Derivation of Symmetries for Constraint Satisfaction.	SARA	2005	DBLP DOI BibTeX RDF
60	Ünal Göktas, Willy Hereman	Algorithmic computation of generalized symmetries of nonlinear evolution and lattice equations.	Adv. Comput. Math.	1999	DBLP DOI BibTeX RDF	evolution equation, DDE, 35Q53, 35R10, 34K99, integrability, lattice, symmetry, PDE, 68Q40
59	Hillel Rom, Gérard G. Medioni	Hierarchical Decomposition and Axial Shape Description.	IEEE Trans. Pattern Anal. Mach. Intell.	1993	DBLP DOI BibTeX RDF	smooth local symmetries, parallel symmetries, shape parsing, region information, axial shape description, segmented axial description, curvature sign changes, contour information, image segmentation, stability, robustness, scale, computational efficiency, hierarchical decomposition
57	Lorenzo Capra	Colored Petri Nets State-Space Reduction via Symbolic Execution.	SYNASC	2005	DBLP DOI BibTeX RDF	quotient graphs, symmetries, High-Level Petri Nets, linear constraints
56	Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah	Solving difficult instances of Boolean satisfiability in the presence of symmetry.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2003	DBLP DOI BibTeX RDF
56	Yingen Xiong, Francis K. H. Quek, David McNeill	Hand Gesture Symmetric Behavior Detection and Analysis in Natural Conversation.	ICMI	2002	DBLP DOI BibTeX RDF
56	Manish Pandey, Randal E. Bryant	Exploiting symmetry when verifying transistor-level circuits by symbolic trajectory evaluation.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1999	DBLP DOI BibTeX RDF
56	Manish Pandey, Randal E. Bryant	Exploiting Symmetry When Verifying Transitor-Level Circuits by Symbolic Trajectory Evaluation.	CAV	1997	DBLP DOI BibTeX RDF
52	Karsten Schmidt 0004	Integrating Low Level Symmetries into Reachability Analysis.	TACAS	2000	DBLP DOI BibTeX RDF	symmetries, reachability analysis, automorphisms
52	Serge Haddad, Jean-Michel Ilié, Mohamed Taghelit, Belhassen Zouari	Symbolic Reachability Graph and Partial Symmetries.	Application and Theory of Petri Nets	1995	DBLP DOI BibTeX RDF	Well-Formed Petri nets, Partial Symmetries, Symbolic Reachability graphs
51	Tian-Bo Deng	Coefficient-Symmetries for Implementing Arbitrary-Order Lagrange-Type Variable Fractional-Delay Digital Filters.	IEEE Trans. Signal Process.	2007	DBLP DOI BibTeX RDF
51	Yat Chiu Law, Jimmy Ho-Man Lee	Breaking value symmetries in matrix models using channeling constraints.	SAC	2005	DBLP DOI BibTeX RDF	CSP, symmetry breaking
51	Roland Martin, Karsten Weihe	Weak Symmetries in Problem Formulations.	CP	2005	DBLP DOI BibTeX RDF
51	Alan M. Frisch, Christopher Jefferson, Ian Miguel	Constraints for Breaking More Row and Column Symmetries.	CP	2003	DBLP DOI BibTeX RDF
51	Thierry Boy de la Tour	Ground Resolution with Group Computations on Semantic Symmetries.	CADE	1996	DBLP DOI BibTeX RDF
51	Belaid Benhamou, Lakhdar Sais	Theoretical Study of Symmetries in Propositional Calculus and Applications.	CADE	1992	DBLP DOI BibTeX RDF
48	Jeremy Johnson 0001, Xu Xu	Generating symmetric DFTs and equivariant FFT algorithms.	ISSAC	2007	DBLP DOI BibTeX RDF	group symmetries, multi-dimensional discrete fourier transform, code generation, fast Fourier transform, matrix factorization
48	Fadi A. Aloul, Karem A. Sakallah, Igor L. Markov	Efficient Symmetry Breaking for Boolean Satisfiability.	IEEE Trans. Computers	2006	DBLP DOI BibTeX RDF	clause learning, satisfiability (SAT), symmetries, conjunctive normal form (CNF), Backtrack Search, graph automorphism
48	Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah	Shatter: efficient symmetry-breaking for boolean satisfiability.	DAC	2003	DBLP DOI BibTeX RDF	clause learning, logic simplification, routing, symmetries, SAT, CNF, backtrack search, graph automorphism
47	David A. Cohen, Peter Jeavons 0001, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith	Symmetry Definitions for Constraint Satisfaction Problems.	Constraints An Int. J.	2006	DBLP DOI BibTeX RDF	Symmetry, Constraint satisfaction problems
47	Niloy J. Mitra, Leonidas J. Guibas, Mark Pauly	Partial and approximate symmetry detection for 3D geometry.	ACM Trans. Graph.	2006	DBLP DOI BibTeX RDF	sampling guarantees, geometric modeling, shape analysis, shape descriptor, symmetry detection
47	David A. Cohen, Peter Jeavons 0001, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith	Symmetry Definitions for Constraint Satisfaction Problems.	CP	2005	DBLP DOI BibTeX RDF
43	Bogdan J. Falkowski	A Comment on "Generalized Reed-Muller Forms as a Tool to Detect Symmetries".	IEEE Trans. Computers	2003	DBLP DOI BibTeX RDF	Boolean symmetries, Boolean functions, Reed-Muller transform
42	Shravan Matthur Narayanamurthy, Balaraman Ravindran	On the hardness of finding symmetries in Markov decision processes.	ICML	2008	DBLP DOI BibTeX RDF
42	Kai-Hui Chang, Igor L. Markov, Valeria Bertacco	Postplacement rewiring by exhaustive search for functional symmetries.	ACM Trans. Design Autom. Electr. Syst.	2007	DBLP DOI BibTeX RDF	VLSI, placement, rewiring
42	Inês Lynce, João Marques-Silva 0001	Breaking Symmetries in SAT Matrix Models.	SAT	2007	DBLP DOI BibTeX RDF
42	Alexandre Sedoglavic	Reduction of Algebraic Parametric Systems by Rectification of Their Affine Expanded Lie Symmetries.	AB	2007	DBLP DOI BibTeX RDF
42	Ming Li 0017, Frank C. Langbein, Ralph R. Martin	Detecting approximate incomplete symmetries in discrete point sets.	Symposium on Solid and Physical Modeling	2007	DBLP DOI BibTeX RDF	approximate incomplete symmetry, reverse engineering, design intent
42	Gilles Audemard, Belaid Benhamou, Laurent Henocque	Predicting and Detecting Symmetries in FOL Finite Model Search.	J. Autom. Reason.	2006	DBLP DOI BibTeX RDF	symmetry, constraint programming, finite models
42	Peter M. Maurer	Using conjugate symmetries to enhance gate-level simulations.	DATE	2006	DBLP DOI BibTeX RDF
42	Francisco Azevedo	An Attempt to Dynamically Break Symmetries in the Social Golfers Problem.	CSCLP	2006	DBLP DOI BibTeX RDF
42	V. Shiv Naga Prasad, Larry S. Davis	Detecting Rotational Symmetries.	ICCV	2005	DBLP DOI BibTeX RDF
42	Roland Martin	The Challenge of Exploiting Weak Symmetries.	CSCLP	2005	DBLP DOI BibTeX RDF
42	Toni Mancini, Marco Cadoli	Detecting and Breaking Symmetries by Reasoning on Problem Specifications.	SARA	2005	DBLP DOI BibTeX RDF
42	Arathi Ramani, Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah	Breaking Instance-Independent Symmetries in Exact Graph Coloring.	DATE	2004	DBLP DOI BibTeX RDF
42	Tommi A. Junttila	New Orbit Algorithms for Data Symmetries.	ACSD	2004	DBLP DOI BibTeX RDF
42	Alan Mishchenko	Fast computation of symmetries in Boolean functions.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2003	DBLP DOI BibTeX RDF
42	Arnaud Gotlieb	Exploiting Symmetries to Test Programs.	ISSRE	2003	DBLP DOI BibTeX RDF
42	Fritz Schwarz	Symmetries of Second- and Third-Order Ordinary Differential Equations.	SNSC	2001	DBLP DOI BibTeX RDF
42	Filippo Focacci, Michela Milano	Global Cut Framework for Removing Symmetries.	CP	2001	DBLP DOI BibTeX RDF
42	Victor N. Kravets, Karem A. Sakallah	Constructive Library-Aware Synthesis Using Symmetries.	DATE	2000	DBLP DOI BibTeX RDF
42	Dinggang Shen, Horace Ho-Shing Ip, Eam Khwang Teoh	Robust Detection of Skewed Symmetries.	ICPR	2000	DBLP DOI BibTeX RDF
42	Dorel Lucanu	Axiomatization of the Coherence Property for Categories of Symmetries.	FCT	1999	DBLP DOI BibTeX RDF
42	Ki-Seok Chung, C. L. Liu 0001	Local transformation techniques for multi-level logiccircuits utilizing circuit symmetries for power reduction.	ISLPED	1998	DBLP DOI BibTeX RDF
39	Jin S. Zhang, Alan Mishchenko, Robert K. Brayton, Malgorzata Chrzanowska-Jeske	Symmetry detection for large Boolean functions using circuit representation, simulation, and satisfiability.	DAC	2006	DBLP DOI BibTeX RDF	and-inverter graphs, classical symmetries, simulation, boolean functions, boolean satisfiability
39	Hüseyin Tek, Perry A. Stoll, Benjamin B. Kimia	Shocks from images: propagation of orientation elements.	CVPR	1997	DBLP DOI BibTeX RDF	orientation elements, figure symmetry, object symmetries, colliding wavefronts, edge elements, feature extraction, real images, image contours
37	Neil Kettle, Andy King	An Anytime Algorithm for Generalized Symmetry Detection in ROBDDs.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2008	DBLP DOI BibTeX RDF
37	Joshua Podolak, Aleksey Golovinskiy, Szymon Rusinkiewicz	Symmetry-enhanced remeshing of surfaces.	Symposium on Geometry Processing	2007	DBLP DOI BibTeX RDF
37	Gareth Loy, Jan-Olof Eklundh	Detecting Symmetry and Symmetric Constellations of Features.	ECCV (2)	2006	DBLP DOI BibTeX RDF
37	Jean-Francois Puget	Symmetry Breaking Revisited.	Constraints An Int. J.	2005	DBLP DOI BibTeX RDF	SBDD, social golfer problem, search, symmetry, breaking, BIBD
37	Alastair F. Donaldson, Alice Miller 0001	Automatic Symmetry Detection for Model Checking Using Computational Group Theory.	FM	2005	DBLP DOI BibTeX RDF	Promela /Spin, distributed systems, model checking, concurrency, formal modelling, communicating processes, Gap, symmetry reduction
37	Carlo Bellettini, Lorenzo Capra	Quotient Graphs for the Analysis of Asymmetric Distributed Systems: Surveying Two Alternative Approaches.	IPDPS	2005	DBLP DOI BibTeX RDF
37	Tommi A. Junttila	New Canonical Representative Marking Algorithms for Place/Transition-Nets.	ICATPN	2004	DBLP DOI BibTeX RDF
37	Jan Lemeire, Bart Smets, Philippe Cara, Erik F. Dirkx	Exploiting Symmetry for Partitioning Models in Parallel Discrete Event Simulation.	PADS	2004	DBLP DOI BibTeX RDF
37	A. Prasad Sistla	Symmetry Reductions in Model-Checking.	VMCAI	2003	DBLP DOI BibTeX RDF
37	Jean-Francois Puget	Symmetry Breaking Revisited.	CP	2002	DBLP DOI BibTeX RDF
33	Alejandro Agostini, Enric Celaya	Exploiting Domain Symmetries in Reinforcement Learning with Continuous State and Action Spaces.	ICMLA	2009	DBLP DOI BibTeX RDF	domain symmetries, Reinforcement learning, function approximation
33		Application and Research of Smalltalk Harnessing Based on Game-Theoretic Symmetries.	JCAI	2009	DBLP DOI BibTeX RDF	game-theoretic Symmetries, harnessing design, Smalltalk
33	Josef Bigün, J. M. Hans du Buf	N-folded Symmetries by Complex Moments in Gabor Space and their Application to Unsupervised Texture Segmentation.	IEEE Trans. Pattern Anal. Mach. Intell.	1994	DBLP DOI BibTeX RDF	N-folded symmetries, Gabor space, Gabor power spectrum, local image content, rectangular structures, hexagonal/triangular structures, real geometric moments, image segmentation, resolution, spectral analysis, numerical analysis, frequency scales, linear structures, unsupervised texture segmentation, complex moments
33	Colin R. Edwards, Stanley L. Hurst	A Digital Synthesis Procedure Under Function Symmetries and Mapping Methods.	IEEE Trans. Computers	1978	DBLP DOI BibTeX RDF	Disjoint and nondisjoint decompositions, function symmetries, Rademacher?Walsh transform, logic synthesis, spectra
32	Paul T. Darga, Karem A. Sakallah, Igor L. Markov	Faster symmetry discovery using sparsity of symmetries.	DAC	2008	DBLP DOI BibTeX RDF	partition refinement, model checking, symmetry, constraint satisfaction problems, Boolean satisfiability, sparsity, graph automorphism
32	Isaac Z. Foster, Douglas A. Hanes, Neal H. Barmack, Gin McCollum	Spatial symmetries in vestibular projections to the uvula-nodulus.	Biol. Cybern.	2007	DBLP DOI BibTeX RDF
32	Dan Raviv, Alexander M. Bronstein, Michael M. Bronstein, Ron Kimmel	Symmetries of non-rigid shapes.	ICCV	2007	DBLP DOI BibTeX RDF
32	Michael G. McQuinn, Peter Kemper, William H. Sanders	Dependability Analysis with Markov Chains: How Symmetries Improve Symbolic Computations.	QEST	2007	DBLP DOI BibTeX RDF
32	Vicente Ruiz de Angulo, Carme Torras	Exploiting Single-Cycle Symmetries in Branch-and-Prune algorithms.	CP	2007	DBLP DOI BibTeX RDF
32	Bobby D. Bryant, Risto Miikkulainen	Exploiting Sensor Symmetries in Example-based Training for Intelligent Agents.	CIG	2006	DBLP DOI BibTeX RDF
32	Jean-Francois Puget	Breaking All Value Symmetries in Surjection Problems.	CP	2005	DBLP DOI BibTeX RDF
32	Qing Yang 0002, Bahram Parvin	Perceptual Organization of Radial Symmetries.	CVPR (1)	2004	DBLP DOI BibTeX RDF
32	Arathi Ramani, Igor L. Markov	Automatically Exploiting Symmetries in Constraint Programming.	CSCLP	2004	DBLP DOI BibTeX RDF
32	H. E. Bez	A Functional Equation Approach to the Computation of the Parameter Symmetries of Spline Paths.	IMA Conference on the Mathematics of Surfaces	2003	DBLP DOI BibTeX RDF
32	Christoph Buchheim, Seok-Hee Hong 0001	Crossing Minimization for Symmetries.	ISAAC	2002	DBLP DOI BibTeX RDF
32	Lorenzo Capra, Claude Dutheillet, Giuliana Franceschinis, Jean-Michel Ilié	On the use of partial symmetries for lumping Markov chains.	SIGMETRICS Perform. Evaluation Rev.	2001	DBLP DOI BibTeX RDF
32	A. Giani, Paul R. White, W. B. Collis, M. Weston	Exploiting input space symmetries in video deinterlacing using radial basis function networks.	ICIP (1)	2001	DBLP DOI BibTeX RDF
32	Radu Iosif	Exploiting Heap Symmetries in Explicit-State Model Checking of Software.	ASE	2001	DBLP DOI BibTeX RDF
32	Björn Johansson 0002, Hans Knutsson, Gösta H. Granlund	Detecting Rotational Symmetries Using Normalized Convolution.	ICPR	2000	DBLP DOI BibTeX RDF
32	Björn Johansson 0002, Gösta H. Granlund	Fast Selective Detection of Rotational Symmetries Using Normalized Inhibition.	ECCV (1)	2000	DBLP DOI BibTeX RDF
32	Christoph Scholl 0001, Dirk Möller, Paul Molitor, Rolf Drechsler	BDD minimization using symmetries.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1999	DBLP DOI BibTeX RDF
32	Giovanni Chiola	Manual and Automatic Exploitation of Symmetries in SPN Models.	ICATPN	1998	DBLP DOI BibTeX RDF
32	Ari D. Gross, Terrance E. Boult	Analyzing skewed symmetries.	Int. J. Comput. Vis.	1994	DBLP DOI BibTeX RDF
32	Uwe Egly	A First Order Resolution Calculus with Symmetries.	LPAR	1993	DBLP DOI BibTeX RDF
29	Dominique Michelucci	Isometry group, words and proofs of geometric theorems.	SAC	2008	DBLP DOI BibTeX RDF	Knuth-Bendix, orthogonal symmetries group, rewriting methods, groups, geometry, rewriting, words, isometry, involution
29	Mercedes Granda, José M. Drake, José A. Gregorio	Performance Evaluation of Parallel Systems by Using Unbounded Generalized Stochastic Petri Nets.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	unbounded generalized stochastic Petri nets, unbounded places, natural symmetries, finite graph, lumped states, unbounded places, open parallel systems, k-bounded, performance evaluation, parallel programming, Petri nets, performance measures, parallel machines, stochastic processes, parallel systems, state space, steady-state solution
29	Alex Pentland, Stan Sclaroff	Closed-Form Solutions for Physically Based Shape Modeling and Recognition.	IEEE Trans. Pattern Anal. Mach. Intell.	1991	DBLP DOI BibTeX RDF	3-D surface, pattern recognition, pattern recognition, object-recognition, picture processing, picture processing, finite element method, solid modeling, solid modelling, shape recognition, finite element analysis, shape modeling, parametric modeling, rotational symmetries
29	M. Kirby, L. Sirovich	Application of the Karhunen-Loeve Procedure for the Characterization of Human Faces.	IEEE Trans. Pattern Anal. Mach. Intell.	1990	DBLP DOI BibTeX RDF	Karhunen-Loeve procedure, natural symmetries, mirror images, Karhunen-Loeve expansion, eigenfunctions, pattern recognition, pattern recognition, matrix algebra, eigenvalues and eigenfunctions, covariance matrix, human faces
28	Aleksey Golovinskiy, Joshua Podolak, Thomas A. Funkhouser	Symmetry-Aware Mesh Processing.	IMA Conference on the Mathematics of Surfaces	2009	DBLP DOI BibTeX RDF	symmetry analysis, mesh processing
28	Vinod K. Valsalam, Risto Miikkulainen	Evolving symmetric and modular neural networks for distributed control.	GECCO	2009	DBLP DOI BibTeX RDF	multilegged robots, controllers, modularity, symmetry, group theory, indirect encoding