A Network Data Abstraction Method for Data Set Verification.

Jaeik Cho Kyuwon Choi Taeshik Shon Jongsub Moon

Published in: STA (2011)

Keyphrases

data sets
data abstraction
artificial intelligence
image sequences
video sequences
programming language
tree structure
model checking
formal specification