Volume 31; Issue 9

Systems and Computers in Japan

Volume 31; Issue 9
1

Yet more image computations for SMV, the symbolic model verifier

Year:
2000
Language:
english
File:
PDF, 128 KB
english, 2000
6

Parallel architecture for high-speed LZSS data coding/decoding

Year:
2000
Language:
english
File:
PDF, 212 KB
english, 2000
9

Fast visual search using focused color matching—active search

Year:
2000
Language:
english
File:
PDF, 738 KB
english, 2000