FVision: A declarative language for visual tracking

John Peterson, Paul Hudak, Alastair Reid, Greg Hager

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Functional programming languages are not generally associated with computationally intensive tasks such as computer vision. We show that a declarative programming language like Haskell is effective for describing complex visual tracking systems. We have taken an existing C++ library for computer vision, called XVision, and used it to build FVision (pronounced “fission”), a library of Haskell types and functions that provides a high-level interface to the lower-level XVision code. Using functional abstractions, users of FVision can build and test new visual tracking systems rapidly and reliably. The use of Haskell does not degrade system performance: computations are dominated by low-level calculations expressed in C++ while the Haskell “glue code” has a negligible impact on performance. FVision is built using functional reactive programming (FRP) to express interaction in a purely functional manner. The resulting system demonstrates the viability of mixed-language programming: visual tracking programs continue to spend most of their time executing low-level image-processing code, while Haskell’s advanced features allow us to develop and test systems quickly and with confidence. In this paper, we demonstrate the use of Haskell and FRP to express many basic abstractions of visual tracking.

Original languageEnglish (US)
Title of host publicationPractical Aspects of Declarative Languages - 3rd International Symposium, PADL 2001, Proceedings
EditorsI.V. Ramakrishnan
PublisherSpringer Verlag
Pages304-321
Number of pages18
ISBN (Print)9783540417682
DOIs
StatePublished - 2001
Event3rd International Symposium on Practical Aspects of Declarative Languages, PADL 2001 - Las Vegas, United States
Duration: Mar 11 2001Mar 12 2001

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume1990
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other3rd International Symposium on Practical Aspects of Declarative Languages, PADL 2001
CountryUnited States
CityLas Vegas
Period3/11/013/12/01

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'FVision: A declarative language for visual tracking'. Together they form a unique fingerprint.

  • Cite this

    Peterson, J., Hudak, P., Reid, A., & Hager, G. (2001). FVision: A declarative language for visual tracking. In I. V. Ramakrishnan (Ed.), Practical Aspects of Declarative Languages - 3rd International Symposium, PADL 2001, Proceedings (pp. 304-321). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1990). Springer Verlag. https://doi.org/10.1007/3-540-45241-9_21