Login / Signup

On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi.

Ivan LaneseJorge A. PérezDavide SangiorgiAlan Schmitt
Published in: ICALP (2) (2010)
Keyphrases
  • higher order
  • synchronous communication
  • artificial intelligence
  • database
  • search algorithm
  • expressive power
  • real time
  • data sets
  • neural network
  • computer vision
  • pairwise
  • natural images
  • high order