Sign in

Models and Separation Logics for Resource Trees.

Nicolas BiriDidier Galmiche
Published in: J. Log. Comput. (2007)
Keyphrases
  • expressive power
  • statistical models
  • information retrieval
  • statistical model
  • tree models
  • probabilistic model
  • mathematical models
  • neural network
  • complex systems
  • experimental data
  • statistical methods