Sciweavers

7393 search results - page 104 / 1479
» Synthesis-for-testability using transformations
Sort
View
AISC
2010
Springer
15 years 8 months ago
On Krawtchouk Transforms
Krawtchouk polynomials appear in a variety of contexts, most notably as orthogonal polynomials and in coding theory via the Krawtchouk transform. We present an operator calculus fo...
Philip Feinsilver, René Schott
WCRE
2000
IEEE
15 years 6 months ago
Reverse Engineering from Assembler to Formal Specifications via Program Transformations
The FermaT transformation system, based on research carried out over the last sixteen years at Durham University, De Montfort University and Software Migrations Ltd., is an indust...
Martin P. Ward
AIPS
2007
15 years 5 months ago
Transformational Planning for Everyday Activity
We propose an approach to transformational planning and learning of everyday activity. This approach is targeted at autonomous robots that are to perform complex activities such a...
Armin Müller, Alexandra Kirsch, Michael Beetz
ICANN
2011
Springer
14 years 6 months ago
Transforming Auto-Encoders
The artificial neural networks that are used to recognize shapes typically use one or more layers of learned feature detectors that produce scalar outputs. By contrast, the comput...
Geoffrey E. Hinton, Alex Krizhevsky, Sida D. Wang
ICIP
2006
IEEE
16 years 4 months ago
Regular Hybrid Wavelets and Directional Filter Banks: Extensions and Applications
In a previous work, we proposed a new family of nonredundant geometrical image transforms using Hybrid Wavelets and Directional filter banks (HWD). In this paper we further develo...
Ramin Eslami, Hayder Radha