303 search results - page 28 / 61 » Moore and more and symmetry |
105
click to vote
ENTCS
2007
14 years 10 months ago
2007
Bounded Model Checking (BMC) is a successful refutation method to detect errors in not only circuits and other binary systems but also in systems with more complex domains like ti...
CG
2005
Springer
14 years 10 months ago
2005
Springer
This paper explores the visualization of two-dimensional stable and unstable manifolds of the origin (a saddle point) in a four-dimensional Hamiltonian system arising from control...
81
Voted
NPL
2000
14 years 10 months ago
2000
This paper explores internal representation power of product units [1] that act as the functional nodes in the hidden layer of a multi-layer feedforward network. Interesting proper...
CG
2010
Springer
14 years 9 months ago
2010
Springer
Cyclic cellular automata on the integer planar lattice are known to typically evolve through distinct phases ending with minimal periodic terminal states that usually appear as in...
ICIP
2009
IEEE
14 years 8 months ago
2009
IEEE
Supershape model is a recent primitive that represents numerous 3D shapes with several symmetry axes. The main interest of this model is its capability to reconstruct more complex...