3457 search results - page 360 / 692 » A Symbol Is Not a Symbol |
160
click to vote
ENTCS
2007
15 years 6 months ago
2007
We describe techniques for diagnosing errors in formal equivalence checking of RTL and transistor level models of high performance microprocessors at Freescale Semiconductor Inc. ...
158
click to vote
FSS
2007
15 years 6 months ago
2007
We investigate the use of multilattices as the set of truth-values underlying a general fuzzy logic programming framework. On the one hand, some theoretical results about ideals o...
145
click to vote
IJBC
2007
15 years 6 months ago
2007
A particularly simple and mathematically elegant example of chaos in a threedimensional flow is examined in detail. It has the property of cyclic symmetry with respect to intercha...
168
click to vote
IJBC
2007
15 years 6 months ago
2007
Abstract. The stable and unstable invariant manifolds associated with Lyapunov orbits about the libration point L1 between the primaries in the planar circular restricted three-bod...
157
click to vote
INFORMATICALT
2007
15 years 6 months ago
2007
In this article we present the general architecture of a hybrid neuro-symbolic system for the selection and stepwise elimination of predictor variables and non-relevant individuals...