25 January 2012 Object-oriented MSVL and its application
Author Affiliations +
Abstract
In this paper, an extended projection temporal logic(EPTL), based on a primitive operator prj , is formalized. Further, as an executable subset of EPTL, an object-oriented MSVL is presented, which extends the temporal logic programming language MSVL to support object, class, aliasing, inheritance and overloading features. An example of modeling and simulating digital signal processing is given to illustrate how to use and execute the language.
© (2012) COPYRIGHT Society of Photo-Optical Instrumentation Engineers (SPIE). Downloading of the abstract is permitted for personal use only.
Xiaobing Wang, Zhenhua Duan, Cong Tian, Haibin Zhang, "Object-oriented MSVL and its application", Proc. SPIE 8349, Fourth International Conference on Machine Vision (ICMV 2011): Machine Vision, Image Processing, and Pattern Analysis, 83490Y (25 January 2012); doi: 10.1117/12.920112; https://doi.org/10.1117/12.920112
PROCEEDINGS
7 PAGES


SHARE
RELATED CONTENT

Simplifying query-answering problems by unfolding
Proceedings of SPIE (January 13 2012)
Shape matching using optimization
Proceedings of SPIE (October 03 1995)
An upgrade to the telescope control system (TCS) for the...
Proceedings of SPIE (September 17 2012)
ROOP: a new artificial intelligence programming language
Proceedings of SPIE (August 28 1995)

Back to Top