Home // MMEDIA 2014, The Sixth International Conferences on Advances in Multimedia // View article

Structuring Video Database using a Formal Methods Approach

Authors:
Noraida Haji Ali
Fadilah Harun

Keywords: formal methods; video; video structure; formalization and formal specification.

Abstract:
Formal methods provide a foundation for many of the techniques that have changed the face of software development over the last two decades. Structuralizing video streams plays an important role in the processing of video. The basic structure for video is a hierarchical structure which consists of four kinds of components, namely frame, shot, scene, and video program. Formalizing supports the reliability and accuracy of the modeling language. Various researches have been done related to formal methods, video structure, and formalizing. This paper discusses the analysis of formal methods, applications, and structuring formal methods in video structure. The output from this study is, can determine the relation in video structure using the algebraic relation.

Pages: 10 to 13

Copyright: Copyright (c) IARIA, 2014

Publication date: February 23, 2014

Published in: conference

ISSN: 2308-4448

ISBN: 978-1-61208-320-9

Location: Nice, France

Dates: from February 23, 2014 to February 27, 2014