3201 search results - page 24 / 641 » High Quality Hatching |
TAP
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We consider the problem of test generation for Boolean combinational circuits. We use a novel approach based on the idea of treating tests as a proof encoding rather than...
ITC
2002
IEEE
15 years 2 months ago
2002
IEEE
ICOIN
2001
Springer
15 years 2 months ago
2001
Springer
ICMCS
1999
IEEE
15 years 1 months ago
1999
IEEE
Displaying broadcast video on a MultiMedia PC, implies the use of video format conversion (VFC) techniques, as computer displays and television receivers use quite distinct scanni...
ADL
1998
Springer
15 years 1 months ago
1998
Springer