Login / Signup

An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part I).

Willem ConradieSalih DurhanGuido Sciavicco
Published in: Log. Methods Comput. Sci. (2018)
Keyphrases
  • endpoints
  • theoretical framework
  • first order logic
  • theoretical basis
  • general theory
  • linear model
  • real numbers
  • computer vision
  • higher order
  • multi view
  • point sets
  • sample points
  • action theories