-
公开(公告)号:CN102314342B
公开(公告)日:2016-08-17
申请号:CN201110177689.1
申请日:2011-06-17
Applicant: 微软技术许可有限责任公司
IPC: G06F9/44
CPC classification number: G06F8/45
Abstract: 在此描述的是用于生成用于数据并行编程模型的调用存根以使得用静态编译的高级编程语言编写的数据并行程序可以比传统方法更加声明性、可重用和可移植的技术。借助于所描述的技术中的某一些,由编译器(116)生成调用存根(118),且那些存根将数据并行计算的逻辑排列桥接到用于数据并行计算的目标数据并行硬件的实际物理排列。
-
公开(公告)号:CN105814563A
公开(公告)日:2016-07-27
申请号:CN201480068039.5
申请日:2014-12-09
Applicant: 微软技术许可有限责任公司
IPC: G06F17/30
CPC classification number: G06F16/31 , G06F11/0793 , G06F16/313 , G06F16/335 , G06Q10/20
Abstract: 此处公开了用于生成包含在知识库中的文档的增强的索引的系统和方法。将文档或配置快照令牌化,然后将它们传递通过多个过滤器。过滤器通过从令牌流中移除单词,并将域级别知识添加到令牌流中的各令牌中来修改该流以生成文档的增强的令牌流。然后,将令牌流添加到文档的索引中,以便当从配置快照或从输入的搜索查询生成搜索时,可以完成相对于知识库的搜索。
-
公开(公告)号:CN104871152A
公开(公告)日:2015-08-26
申请号:CN201380067535.4
申请日:2013-12-20
Applicant: 微软技术许可有限责任公司
IPC: G06F17/21
CPC classification number: G06F17/30705 , G06F17/30011 , G06F17/30598 , G06F19/24
Abstract: 此处描述了用于提供组织的内容的系统和方法。在一个示例中,方法包括从文档集合中标识脊柱文档,其中脊柱文档包括多个章节。该方法还包括将相关的文档拆分为多个子文档。另外,该方法还包括将子文档映射到脊柱文档的对应的章节。此外,该方法还包括基于对文档集合的搜索来显示子文档。
-
公开(公告)号:CN110651096A
公开(公告)日:2020-01-03
申请号:CN201880033239.5
申请日:2018-04-23
Applicant: 微软技术许可有限责任公司
IPC: E05D11/08
Abstract: 描述了一种为可移动组件提供可变扭矩曲线的摩擦铰链。在一示例中,该摩擦铰链包括:铰链框架;与铰链框架可枢转地接合的枢轴构件,该枢轴构件被附连到可移动地附连至设备的支撑组件;附连到铰链框架的细长构件,该细长构件在该细长构件的至少第一部分上具有斜坡表面;以及与细长构件可滑动地接合的接合构件,该接合构件被配置成在枢轴构件相对于铰链框架枢转期间沿着细长构件滑动,接合构件沿细长构件的斜坡表面的滑动基于表面高度在斜坡表面的长度距离上的改变量而导致滑动摩擦的变化,并且影响铰链的扭矩曲线。
-
公开(公告)号:CN105493078B
公开(公告)日:2019-07-23
申请号:CN201380077462.7
申请日:2013-06-14
Applicant: 微软技术许可有限责任公司
IPC: G06F16/532 , G06F16/583
Abstract: 对于将要搜索的图像集合中的每个图像,该图像被表示为色边字集合,其中每个色边字包括位置信息、形状信息和颜色信息。该图像可基于色边字被索引。接收用户生成的草图作为查询并将其表示为色边字集合。相似性将表示草图的色边字集合与该图像索引进行比较以基于位置相似性、形状相似性和颜色相似性的组合来标识搜索结果。
-
公开(公告)号:CN105814564A
公开(公告)日:2016-07-27
申请号:CN201480068127.5
申请日:2014-12-09
Applicant: 微软技术许可有限责任公司
IPC: G06F17/30
Abstract: 本文公开了用于搜索或处理用于搜索包含在因领域而异的知识库中的文档的查询的系统和方法。系统取得查询并且通过将查询传递通过查询处理器中的一个或多个过滤器来根据该查询生成查询的经修改的版本。查询处理器添加或移除查询中的项。查询处理器能够添加或识别看上去是分开的单词、实际上标识特定软件实体的两个单词,或者能够确定查询中出现的数字不仅仅是一个数字,而是表示与特定问题相关的特定版本或数字。
-
公开(公告)号:CN105493078A
公开(公告)日:2016-04-13
申请号:CN201380077462.7
申请日:2013-06-14
Applicant: 微软技术许可有限责任公司
IPC: G06F17/30
Abstract: 对于将要搜索的图像集合中的每个图像,该图像被表示为色边字集合,其中每个色边字包括位置信息、形状信息和颜色信息。该图像可基于色边字被索引。接收用户生成的草图作为查询并将其表示为色边字集合。相似性相似性相似性将表示草图的色边字集合与该图像索引进行比较以基于位置相似性、形状相似性和颜色相似性的组合来标识搜索结果。
-
公开(公告)号:CN102436376B
公开(公告)日:2016-01-13
申请号:CN201110340478.5
申请日:2011-10-19
Applicant: 微软技术许可有限责任公司
CPC classification number: G06F11/3612 , G06F11/3447 , G06F11/3476 , G06F11/3608 , G06F11/3692
Abstract: 本发明公开了用于分布式应用确认的模型检查。此处描述了模型检查系统,该模型检查系统通过提供模型和通用框架来检查应用不变属性、检测异常行为并监视应用健康从而更有效地验证和确认分布式应用的设计。模型检查系统针对从应用的正式描述所导出的应用模型来检查在线应用行为。该系统将具体应用制定为抽象模型以及期望在所有条件下适用于应用的多个规则或属性。模型检查器将实际应用执行与模型相比较,并且确认属性保持为真或是报告属性被违反。由此,模型检查系统提供了在更现实的生产条件下对分布式应用的更有效且全面的确认。
-
公开(公告)号:CN101449271B
公开(公告)日:2015-09-23
申请号:CN200780017842.6
申请日:2007-05-17
Applicant: 微软技术许可有限责任公司
CPC classification number: G06F17/30265
Abstract: 描述了通过搜索进行注释。在一个方面,在数据存储中搜索与给定图象的基线注释语义相关且与该给定图象在视觉上相似的图象。然后用关联于语义和视觉相关的图象的至少一个子集的注释的共同概念来注释该给定图象。
-
-
-
-
-
-
-
-