Login / Signup

Decidable Weighted Expressions with Presburger Combinators.

Emmanuel FiliotNicolas MazzocchiJean-François Raskin
Published in: FCT (2017)
Keyphrases
  • facial expressions
  • natural language
  • first order logic
  • weighted sum
  • mathematical expressions
  • function free horn
  • real time
  • data sets
  • artificial intelligence
  • order statistics
  • recursive functions