Sign in

ZRES: The Old Davis-Putman Procedure Meets ZBDD.

Philippe ChatalicLaurent Simon
Published in: CADE (2000)
Keyphrases
  • neural network
  • computer vision
  • feature selection
  • multimedia
  • three dimensional
  • multiscale
  • cooperative