OBDD Compression of Numerical Controllers.

Giuseppe Della Penna Nadia Lauri Daniele Magazzeni Benedetto Intrigila

Published in: ICINCO-ICSO (2008)

Keyphrases

data compression
reinforcement learning
image compression
compression ratio
model checking
compression algorithm
compression rate
compression scheme
control system
boolean functions
neural network
heuristic search
motion estimation
control strategy
numerical analysis
video sequences
finite difference