Login / Signup

A Trace-Based Semantics for Responsiveness.

Walter VoglerChristian StahlRichard Müller
Published in: ACSD (2012)
Keyphrases
  • neural network
  • proof theory
  • computer vision
  • keywords
  • semantic information
  • transformation rules
  • databases
  • genetic algorithm
  • similarity measure
  • evolutionary algorithm
  • execution traces
  • abstract argumentation