L. M. Davis

Learn More
This paper presents a new formalized procedure to assess the performance of automatic target tracking systems. The procedure involves comparing data output by a tracking system under test with track data in a truth file. The comparison of the data sources uses a total of 15 tracker performance metrics. These cover the categories of track initiation, track(More)
Linear logic is a resource-aware logic that is based on an analysis of the classical proof rules of contraction (copying) and weakening (throwing away). Several previous researchers have studied functional programming languages derived from linear logic according to the \formulas-as-types" correspondence. In languages with linear logic types, one may hope(More)
  • 1