Share Email Print
cover

Proceedings Paper

Object-oriented MSVL and its application
Author(s): Xiaobing Wang; Zhenhua Duan; Cong Tian; Haibin Zhang
Format Member Price Non-Member Price
PDF $14.40 $18.00
cover GOOD NEWS! Your organization subscribes to the SPIE Digital Library. You may be able to download this paper for free. Check Access

Paper 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.

Paper Details

Date Published: 25 January 2012
PDF: 7 pages
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
Show Author Affiliations
Xiaobing Wang, Xidian Univ. (China)
Zhenhua Duan, Xidian Univ. (China)
Cong Tian, Xidian Univ. (China)
Haibin Zhang, Xidian Univ. (China)


Published in SPIE Proceedings Vol. 8349:
Fourth International Conference on Machine Vision (ICMV 2011): Machine Vision, Image Processing, and Pattern Analysis
Zhu Zeng; Yuting Li, Editor(s)

© SPIE. Terms of Use
Back to Top