-
公开(公告)号：US08768910B1
公开(公告)日：2014-07-01
申请号：US13446646
申请日：2012-04-13
IPC分类号： G06F17/00
CPC分类号： G06F17/30864 , G06F17/30017 , G06F17/30023 , G06F17/30657 , G06F17/30663
摘要： A computer device obtains a search query; obtains product search results based on the search query and a products search index that includes information regarding documents associated with products; determines a category associated with a set of result of the product search results; identifies candidate queries for the search query; determines whether the category matches one of the candidate queries; identifies that the search query is associated with a type of media identified by the category when the category matches one of the candidate queries; and provides, in response to identifying that the search query is associated with the type of media, a result document based on the type of media.
摘要翻译： 计算机设备获得搜索查询; 根据搜索查询获得产品搜索结果，产品搜索索引包含与产品相关的文档信息; 确定与产品搜索结果的一组结果相关联的类别; 识别搜索查询的候选查询; 确定该类别是否匹配其中一个候选查询; 识别该搜索查询与该类别在类别与其中一个候选查询匹配时识别的媒体类型相关联; 并且响应于识别出搜索查询与媒体类型相关联，提供基于媒体类型的结果文档。
-
公开(公告)号：US08635212B1
公开(公告)日：2014-01-21
申请号：US13454818
申请日：2012-04-24
CPC分类号： G06F17/30867
摘要： A ranked list of first search results based on a search query may be associated with a first search category, and each first search result may be associated with a first score. A ranked list of second search results based on the search query may be associated with a second, different search category, and a second search result may be associated with a second score. A final second score may be determined based on the second score and a function that maps scores associated with the second search category to scores associated with the first search category, information may be inserted relating to the ranked list of second search results at a position within the ranked list of first search results to form a set of search results, and the set of search results may be provided.
摘要翻译： 基于搜索查询的第一搜索结果的排名列表可以与第一搜索类别相关联，并且每个第一搜索结果可以与第一分数相关联。 基于搜索查询的第二搜索结果的排名列表可以与第二不同的搜索类别相关联，并且第二搜索结果可以与第二分数相关联。 可以基于第二分数和将与第二搜索类别相关联的分数映射到与第一搜索类别相关联的分数的功能来确定最终的第二分数，可以将信息与第二搜索结果的排名列表相关联， 首先搜索结果的排名列表形成一组搜索结果，并且可以提供一组搜索结果。
-
公开(公告)号：US08538946B1
公开(公告)日：2013-09-17
申请号：US13552364
申请日：2012-07-18
CPC分类号： G06F17/30654 , G06F17/30864
摘要： A server is configured to determine translations of queries from a first language into a second language, associated with a first specialized search engine, to obtain translated queries. The server is also configured to use a first model, associated with the first specialized search engine, to determine values for the translated queries. A value of the values, corresponding to a translated query of the translated queries, reflects a probability that the translated query is a type of query for which first specialized search results are responsive. The server is configured to create training data based on the queries and the values, and to create a second model based on the training data. The second model may be used to predict whether a particular query, received by the web search engine, is the type of query for which second specialized search results, from a second specialized search engine, are responsive.
摘要翻译： 服务器被配置为确定与第一专用搜索引擎相关联的从第一语言到第二语言的查询的翻译以获得翻译的查询。 服务器还被配置为使用与第一专用搜索引擎相关联的第一模型来确定翻译的查询的值。 对应于翻译查询的翻译查询的值的值反映了翻译的查询是第一专门搜索结果响应的查询的类型的概率。 服务器被配置为基于查询和值创建训练数据，并且基于训练数据创建第二模型。 第二模型可以用于预测由web搜索引擎接收到的特定查询是否是来自第二专门搜索引擎的第二专门搜索结果响应的查询的类型。
-
4.发明授权公开(公告)号：US07904846B2
公开(公告)日：2011-03-08
申请号：US11831745
申请日：2007-07-31
CPC分类号： G06F17/5022
摘要： A computer is programmed to automatically generate in memory, goals for functional verification of a design of a circuit by use of constraints that are specified in the normal manner. Specifically, a predetermined set of rules are automatically applied to the constraints, on random values for signals to be input to the circuit during simulation of the design. Application of the rules identifies one or more templates of goal(s) to be met. The computer is programmed to automatically use constraint(s) and template(s) to instantiate goal(s) in memory. Each goal identifies a signal to be input to the circuit, and defines a counter for a value of the signal. The goals are used in the normal manner, i.e. used to measure coverage of functional verification during simulation of the design of the circuit.
摘要翻译： 计算机被编程为在存储器中自动生成，通过使用以正常方式指定的约束来对电路设计进行功能验证的目标。 具体而言，在设计仿真期间，将规定的规则集合自动应用于要输入到电路的信号的随机值的约束。 规则的应用确定要满足的目标的一个或多个模板。 计算机被编程为自动使用约束和模板来实例化存储器中的目标。 每个目标识别要输入到电路的信号，并且定义用于信号值的计数器。 目标以正常方式使用，即用于在模拟电路设计期间测量功能验证的覆盖范围。
-
5.发明授权Method for automatic maximization of coverage in constrained stimulus driven simulation 有权在受限刺激驱动模拟中自动最大化覆盖的方法公开(公告)号：US07617468B2
公开(公告)日：2009-11-10
申请号：US11831673
申请日：2007-07-31
CPC分类号： G01R31/31835 , G06F17/5081
摘要： A computer increases coverage in simulation of a design of a circuit by processing goals for coverage differently depending on whether or not the goals are on input signals of the circuit. Specifically, goals on input signals are used to automatically formulate constraints (“directly-derived constraints”) on values of input signals in test vectors. Goals on non-input signals (e.g. internal/output signals) are used with correlations to automatically formulate more additional constraints (“correlation-derived constraints”), by use of goals on non-input signals. The correlations indicate which non-input signals are associated with which input signals. The correlations are received from, for example, a human designer of the circuit. Depending on the embodiment, one or more of the automatically derived constraints are used with human-supplied constraints, to generate test vectors e.g. using a constraints solver, such as a satisfiability (SAT) engine. The test vectors are supplied to a simulator for functional verification.
摘要翻译： 计算机通过根据目标是否在电路的输入信号上不同地处理覆盖目标而增加对电路设计的模拟的覆盖。 具体来说，输入信号的目标被用于自动地对测试矢量中的输入信号的值自动制定约束（“直接导出约束”）。 使用非输入信号（例如内部/输出信号）的目标，其相关性通过使用非输入信号上的目标来自动制定更多附加约束（“相关来源约束”）。 相关性指示哪些输入信号与哪个输入信号相关联。 相关性从例如电路的人类设计者接收。 根据实施例，一个或多个自动导出的约束与人类提供的约束一起使用，以生成测试向量，例如， 使用约束求解器，如可满足性（SAT）引擎。 将测试向量提供给用于功能验证的模拟器。
-
6.发明申请Method For Automatic Maximization of Coverage in Constrained Stimulus Driven Simulation 有权在约束激励驱动模拟中自动最大化覆盖的方法公开(公告)号：US20090037858A1
公开(公告)日：2009-02-05
申请号：US11831673
申请日：2007-07-31
IPC分类号： G06F17/50
CPC分类号： G01R31/31835 , G06F17/5081
摘要： A computer increases coverage in simulation of a design of a circuit by processing goals for coverage differently depending on whether or not the goals are on input signals of the circuit. Specifically, goals on input signals are used to automatically formulate constraints (“directly-derived constraints”) on values of input signals in test vectors. Goals on non-input signals (e.g. internal/output signals) are used with correlations to automatically formulate more additional constraints (“correlation-derived constraints”), by use of goals on non-input signals. The correlations indicate which non-input signals are associated with which input signals. The correlations are received from, for example, a human designer of the circuit. Depending on the embodiment, one or more of the automatically derived constraints are used with human-supplied constraints, to generate test vectors e.g. using a constraints solver, such as a satisfiability (SAT) engine. The test vectors are supplied to a simulator for functional verification.
摘要翻译： 计算机通过根据目标是否在电路的输入信号上不同地处理覆盖目标而增加对电路设计的模拟的覆盖。 具体来说，输入信号的目标被用于自动地对测试矢量中的输入信号的值自动制定约束（“直接导出约束”）。 使用非输入信号（例如内部/输出信号）的目标，其相关性通过使用非输入信号上的目标来自动制定更多附加约束（“相关来源约束”）。 相关性指示哪些输入信号与哪个输入信号相关联。 相关性从例如电路的人类设计者接收。 根据实施例，一个或多个自动导出的约束与人类提供的约束一起使用，以生成测试向量，例如， 使用约束求解器，如可满足性（SAT）引擎。 将测试向量提供给用于功能验证的模拟器。
-
-
-
-
-
搜索结果
6 条记录 (耗时 0.019 秒)