Developments in multimedia technologies have paved way for the storage of huge
collections of video documents on computer systems. It is essential to design tools for …

With the speedy development of multimedia and communication technology, it can facilitate
content sharing such as text, pictures, and videos online or of􀅭 line without unlimited access …

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 …

The current paper suggests an initial segmentation system, detection and grouping of visual
information based on faces to facilitate the use, the handling and validation of the VIDTIMIT …

Video is the most challenging and has lots of issues than other type of multimedia data and
video authentication is one of the popular issues regarding the video. Technologies of …

Video Extraction Analyzer (VidExA) has been developed in order to solve one of the
problems encountered in the difficulty in determining the contents of the existing data in a …

In software engineering, formal methods are particular mathematically based techniques
and tools for the formal specification, model checking, proof, and validation software and …