Sign in

Panel: Your Core - My Problem? Integration and Verification of IP.

Gabe MorettiTim HopesRamesh NarayanaswamyNanette CollinsDave KelfTom AndersonJanick BergeronAshish DixitPeter Flake
Published in: DAC (2001)
Keyphrases
  • model checking
  • formal methods
  • information integration
  • data mining
  • data integration
  • data fusion
  • person identification
  • data sets
  • evolutionary algorithm
  • face verification