File Refinement.

Karen Zee Viktor Kuncak

Published in: Arch. Formal Proofs (2004)

Keyphrases

database
neural network
file formats
file organization
digital libraries
expert systems
image compression
refinement process
file organizations
case study
high level
multiscale
evolutionary algorithm
hidden markov models