10718 search results - page 590 / 2144 » On the Circuit Implementation Problem |
176
click to vote
CADE
2001
Springer
16 years 7 months ago
2001
Springer
RACER implements a TBox and ABox reasoner for the logic SHIQ. RACER was the first full-fledged ABox description logic system for a very expressive logic and is based on optimized s...
171
click to vote
IPPS
2006
IEEE
16 years 1 months ago
2006
IEEE
Computer science and especially heterogeneous distributed computing is an experimental science. Simulation, emulation, or in-situ implementation are complementary methodologies to...
168
click to vote
ICIAR
2004
Springer
16 years 18 days ago
2004
Springer
We present a maximum a posteriori solution to problems of accurate registration of blurred images and recovery of an original undegraded image. Our algorithm has the advantage that...
192
click to vote
IOLTS
2000
IEEE
15 years 11 months ago
2000
IEEE
We propose a procedure for self-testing of an FPGA programmed to implement a user-defined function. The procedure is intended to improve the detectability of FPGA delay faults. Th...
177
click to vote
APVIS
2007
15 years 8 months ago
2007
In this paper, we consider the problem of navigating graphs drawn in 2.5 dimensions. First, we define criteria for good navigation and then present various methods to satisfy som...