1696 search results - page 75 / 340 » Permuted function matching |
DAC
1993
ACM
15 years 2 months ago
1993
ACM
The Walsh transform has numerous applications in computer-aided design, but the usefulness of these techniques in practice has been limited by the size of the boolean functions th...
124
Voted
ICDAR
2011
IEEE
13 years 10 months ago
2011
IEEE
—A shape descriptor combining the histogram of the Radon transform, the logarithmic-scale histogram, and the phase-only correlation function is proposed. Applying a logarithmic-s...
98
Voted
CADE
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Based on inductive definitions, we develop an automated tool for defining partial recursive functions in Higher-Order Logic and providing appropriate reasoning tools for ...
106
Voted
JAR
2010
14 years 5 months ago
2010
Based on inductive definitions, we develop a tool that automates the definition of partial recursive functions in higher-order logic (HOL) and provides appropriate proof rules for ...
93
Voted
CVRMED
1997
Springer
15 years 2 months ago
1997
Springer
Recently the entropy-similarity measure has been introduced for the registration of image pairs prior to subtraction in medical imaging e.g. digital subtraction angiography (DSA). ...