Synthesized data structure for video data: a formal specification.
P. N. SridharanS. RamanPublished in: ICIP (3) (1996)
Keyphrases
- video data
- formal specification
- data structure
- video streams
- specification languages
- model checking
- video analysis
- video sequences
- object oriented design
- video content
- reverse engineering
- video frames
- digital video
- multimedia
- process algebra
- video camera
- video database
- surveillance videos
- formal methods
- video retrieval
- video indexing
- video clips
- key frames
- surveillance cameras
- video abstraction
- video browsing
- soccer video
- content based indexing
- concurrent systems
- video shots
- multimodal information
- video summarization
- information systems