Enlargement of viewing freedom of reduced-view SMV display.

Junya Nakamura Taichi Takahashi Yasuhiro Takaki

Published in: SD&A (2012)

Keyphrases

real time
multiple views
databases
information systems
database systems
artificial neural networks
model checking
real world
data mining
feature selection
data structure
significantly reduced
symbolic model checking
multi projector