Login / Signup

Automatic state space decomposition for approximate FSM traversal based on circuit analysis.

Hyunwoo ChoGary D. HachtelEnrico MaciiMassimo PoncinoFabio Somenzi
Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (1996)
Keyphrases
  • state space
  • heuristic search
  • data sets
  • high speed
  • learning algorithm
  • objective function
  • data structure
  • search algorithm
  • image analysis
  • multiresolution
  • efficient computation