Login / Signup

Mechanized Information Flow Analysis through Inductive Assertions.

Warren A. Hunt Jr.Robert Bellarmine KrugSandip RayWilliam D. Young
Published in: FMCAD (2008)
Keyphrases
  • flow analysis
  • information flow
  • information processing
  • raw data
  • neural network
  • information systems
  • information extraction
  • information sources
  • data mining
  • machine learning
  • temporal information
  • information overload