In particular embodiments, a method includes receiving from a remote system a binary
decision diagram (BDD) representing data streams from sensors, an input, and a first hash …

5,754,677 5,771,225 5,790,713 5,802,523 5,815,664 5,875,311 5,878.218 5,913,214
5,936,750 5,958,052 5,971,537 5,974,242 5,976,083 6,110,114 6,169,381 6,172,576 …

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 …

In particular embodiments, a method includes receiving a query for data in data sets that are
within a specified range, constructing a first binary decision diagram (BDD) representing the …

According to certain embodiments, a first characteristic function representing a first set of
samples and a second characteristic function representing a second set of samples are …

7,290,229 B2 10/2007 Baumgartner 7,844,924 B2 11/2010 Sasao 8,099,690 B2 1/2012
Goswami 2001/0005804 A1 2002/009 1686 A1 2002/0150285 A1 2002/0169587 A1 2003 …

SIGNATURE ENGINE 36 data is accessed. The set of samples records medical measure
ments taken by one or more medical sensors. A characteristic function is generated from the …

According to certain embodiments, a set of samples of sensor data is accessed. The set of
samples records environmental measurements taken by one or more environmental …

Exact approaches to combinational equivalence checking, such as automatic test pattern
generation-based, binary decision diagrams (BDD)-based, satisfiability-based, and hybrid …

In particular embodiments, a method includes accessing first binary decision diagrams
(BDDS) representing data streams from sensors, selecting portions from the first BDDs …