COMBINING MEDICAL BINARY DECISION DIAGRAMS TO DETERMINE DATA CORRELATIONS

In particular embodiments, a method includes accessing a first binary decision diagram (BDD) representing a data stream from a first sensor and a second BDD representing a data stream from a second sensor, determining whether the first sensor data and the second sensor data correlate by: constructing a third BDD by performing an OR operation between the first and second BDDs, determining sizes of the first, second, and third BDDs, and comparing the third size to the sum of the first size and the second size; where the degree that the first sensor data and the second sensor data correlate is indicated by the amount that the third size is less than the sum of the first size and the second size.