7393 search results - page 366 / 1479 » Synthesis-for-testability using transformations |
115
click to vote
CORR
1999
Springer
15 years 4 months ago
1999
Springer
This article investigates the use of Transformation-Based Error-Driven learning for resolving part-of-speech ambiguity in the Greek language. The aim is not only to study the perf...
123
click to vote
VC
2010
15 years 3 months ago
2010
In this paper we present a new algorithm to transform an RGB color image to a grayscale image. We propose using non-linear dimension reduction techniques to map higher dimensional ...
166
Voted
ESSLLI
2009
Springer
15 years 2 months ago
2009
Springer
The polynomial path order (POP for short) is a termination method that induces polynomial bounds on the innermost runtime complexity of term rewrite systems (TRSs for short). Seman...
111
click to vote
ICCAD
2006
IEEE
16 years 1 months ago
2006
IEEE
We present a technique for increasing the throughput of stream processing architectures by removing the bottlenecks caused by loop structures. We implement loops as self-timed pip...
123
click to vote
ICPR
2008
IEEE
15 years 11 months ago
2008
IEEE
A novel group theoretical method is proposed for autonomous navigation based on a spherical image camera. The environment of a robot is captured on a sphere. The three dimensional...