|
US2014046886A1
|
|
Modeling dynamic graphs with binary decision diagrams
|
|
US2014046875A1
|
|
BDD variable reordering using multiple computing devices
|
|
US2014043457A1
|
|
Pulse Wave Transit Time Using Two Cameras as Pulse Sensors
|
|
US2013268565A1
|
|
Traversal based directed graph compaction
|
|
US2013080843A1
|
|
Detecting sensor malfunctions using compression analysis of binary decision diagrams
|
|
US2013080379A1
|
|
Annotating medical binary decision diagrams with health state information
|
|
US2013080380A1
|
|
Combining medical binary decision diagrams for analysis optimization
|
|
US2013080381A1
|
|
Combining medical binary decision diagrams to determine data correlations
|
|
US2013080382A1
|
|
Compression threshold analysis of binary decision diagrams
|
|
US2013080118A1
|
|
Partitioning medical binary decision diagrams for size optimization
|
|
US2013080836A1
|
|
Detecting data corruption in medical binary decision diagrams using hashing techniques
|
|
US2013080470A1
|
|
Range queries in binary decision diagrams
|
|
US2013080114A1
|
|
Partitioning medical binary decision diagrams for analysis optimization
|
|
US2012130203A1
|
|
Inductively-Powered Ring-Based Sensor
|
|
US2012089556A1
|
|
Optimum layer-swapping schedules for BDDs with four variables
|
|
US2012089559A1
|
|
Parallel window algorithm
|
|
US2012089557A1
|
|
Determining optimum variable orders for BDDs using pair-wise variable grouping
|
|
US2012089561A1
|
|
Parallel sifting algorithm
|
|
US2012089560A1
|
|
Window algorithm using maximal parallelization
|
|
US2012047136A1
|
|
Annotating medical data represented by characteristic functions
|
