会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 6. 发明授权
    • Annotating binary decision diagrams representing sensor data
    • 注释表示传感器数据的二进制决策图
    • US08645108B2
    • 2014-02-04
    • US12857613
    • 2010-08-17
    • Stergios StergiouJawahar Jain
    • Stergios StergiouJawahar Jain
    • G06F17/50
    • G06F17/30286
    • According to certain embodiments, one or more sets of model samples of model sensor data are accessed. Each set comprises one or more model samples corresponding to an annotation of one or more annotations. The following are performed for each set to yield one or more annotated model characteristic functions: represent each model sample of the each set as a model minterm to yield a set of model minterms; generate a model characteristic function from the set of model minterms, the model characteristic function indicating whether a given minterm is a member of the set of model minterms; and annotate the model characteristic function to yield an annotated model characteristic function. A general model characteristic function is generated from the one or more annotated model characteristic functions.
    • 根据某些实施例,访问模型传感器数据的一组或多组模型样本。 每个集合包括对应于一个或多个注释的注释的一个或多个模型样本。 对每个集合执行以下操作以产生一个或多个注释的模型特征函数:将每个集合的每个模型样本表示为模型minterm以产生一组模型Minterms; 从模型小组集合中生成模型特征函数,模型特征函数指示给定minterm是否是模型Minterms集合的成员; 并注释模型特征函数,以产生注释模型特征函数。 从一个或多个注释模型特征函数生成一般模型特征函数。
    • 9. 发明授权
    • Determining optimum variable orders for BDDs using pair-wise variable grouping
    • 使用成对变量分组确定BDD的最佳变量顺序
    • US08595179B2
    • 2013-11-26
    • US12901779
    • 2010-10-11
    • Stergios StergiouJawahar Jain
    • Stergios StergiouJawahar Jain
    • G06F17/00G06N7/00G06N7/08
    • G06F17/505G06N5/003
    • One embodiment accesses a binary decision diagram (BDD) representing a function having n variables, where n≧2, wherein the BDD comprises n layers corresponding to the n variables, respectively; separates the n variables into n ! 2 ⌊ n / 2 ⌋ groups, wherein each group comprises ⌈ n 2 ⌉ ordered sets, and each set in each group comprises 1 or 2 variables; for each of the n ! 2 ⌊ n / 2 ⌋ groups, determines a locally optimum variable order that yields a smallest size among 2└n/2┘ different variable orders of the BDD obtained within the group; and selects from n ! 2 ⌊ n / 2 ⌋ locally optimum variable orders corresponding to the n ! 2 ⌊ n / 2 ⌋ groups an optimum variable order of the BDD that yields a smallest size among the n ! 2 ⌊ n / 2 ⌋ locally optimum variable orders.
    • 一个实施例访问表示具有n个变量的函数的二进制判定图(BDD),其中n> = 2,其中BDD分别包括对应于n个变量的n个层; 将n个变量分成n个! 2⌊n / 2⌋组,其中每组包括⌈n 2⌉有序集,每组包含1或2个变量; 为每个n! 2⌊n / 2⌋组,确定在组内获得的BDD的不同可变顺序中产生最小尺寸的局部最优变量顺序; 并从n中选择! 2⌊n / 2⌋本地最优变量对应于n! 2⌊n / 2⌋组合BDD的最佳变量顺序,其在n中产生最小的尺寸! 2⌊n / 2⌋局部最优变量订单。
    • 10. 发明授权
    • Comparing boolean functions representing sensor data
    • 比较表示传感器数据的布尔函数
    • US08583718B2
    • 2013-11-12
    • US12857628
    • 2010-08-17
    • Stergios StergiouJawahar Jain
    • Stergios StergiouJawahar Jain
    • G06F17/14
    • G06F17/18
    • According to certain embodiments, a first Boolean function and a second Boolean function are received. The first Boolean function represents a first data set, and the second Boolean function represents a second data set. The first Boolean function and the second Boolean function are transformed to a first arithmetic function and a second arithmetic function, respectively. A first hash code and a second hash code are calculated from the first arithmetic function and the second arithmetic function, respectively. If the first hash code equals the second hash code, the first Boolean function and the second Boolean function are designated as equivalent; otherwise, the first Boolean function and the second Boolean function are designated as not equivalent.
    • 根据某些实施例,接收第一布尔函数和第二布尔函数。 第一个布尔函数表示第一个数据集,第二个布尔函数表示第二个数据集。 第一布尔函数和第二布尔函数分别转换为第一算术函数和第二算术函数。 第一散列码和第二散列码分别从第一算术函数和第二算术函数计算。 如果第一个哈希码等于第二个哈希码,则第一个布尔函数和第二个布尔函数被指定为等效的; 否则,第一个布尔函数和第二个布尔函数被指定为不等效。