会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 72. 发明授权
    • Caching query results with binary decision diagrams (BDDs)
    • 使用二进制决策图(BDD)缓存查询结果
    • US08468142B2
    • 2013-06-18
    • US12535461
    • 2009-08-04
    • Stergios StergiouJawahar Jain
    • Stergios StergiouJawahar Jain
    • G06F7/00G06F17/30
    • G06F17/30625
    • Construct a plurality of first binary decision diagrams (BDDs), each representing a different one of a plurality of words. Construct a plurality of second BDDs, each representing a different one of a plurality of search queries, each of the search queries comprising one or more of the words. Construct a plurality of third BDDs, each representing a different one of a plurality of web pages. Construct a plurality of fourth BDDs, each representing a different one of a plurality of search results, each search result comprising one or more web pages. Construct a plurality of fifth BDDs each representing a different one of a plurality of search tuples, each of the search tuples comprising a different one of the search queries and a different one of the search results. Construct a sixth BDD representing the search queries and the search results.
    • 构造多个第一二进制决策图(BDD),每个二进制判决图表示多个单词中的不同的一个。 构建多个第二BDD,每个第二BDD表示多个搜索查询中的不同的一个,每个搜索查询包括一个或多个单词。 构造多个第三BDD,每个BDD表示多个网页中的不同的一个。 构造多个第四BDD,每个BDD表示多个搜索结果中的不同的一个,每个搜索结果包括一个或多个网页。 构成多个第五BDD,每个第一BDD表示多个搜索元组中的不同的一个,每个搜索元组包括不同的搜索查询和搜索结果中的不同的搜索结果。 构建第六个BDD表示搜索查询和搜索结果。
    • 76. 发明授权
    • BDD variable reordering using parallel permutation
    • BDD变量重排序使用并行排列
    • US08370289B2
    • 2013-02-05
    • US12901685
    • 2010-10-11
    • Stergios StergiouJawahar Jain
    • Stergios StergiouJawahar Jain
    • G06F17/00G06N7/00G06N7/08
    • G06N7/00
    • 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; and the BDD has a first variable order where each variable i is at layer i for 1≦i≦n; and reorders the n variables of the BDD according to a second variable order denoted as π(i), where each variable i is at layer π(i) for 1≦i≦n, by iteratively and alternatingly swapping one or more first disjoint pairs of consecutive layers during each odd iteration and swapping one or more second disjoint pairs of consecutive layers during each even iteration, until the second variable order is achieved, wherein during each iteration, two consecutive layers are swapped only if a current order of two variables at the two consecutive layers differs from an order of the two variables specified by the second variable order.
    • 一个实施例访问表示具有n个变量的函数的二进制判定图(BDD),其中n≥2,其中:BDD分别包括对应于n个变量的n个层; 并且BDD具有第一变量顺序,其中每个变量i在层i为1≦̸ i≦̸ n; 并且根据表示为&pgr;(i)的第二变量顺序来重新排列BDD的n个变量,其中每个变量i在层&pgr;(i)对于1≦̸ i≦̸ n,通过迭代和交替地交换一个或多个第一 在每次奇偶迭代期间不连续的连续层对,并且在每个偶迭代期间交替连续层的一个或多个第二不相交对,直到实现第二可变顺序,其中在每次迭代期间,仅当两个连续层被交换时, 两个连续层的变量与第二个变量顺序指定的两个变量的顺序不同。