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, Xiaobing Wang, Zhenhua Duan, Zhenhua Duan, Cong Tian, Cong Tian, Haibin Zhang, 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

Shape matching using optimization
Proceedings of SPIE (October 02 1995)
Object-oriented reasoning in cognitive systems
Proceedings of SPIE (June 22 2000)
An upgrade to the telescope control system (TCS) for the...
Proceedings of SPIE (September 16 2012)

Back to Top