会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 1. 发明申请
    • Analyzing the Ability to Find Textual Content
    • 分析查找文本内容的能力
    • US20080033971A1
    • 2008-02-07
    • US11461464
    • 2006-08-01
    • David CarmelAdam DarlowShai FineDan PellegElad Yom-Tov
    • David CarmelAdam DarlowShai FineDan PellegElad Yom-Tov
    • G06F7/00
    • G06F17/30675
    • A method and system for analyzing a document set (202, 420) are provided. The method includes determining a set of terms (312) from the terms of the document set that minimizes a distance measurement (405) from the given set of documents (420). The method includes using a greedy algorithm to build the set of terms incrementally, at each stage finding a single word that is closest to the document set (202, 420). The set of terms is evaluated to assess the ability to find the document set (202, 420). The set of terms are compared with expected terms to evaluate the ability to find the document set (202, 420). A measure of the ability to find a document set (202, 420) is provided by computing a distance measure (403) between a document set and an entire collection.
    • 提供了一种用于分析文档集(202,420)的方法和系统。 该方法包括从文档集合的术语中确定一组术语(312),该文档集合的术语使距离给定文档集合(420)最小化距离测量(405)。 该方法包括使用贪心算法逐渐建立术语集合,在每个阶段找到最靠近文档集(202,420)的单个单词。 评估一组术语以评估查找文档集(202,420)的能力。 将这组术语与预期术语进行比较,以评估查找文档集(202,420)的能力。 通过计算文档集和整个集合之间的距离度量(403)来提供查找文档集(202,420)的能力的度量。
    • 2. 发明授权
    • Analyzing the ability to find textual content
    • 分析查找文字内容的能力
    • US07792830B2
    • 2010-09-07
    • US11461464
    • 2006-08-01
    • David CarmelAdam DarlowShai FineDan PellegElad Yom-Tov
    • David CarmelAdam DarlowShai FineDan PellegElad Yom-Tov
    • G06F7/00G06F17/30G06F15/18G06F17/00G06N5/02
    • G06F17/30675
    • A method and system for analyzing a document set (202, 420) are provided. The method includes determining a set of terms (312) from the terms of the document set that minimizes a distance measurement (405) from the given set of documents (420). The method includes using a greedy algorithm to build the set of terms incrementally, at each stage finding a single word that is closest to the document set (202, 420). The set of terms is evaluated to assess the ability to find the document set (202, 420). The set of terms are compared with expected terms to evaluate the ability to find the document set (202, 420). A measure of the ability to find a document set (202, 420) is provided by computing a distance measure (403) between a document set and an entire collection.
    • 提供了一种用于分析文档集(202,420)的方法和系统。 该方法包括从文档集合的术语中确定一组术语(312),该文档集合的术语使距离给定文档集合(420)最小化距离测量(405)。 该方法包括使用贪心算法逐渐建立术语集合,在每个阶段找到最靠近文档集(202,420)的单个单词。 评估一组术语以评估查找文档集(202,420)的能力。 将这组术语与预期术语进行比较,以评估查找文档集(202,420)的能力。 通过计算文档集和整个集合之间的距离度量(403)来提供查找文档集(202,420)的能力的度量。
    • 4. 发明授权
    • Merging of results in distributed information retrieval
    • 结果在分布式信息检索中合并
    • US07984039B2
    • 2011-07-19
    • US11183086
    • 2005-07-14
    • David CarmelAdam DarlowShai FineElad Yom-Tov
    • David CarmelAdam DarlowShai FineElad Yom-Tov
    • G06F7/00G06F17/30
    • G06F17/30864
    • A method and system are provided of merging results in distributed information retrieval. A search manager is in communication with a plurality of components, wherein a component is a search engine working on a document collection and returning results in the form of a list of documents to a search query. The search manager submits a query to the plurality of components, receives results from each component in the form of a list of documents; estimates the success of a component in handling the query to generate a merit score for a component per query; applies the merit score to the results for the component; and merges results from the plurality of components by ranking in order of the applied merit score.
    • 提供了一种在分布式信息检索中合并结果的方法和系统。 搜索管理器与多个组件进行通信,其中组件是对文档收集工作的搜索引擎,并以搜索查询的文档列表的形式返回结果。 搜索管理器向多个组件提交查询,以文档列表的形式从每个组件接收结果; 估计组件处理查询的成功,以生成每个查询的组件的优点得分; 将优点分数应用于组件的结果; 并且通过按照所应用的优点得分的顺序来排列来自多个组分的结果。
    • 5. 发明申请
    • Merging of results in distributed information retrieval
    • 结果在分布式信息检索中合并
    • US20070016574A1
    • 2007-01-18
    • US11183086
    • 2005-07-14
    • David CarmelAdam DarlowShai FineElad Yom-Tov
    • David CarmelAdam DarlowShai FineElad Yom-Tov
    • G06F17/30
    • G06F17/30864
    • A method and system are provided of merging results in distributed information retrieval. A search manager (104) is in communication with a plurality of components, wherein a component is a search engine (106-108) working on a document collection and returning results in the form of a list of documents to a search query. The search manager (104) submits a query (202) to the plurality of components, receives results (213) from each component in the form of a list of documents; estimates (208) the success of a component in handling the query to generate a merit score (210) for a component per query; applies (220) the merit score (210) to the results for the component; and merges (222) results from the plurality of components by ranking in order of the applied merit score.
    • 提供了一种在分布式信息检索中合并结果的方法和系统。 搜索管理器(104)与多个组件通信,其中组件是在文档收集上工作的搜索引擎(106-108),并以搜索查询的文档列表的形式返回结果。 搜索管理器(104)向多个组件提交查询(202),以文档列表的形式从每个组件接收结果(213); 估计(208)组件在处理查询中的成功以生成每个查询的组件的优点得分(210); 将优点得分(210)(220)应用于组件的结果; 并通过按照应用的优点得分的顺序来合并来自多个成分的结果(222)。
    • 9. 发明申请
    • Probabilistic regression suites for functional verification
    • 概率回归套件进行功能验证
    • US20080255813A1
    • 2008-10-16
    • US12121962
    • 2008-05-16
    • Shai FineShmuel UrAvi ZivSimon Rushton
    • Shai FineShmuel UrAvi ZivSimon Rushton
    • G06F7/60
    • G06F17/504
    • Methods, apparatus and systems are provided that enable the generation of random regression suites for verification of a hardware or software design to be formulated as optimization problems. Solution of the optimization problems using probabilistic methods provides information on which set of test specifications should be used, and how many tests should be generated from each specification. In one mode of operation regression suites are constructed that use the minimal number of tests required to achieve a specific coverage goal. In another mode of operation regression suites are constructed so as to maximize task coverage when a fixed number of tests are run or within a fixed cost.
    • 提供了方法,装置和系统,其能够生成随机回归套件以验证将被制定为优化问题的硬件或软件设计。 使用概率方法的优化问题的解决方案提供了应使用哪组测试规范的信息,以及每个规范应该生成多少个测试。 在一种操作模式中,构建了使用最少数量的测试来实现特定覆盖目标的回归套件。 在另一种操作模式下,构建回归套件,以便在运行固定数量的测试或固定成本时最大化任务覆盖。
    • 10. 发明授权
    • Clustering-based approach for coverage-directed test generation
    • 面向覆盖的测试生成的基于聚类的方法
    • US07203882B2
    • 2007-04-10
    • US10930327
    • 2004-08-31
    • Shai FineAvi Ziv
    • Shai FineAvi Ziv
    • G01R31/28
    • G01R31/31813G01R31/318371
    • A coverage-directed test generation technique for functional design verification relies on events that are clustered according to similarities in the way that the events are stimulated in a simulation environment, not necessarily related to the semantics of the events. The set of directives generated by a coverage-directed test generation engine for each event is analyzed and evaluated for similarities with sets of directives for other events. Identified similarities in the sets of directives provide the basis for defining event clusters. Once clusters have been defined, a common set of directives for the coverage-directed test generation engine is generated that attempts to cover all events in a given cluster.
    • 用于功能设计验证的面向覆盖的测试生成技术依赖于根据事件在仿真环境中被刺激的方式的相似性聚类的事件,这些事件不一定与事件的语义相关。 针对每个事件由覆盖面向测试生成引擎生成的指令集进行分析,并针对其他事件的指令集进行相似性评估。 在指令集中确定的相似性为定义事件集群提供了基础。 一旦定义了集群,就会生成针对覆盖范围的测试生成引擎的一组常用的指令,试图覆盖给定集群中的所有事件。