Sciweavers

439 search results - page 11 / 88
» Choiceless Computation and Symmetry
Sort
View
CG
1999
Springer
14 years 9 months ago
Chaotic attractors and evolving planar symmetry
Building upon work which illustrated families of chaotic functions with planar symmetries, we explore evolving attractors from one symmetry type to another. We observe different wa...
Jeffrey P. Dumont, Flynn J. Heiss, Kevin C. Jones,...
FM
2006
Springer
146views Formal Methods» more  FM 2006»
15 years 1 months ago
Exact and Approximate Strategies for Symmetry Reduction in Model Checking
Symmetry reduction techniques can help to combat the state space explosion problem for model checking, but are restricted by the hard problem of determining equivalence of states d...
Alastair F. Donaldson, Alice Miller
CAD
2008
Springer
14 years 9 months ago
Detecting approximate symmetries of discrete point subsets
Detecting approximate symmetries of parts of a model is important when attempting to determine the geometric design intent of approximate boundary-representation (B-rep) solid mod...
Ming Li, Frank C. Langbein, Ralph R. Martin
112
Voted
IJRR
2008
242views more  IJRR 2008»
14 years 9 months ago
Bilateral Symmetry Detection for Real-time Robotics Applications
Bilateral symmetry is a salient visual feature of many man-made objects. In this paper, we present research that use bilateral symmetry to identify, segment and track objects in re...
Wai Ho Li, Alan M. Zhang, Lindsay Kleeman
IPPS
2003
IEEE
15 years 2 months ago
Orientation Refinement of Virus Structures with Unknown Symmetry
Yongchang Ji, Dan C. Marinescu, Wei Zhang, Timothy...