2314 search results - page 285 / 463 » Monoids over domains |
FMCAD
2009
Springer
15 years 8 months ago
2009
Springer
—Sequential equivalence checking (SEC) technologies, capable of demonstrating the behavioral equivalence of two designs, have grown dramatically in capacity over the past decades...
107
click to vote
ICCBR
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. When learning by observing an expert, cases can be automatically generated in an inexpensive manner. However, since this is a passive method of learning the observer has ...
143
click to vote
ISVC
2009
Springer
15 years 8 months ago
2009
Springer
In this paper, we present a method for the fast and accurate computation of the local cross-correlation of 3D vectorial data. Given spherical patches of 3D vector fields, our meth...
ACMSE
2009
ACM
15 years 8 months ago
2009
ACM
Computer networks have grown considerably over the past decade. Faster and cheaper Internet connections have brought millions of PCs into a domain where rich content and fast down...
96
Voted
CANDC
2009
ACM
15 years 8 months ago
2009
ACM
Analogy is a fundamental process of creativity. Biologically inspired design by definition entails crossdomain analogies, and in practice has led to many innovative designs. Thus,...