|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2114 occurrences of 1326 keywords
|
|
|
Results
Found 18986 publication records. Showing 18985 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
103 | Hagit Zabrodsky, Shmuel Peleg, David Avnir |
Symmetry as a Continuous Feature. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1995 |
DBLP DOI BibTeX RDF |
local symmetry, symmetry distance, fuzzy shapes, face orientation, similarity measure, occlusion, Symmetry |
94 | E. Allen Emerson, Richard J. Trefler |
From Asymmetry to Full Symmetry: New Techniques for Symmetry Reduction in Model Checking. |
CHARME |
1999 |
DBLP DOI BibTeX RDF |
|
84 | Wei Hong 0003, Allen Y. Yang, Kun Huang 0001, Yi Ma 0001 |
On Symmetry and Multiple-View Geometry: Structure, Pose, and Calibration from a Single Image. |
Int. J. Comput. Vis. |
2004 |
DBLP DOI BibTeX RDF |
structure from symmetry, reflective symmetry, translational symmetry, multiple-view geometry, rotational symmetry, symmetry group |
81 | Ari D. Gross, Terrance E. Boult |
Analyzing skewed symmetries. |
Int. J. Comput. Vis. |
1994 |
DBLP DOI BibTeX RDF |
|
78 | Alastair F. Donaldson, Alice Miller 0001 |
Exact and Approximate Strategies for Symmetry Reduction in Model Checking. |
FM |
2006 |
DBLP DOI BibTeX RDF |
Promela/Spin, computational group theory, model checking, symmetry, Gap |
78 | Sriparna Saha 0001, Sanghamitra Bandyopadhyay |
A New Line Symmetry Distance and Its Application to Data Clustering. |
J. Comput. Sci. Technol. |
2009 |
DBLP DOI BibTeX RDF |
symmetry property, line-symmetry-based distance, genetic algorithm, clustering, face recognition, unsupervised classification, Kd-tree |
72 | Mark Po-Hung Lin, Shyh-Chang Lin |
Analog Placement Based on Novel Symmetry-Island Formulation. |
DAC |
2007 |
DBLP DOI BibTeX RDF |
|
72 | Yiu-Cheong Tam, Evangeline F. Y. Young, Chris C. N. Chu |
Analog placement with symmetry and other placement constraints. |
ICCAD |
2006 |
DBLP DOI BibTeX RDF |
symmetry constraints, placement, analog circuits, sequence-pair |
72 | Ashish Sabharwal |
SymChaff: exploiting symmetry in a structure-aware satisfiability solver. |
Constraints An Int. J. |
2009 |
DBLP DOI BibTeX RDF |
SymChaff, Complete multi-class symmetry, Global symmetry, High-level representation, Planning, SAT, Boolean satisfiability |
72 | Mohamed Ould Djibril, Rachid Oulad Haj Thami |
Islamic geometrical patterns indexing and classification using discrete symmetry groups. |
ACM Journal on Computing and Cultural Heritage |
2008 |
DBLP DOI BibTeX RDF |
Islamic geometrical patterns, Islamic geometrical patterns classification and indexing, art images classification and retrieval, symmetry features extraction, symmetry groups |
66 | Alexandre Belloni, Robert M. Freund |
On the symmetry function of a convex set. |
Math. Program. |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 90C25, 90C27, 65K05 |
66 | Qingtang Jiang |
Orthogonal and Biorthogonal FIR Hexagonal Filter Banks With Sixfold Symmetry. |
IEEE Trans. Signal Process. |
2008 |
DBLP DOI BibTeX RDF |
|
66 | Belaid Benhamou, Mohamed Réda Saïdi |
Local Symmetry Breaking During Search in CSPs. |
CP |
2007 |
DBLP DOI BibTeX RDF |
|
66 | Raif M. Rustamov |
Augmented planar reflective symmetry transform. |
Vis. Comput. |
2008 |
DBLP DOI BibTeX RDF |
Symmetry transform, Spherical harmonic descriptors, Zernike descriptors, 3D shape retrieval |
66 | Krishnan Suresh, Ameya Sirpotdar |
Automated symmetry exploitation in engineering analysis. |
Eng. Comput. |
2006 |
DBLP DOI BibTeX RDF |
CAD/CAE, Symmetry, Group theory, Engineering analysis, Eigen-value |
66 | Predrag Minovic, Seiji Ishikawa, Kiyoshi Kato |
Symmetry Identification of a 3-D Object Represented by Octree. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1993 |
DBLP DOI BibTeX RDF |
symmetry identification, principal axis transform, complexity, image recognition, image recognition, trees (mathematics), octree, 3D object recognition |
65 | Dinggang Shen, Horace Ho-Shing Ip, Kent K. T. Cheung, Eam Khwang Teoh |
Symmetry Detection by Generalized Complex (GC) Moments: A Close-Form Solution. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1999 |
DBLP DOI BibTeX RDF |
reflectional and rotational symmetry, symmetric axis, generalized complex (GC) moments, fold number, fold axes, rotationally symmetric image, reflection-symmetric image, Symmetry detection |
65 | Luc Van Gool, Theo Moons, Marc Proesmans |
Mirror and Point Symmetry under Perspective Skewing. |
CVPR |
1996 |
DBLP DOI BibTeX RDF |
skewed mirror and point symmetry, symmetry invariants, grouping, hypothesis testing, projective transformations |
65 | Patrick J. Flynn |
3-D Object Recognition with Symmetric Models: Symmetry Extraction and Encoding. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1994 |
DBLP DOI BibTeX RDF |
symmetric models, symmetry extraction, invariant feature indexing, correspondence-building mechanism, segment label permutations, symmetry encoding, databases, feature extraction, image coding, image recognition, encoding, 3-D object recognition |
65 | Vishvjit S. Nalwa |
Line-Drawing Interpretation: Bilateral Symmetry. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1989 |
DBLP DOI BibTeX RDF |
bilateral symmetry, symmetry axis, pattern recognition, pattern recognition, picture processing, picture processing, orthographic projection, line drawing interpretation |
62 | A. Prasad Sistla, Patrice Godefroid |
Symmetry and reduced symmetry in model checking. |
ACM Trans. Program. Lang. Syst. |
2004 |
DBLP DOI BibTeX RDF |
formula decomposition, model checking algorithms and tools, temporal logics, symmetry reductions, State space explosion |
61 | Symmetry Editorial Office |
Expression of Concern: Lin et al. A Perception Study for Unit Charts in the Context of Large-Magnitude Data Representation. Symmetry 2023, 15, 219. |
Symmetry |
2024 |
DBLP DOI BibTeX RDF |
|
61 | Symmetry Editorial Office |
Acknowledgment to the Reviewers of Symmetry in 2022. |
Symmetry |
2023 |
DBLP DOI BibTeX RDF |
|
61 | Symmetry Editorial Office |
Acknowledgment to Reviewers of Symmetry in 2021. |
Symmetry |
2022 |
DBLP DOI BibTeX RDF |
|
61 | Symmetry Editorial Office |
Acknowledgment to Reviewers of Symmetry in 2020. |
Symmetry |
2021 |
DBLP DOI BibTeX RDF |
|
61 | Symmetry Editorial Office |
Acknowledgement to Reviewers of Symmetry in 2019. |
Symmetry |
2020 |
DBLP DOI BibTeX RDF |
|
59 | Raif M. Rustamov |
Augmented Symmetry Transforms. |
Shape Modeling International |
2007 |
DBLP DOI BibTeX RDF |
|
59 | Ju-Whan Song, Ou-Bong Gwun |
Reflective Symmetry Detection Based on Parallel Projection. |
ICANNGA (2) |
2007 |
DBLP DOI BibTeX RDF |
|
59 | Xuan S. Yang, Jihong Pei, Weixin Xie |
Rotation Registration of Medical Images Based on Image Symmetry. |
ICIC (1) |
2005 |
DBLP DOI BibTeX RDF |
|
59 | E. Allen Emerson, John Havlicek, Richard J. Trefler |
Virtual Symmetry Reduction. |
LICS |
2000 |
DBLP DOI BibTeX RDF |
|
59 | 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 |
59 | Liyan Zhang, Anshuman Razdan, Gerald E. Farin, John Femiani 0001, MyungSoo Bae, Charles Lockwood |
3D face authentication and recognition based on bilateral symmetry analysis. |
Vis. Comput. |
2006 |
DBLP DOI BibTeX RDF |
Symmetry analysis, Face recognition, Face authentication, 3D faces |
59 | 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 |
59 | Michael M. Kazhdan, Bernard Chazelle, David P. Dobkin, Thomas A. Funkhouser, Szymon Rusinkiewicz |
A Reflective Symmetry Descriptor for 3D Models. |
Algorithmica |
2004 |
DBLP DOI BibTeX RDF |
D model matching and retrieval, Shape representation, Symmetry detection |
59 | Vito Di Gesù, Bertrand Y. Zavidovique |
S_Kernel: A New Symmetry Measure. |
PReMI |
2005 |
DBLP DOI BibTeX RDF |
Symmetry transforms, feature extraction, correlation, symmetry measure |
59 | 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 |
59 | Changming Sun, Jamie Sherrah |
3D Symmetry Detection Using The Extended Gaussian Image. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1997 |
DBLP DOI BibTeX RDF |
reflectional and rotational symmetry, extended Gaussian image, sphere tessellation, principal axis, Symmetry detection, orientation histogram |
56 | Inês Lynce, João Marques-Silva 0001 |
Breaking Symmetries in SAT Matrix Models. |
SAT |
2007 |
DBLP DOI BibTeX RDF |
|
53 | Seungkyu Lee, Robert T. Collins, Yanxi Liu 0001 |
Rotation symmetry group detection via frequency analysis of frieze-expansions. |
CVPR |
2008 |
DBLP DOI BibTeX RDF |
|
53 | Sriparna Saha 0001, Sanghamitra Bandyopadhyay, Chingtham Tejbanta Singh |
A new line symmetry distance based pattern classifier. |
IJCNN |
2008 |
DBLP DOI BibTeX RDF |
|
53 | M. E. Fels |
Integrating Scalar Ordinary Differential Equations with Symmetry Revisited. |
Found. Comput. Math. |
2007 |
DBLP DOI BibTeX RDF |
|
53 | Darius Grigaitis, Mecislovas Meilunas |
Automatic Extraction of Symmetry Plane from Falx Cerebri Areas in CT Slices. |
Bildverarbeitung für die Medizin |
2007 |
DBLP DOI BibTeX RDF |
|
53 | Tammy Riklin-Raviv, Nahum Kiryati, Nir A. Sochen |
Segmentation by Level Sets and Symmetry. |
CVPR (1) |
2006 |
DBLP DOI BibTeX RDF |
|
53 | Ian P. Gent, Tom Kelsey, Steve Linton, Iain McDonald, Ian Miguel, Barbara M. Smith |
Conditional Symmetry Breaking. |
CP |
2005 |
DBLP DOI BibTeX RDF |
|
53 | A. Prasad Sistla |
Symmetry Reductions in Model-Checking. |
VMCAI |
2003 |
DBLP DOI BibTeX RDF |
|
53 | James Coplien, Liping Zhao 0001 |
Symmetry Breaking in Software Patterns. |
GCSE |
2000 |
DBLP DOI BibTeX RDF |
|
53 | Nahum Kiryati, Yossi Gofman |
Detecting Symmetry in Grey Level Images: The Global Optimization Approach. |
Int. J. Comput. Vis. |
1998 |
DBLP DOI BibTeX RDF |
|
53 | Thomas Zielke, Michael Brauckmann, Werner von Seelen |
Intensity and Edge-Based Symmetry Detection Applied to Car-Following. |
ECCV |
1992 |
DBLP DOI BibTeX RDF |
|
53 | Wolfgang John, Maurizio Dusi, Kimberly C. Claffy |
Estimating routing symmetry on single links by passive flow measurements. |
IWCMC |
2010 |
DBLP DOI BibTeX RDF |
internet, classification, routing, network, measurement, analysis, symmetry, flow, characterization, traffic, asymmetry |
53 | 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 |
53 | 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 |
53 | Ulf Melin, Karin Axelsson |
Emphasizing symmetry issues in business interaction analysis and IOS. |
ICEC |
2004 |
DBLP DOI BibTeX RDF |
business action theory, business interaction, inter-organisational information systems, power in organisations, symmetry, asymmetry |
53 | Stanislav Sheynin, Alexander Tuzikov, Denis Volgin |
Computation of Symmetry Measures for Polygonal Shapes. |
CAIP |
1999 |
DBLP DOI BibTeX RDF |
polygons, symmetry measures |
53 | Kuo-Hua Wang, Jia-Hung Chen |
Symmetry detection for incompletely specified functions. |
DAC |
2004 |
DBLP DOI BibTeX RDF |
equivalence symmetry, non-equivalence symmetry |
50 | A. Prasad Sistla, Patrice Godefroid |
Symmetry and Reduced Symmetry in Model Checking. |
CAV |
2001 |
DBLP DOI BibTeX RDF |
|
50 | Cheng-Wu Lin, Jai-Ming Lin, Chun-Po Huang, Soon-Jyh Chang |
Performance-driven analog placement considering boundary constraint. |
DAC |
2010 |
DBLP DOI BibTeX RDF |
analog placement, boundary constraint, symmetry |
50 | 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 |
47 | Maurizio Cardaci, Filippo Millonzi, Marco Elio Tabacchi |
Modelling the Effects of Internal Textures on Symmetry Detection Using Fuzzy Operators. |
WILF |
2009 |
DBLP DOI BibTeX RDF |
|
47 | Richard J. Trefler, Thomas Wahl |
Extending Symmetry Reduction by Exploiting System Architecture. |
VMCAI |
2009 |
DBLP DOI BibTeX RDF |
|
47 | Sanghamitra Bandyopadhyay, Sriparna Saha 0001 |
A Point Symmetry-Based Clustering Technique for Automatic Evolution of Clusters. |
IEEE Trans. Knowl. Data Eng. |
2008 |
DBLP DOI BibTeX RDF |
|
47 | Qing Dong 0002, Shigetoshi Nakatake |
Constraint-free analog placement with topological symmetry structure. |
ASP-DAC |
2008 |
DBLP DOI BibTeX RDF |
|
47 | Minwoo Park, Seungkyu Lee, Po-Chun Chen, Somesh Kashyap, Asad A. Butt, Yanxi Liu 0001 |
Performance evaluation of state-of-the-art discrete symmetry detection algorithms. |
CVPR |
2008 |
DBLP DOI BibTeX RDF |
|
47 | Sanghamitra Bandyopadhyay, Sriparna Saha 0001 |
A New Principal Axis Based Line Symmetry Measurement and Its Application to Clustering. |
ICONIP (2) |
2008 |
DBLP DOI BibTeX RDF |
|
47 | Zhitao Xiao, Jun Wu 0014 |
Analysis on Image Symmetry Detection Algorithms. |
FSKD (4) |
2007 |
DBLP DOI BibTeX RDF |
|
47 | Barbara M. Smith, Stefano Bistarelli, Barry O'Sullivan |
Constraint Symmetry for the Soft CSP. |
CP |
2007 |
DBLP DOI BibTeX RDF |
|
47 | Daniel S. Heller, Meinolf Sellmann |
Dynamic Symmetry Breaking Restarted. |
CP |
2006 |
DBLP DOI BibTeX RDF |
|
47 | Daijue Tang, Sharad Malik, Aarti Gupta, C. Norris Ip |
Symmetry Reduction in SAT-Based Model Checking. |
CAV |
2005 |
DBLP DOI BibTeX RDF |
|
47 | Allen Y. Yang, Shankar R. Rao, Kun Huang 0001, Wei Hong 0003, Yi Ma 0001 |
Geometric Segmentation of Perspective Images Based on Symmetry Groups. |
ICCV |
2003 |
DBLP DOI BibTeX RDF |
|
47 | E. Allen Emerson, Thomas Wahl |
On Combining Symmetry Reduction and Symbolic Representation for Efficient Model Checking. |
CHARME |
2003 |
DBLP DOI BibTeX RDF |
|
47 | Michael M. Kazhdan, Bernard Chazelle, David P. Dobkin, Adam Finkelstein, Thomas A. Funkhouser |
A Reflective Symmetry Descriptor. |
ECCV (2) |
2002 |
DBLP DOI BibTeX RDF |
|
47 | Stefan Fischer 0002, Michael Binkert, Horst Bunke |
Symmetry Based Indexing of Diatoms in an Image Database. |
ICPR |
2000 |
DBLP DOI BibTeX RDF |
|
47 | Stefan Carlsson |
Symmetry in Perspective. |
ECCV (1) |
1998 |
DBLP DOI BibTeX RDF |
|
47 | Baingio Pinna, Marco Elio Tabacchi |
A Fuzzy Approach to the Role of Symmetry in Shape Formation: The Illusion of the Scalene Triangle. |
WILF |
2009 |
DBLP DOI BibTeX RDF |
fuzzy operators, shape formation, perception, symmetry |
47 | Nicolas Ray, Bruno Vallet, Wan-Chiu Li, Bruno Lévy 0001 |
N-symmetry direction field design. |
ACM Trans. Graph. |
2008 |
DBLP DOI BibTeX RDF |
N-symmetry direction field, Vector field design, topology |
47 | 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 |
47 | Andrea Albarelli, Marcello Pelillo, Sebastiano Viviani |
Consensus Graphs for Symmetry Plane Estimation. |
SSPR/SPR |
2008 |
DBLP DOI BibTeX RDF |
shape registration, clustering, symmetry, dominant sets |
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 | Radu Iosif |
Symmetry reductions for model checking of concurrent dynamic software. |
Int. J. Softw. Tools Technol. Transf. |
2004 |
DBLP DOI BibTeX RDF |
Orbit problem, Temporal logic, Software verification, Symmetry reductions |
47 | Domingo Giménez, Robert A. van de Geijn, Vicente Hernández, Antonio M. Vidal |
Exploiting the Symmetry on the Jacobi Method on a Mesh of Processors. |
PDP |
1996 |
DBLP DOI BibTeX RDF |
parallel Jacobi method, symmetric eigenvalue problem, matrix symmetry, scalable Jacobi method, Intel Touchstone DELTA, parallel algorithms, scalability, distributed memory systems, eigenvalues and eigenfunctions, distributed memory parallel computers, Jacobian matrices |
47 | Sriparna Saha 0001, Sanghamitra Bandyopadhyay, Ujjwal Maulik |
A New Symmetry Based Cluster Validity Index: Application to Satellite Image Segmentation. |
ICIT |
2006 |
DBLP DOI BibTeX RDF |
point symmetry based distance, symmetry, Unsupervised classification, Kd tree, remote sensing imagery, cluster validity index |
47 | Eugene M. Luks, Amitabha Roy 0001 |
The Complexity of Symmetry-Breaking Formulas. |
Ann. Math. Artif. Intell. |
2004 |
DBLP DOI BibTeX RDF |
lex-leader formulas, symmetry in search, symmetry-breaking |
47 | Bea Thai, Glenn Healey |
Representing Multiscale N-folded Symmetry in Color Texture. |
ICIP (1) |
1997 |
DBLP DOI BibTeX RDF |
multiscale N-folded symmetry, multiscale symmetry features, high level representation, color bands, scale selective filters, orientation selective filters, texture retrieval, rotation invariant features, scale invariant features, illumination invariant features, performance, image database, experimental results, texture classification, image colour analysis, filter bank, color texture, complex moments |
44 | Hüseyin Tek, Benjamin B. Kimia |
Perceptual Organization via the Symmetry Map and Symmetry Transforms. |
CVPR |
1999 |
DBLP DOI BibTeX RDF |
|
44 | Joachim S. Stahl, Song Wang 0002 |
Globally Optimal Grouping for Symmetric Closed Boundaries by Combining Boundary and Region Information. |
IEEE Trans. Pattern Anal. Mach. Intell. |
2008 |
DBLP DOI BibTeX RDF |
edge grouping, boundary symmetry, edge detection, graph models, Perceptual organization, boundary detection |
44 | 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 |
41 | Péter Bokor, Marco Serafini, Neeraj Suri, Helmut Veith |
Role-Based Symmetry Reduction of Fault-Tolerant Distributed Protocols with Language Support. |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
|
41 | Daniel S. Heller, Aurojit Panda, Meinolf Sellmann, Justin Yip |
Model Restarts for Structural Symmetry Breaking. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
41 | 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 |
|
41 | Sriparna Saha 0001, Sanghamitra Bandyopadhyay |
On some symmetry based validity indices. |
IEEE Congress on Evolutionary Computation |
2007 |
DBLP DOI BibTeX RDF |
|
41 | Wai Ho Li, Lindsay Kleeman |
Real Time Object Tracking using Reflectional Symmetry and Motion. |
IROS |
2006 |
DBLP DOI BibTeX RDF |
|
41 | Alastair F. Donaldson, Alice Miller 0001 |
A Computational Group Theoretic Symmetry Reduction Package for the Spin Model Checker. |
AMAST |
2006 |
DBLP DOI BibTeX RDF |
|
41 | Paul C. Bressloff |
Spontaneous symmetry breaking in self-organizing neural fields. |
Biol. Cybern. |
2005 |
DBLP DOI BibTeX RDF |
|
41 | Ou Wei, Arie Gurfinkel, Marsha Chechik |
Identification and Counter Abstraction for Full Virtual Symmetry. |
CHARME |
2005 |
DBLP DOI BibTeX RDF |
|
41 | V. Shiv Naga Prasad, B. Yegnanarayana 0001 |
Finding axes of symmetry from potential fields. |
IEEE Trans. Image Process. |
2004 |
DBLP DOI BibTeX RDF |
|
41 | Arjan Kuijper, Ole Fogh Olsen |
On Extending Symmetry Sets for 2D Shapes. |
SSPR/SPR |
2004 |
DBLP DOI BibTeX RDF |
|
41 | Thierry Boy de la Tour |
A Note on Symmetry Heuristics in SEM. |
CADE |
2002 |
DBLP DOI BibTeX RDF |
|
41 | Gilles Audemard, Belaid Benhamou |
Reasoning by Symmetry and Function Ordering in Finite Model Generation. |
CADE |
2002 |
DBLP DOI BibTeX RDF |
|
41 | Qingfeng Yu, Hanqing Lu, Songde Ma |
Computer Analysis of Rotational Symmetry in CBED Patterns. |
ICPR |
2000 |
DBLP DOI BibTeX RDF |
|
41 | Youcef Bourai, C.-J. Richard Shi |
Symmetry Detection for Automatic Analog-Layout Recycling. |
ASP-DAC |
1999 |
DBLP DOI BibTeX RDF |
|
41 | Edmund M. Clarke, Thomas Filkorn, Somesh Jha |
Exploiting Symmetry In Temporal Logic Model Checking. |
CAV |
1993 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 18985 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|