Login / Signup

Observational Proofs with Critical Contexts.

Narjes BerregebAdel BouhoulaMichaël Rusinowitch
Published in: FASE (1998)
Keyphrases
  • theorem prover
  • database
  • real time
  • multimedia
  • database systems
  • image sequences
  • bayesian networks
  • data structure
  • relational databases
  • evolutionary algorithm
  • hidden markov models
  • ultimate goal
  • formal proof