摘要 |
In particular embodiments, a method includes accessing a first binary decision diagram (BDD) representing data streams from sensors, selecting portions from the first BDD based on ease-of-analysis, and constructing a plurality of sub-BDDs by partitioning the first BDD, wherein the sub-BDDs comprises a first sub-BDD representing the selected portions, and second sub-BDDs representing the non-selected portions. |