Using Ordered Binary-Decision Diagrams for Compressing Images and Image Sequences.

Abstract

The Ordered Binary-Decision Diagram (OBDD) has been used to reduce the amount of space and computation required for verifying digital circuits by removing redundant copies of subfunctions. Similarly, image compression algorithms attempt to reduce their space requirements by finding replicated patterns or features in images. OBDDs would therefore appear to be a good candidate as a data structure for representing images. We show how images can be encoded using Ordered Binary-Decision Diagrams and compare our results to quadtrees. We also show how using this method extends naturally to compressing sequences of related images such those that comprise movies.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 1995
Accession Number
ADA292244

Entities

People

  • Mike Starkey
  • Randy Bryant

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • C4I

DTIC Thesaurus Topics

  • Circuits
  • Compression
  • Computer Science
  • Computers
  • Data Storage Systems
  • Digital Circuits
  • Image Compression
  • Personality
  • Quadrants
  • Sequences
  • Symbols
  • Trees (Data Structures)
  • Universities
  • Verification

Fields of Study

  • Computer science
  • Physics

Readers

  • Applied Combinatorial Optimization and Logic Circuit Design.
  • Computer Programming and Software Development.
  • Computer Vision.

Technology Areas

  • Space