7393 search results - page 319 / 1479 » Synthesis-for-testability using transformations |
110
click to vote
ICPR
2008
IEEE
15 years 11 months ago
2008
IEEE
In this paper, we present an approach to matching heart sounds based on modeling the morphological variations of audio envelopes through a constrained nonrigid translation transfo...
129
Voted
KSEM
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Description logics (DLs) are a well-known family of knowledge representation (KR) languages. The notation of DLs has the style of a variable-free first order predicate l...
146
click to vote
WCFLP
2005
ACM
15 years 10 months ago
2005
ACM
There exist several implementations of the functional logic language Curry: a transformation to Prolog and implementations of machines for C and Java. We show that there are many ...
124
click to vote
ICDAR
2003
IEEE
15 years 10 months ago
2003
IEEE
A new precision vectorization method has been developed for building centerlines of plain shapes. First a dense skeleton is computed. Centerlines are obtained as a subset of branc...
138
click to vote
ISCAS
1999
IEEE
15 years 9 months ago
1999
IEEE
This paper presents an algorithm for the low power implementation of the Discrete Cosine Transform on Single multiplier CMOS DSPs. The algorithm reduces power by a combination of ...