-
公开(公告)号:CN104737155B
公开(公告)日:2017-07-21
申请号:CN201380054348.2
申请日:2013-10-17
Applicant: 微软公司
IPC: G06F17/22
CPC classification number: G06F17/2264
Abstract: 提供了使用统计和机器学习技术来学习想要的排序函数以供在用于串变换的领域的归纳程序合成中使用的各排序技术实施例。这一般涉及从给定的训练任务集合(每个包括多个输入‑输出示例)自动创建正示例和负示例的训练数据集。从训练数据集学习给具有领域专用语言的程序中的表达式指派似然度测量的排序函数。该排序函数随后被用来从针对新任务的极少量的输入‑输出示例来计算已学程序的似然度。
-
公开(公告)号:CN104737155A
公开(公告)日:2015-06-24
申请号:CN201380054348.2
申请日:2013-10-17
Applicant: 微软公司
IPC: G06F17/22
CPC classification number: G06F17/2264
Abstract: 提供了使用统计和机器学习技术来学习想要的排序函数以供在用于串变换的领域的归纳程序合成中使用的各排序技术实施例。这一般涉及从给定的训练任务集合(每个包括多个输入-输出示例)自动创建正示例和负示例的训练数据集。从训练数据集学习给具有领域专用语言的程序中的表达式指派似然度测量的排序函数。该排序函数随后被用来从针对新任务的极少量的输入-输出示例来计算已学程序的似然度。
-
公开(公告)号:CN102682065A
公开(公告)日:2012-09-19
申请号:CN201210023688.6
申请日:2012-02-02
Applicant: 微软公司
IPC: G06F17/30
Abstract: 本发明涉及使用输入-输出示例的语义实体操纵。呈现了语义实体操纵技术实施例,该实施例生成能够基于输入-输出示例来操纵表示语义实体的字符串的概率程序。该程序随后可用于从输入-输出示例中包括的一种类型的输入来产生与该示例一致的所需输出。基于解析、变换和格式化模块的输出来生成概率程序。解析模块采用概率方法来解析输入-输出示例。变换模块标识能够从输入-输出示例的输入项生成达到其被分配的权重所指定的概率的输出项的经加权的变换集。格式化模块生成将所选择的输出部分变换成输入-输出示例中的输出项所指定的形式的格式化指令。
-
公开(公告)号:CN102682065B
公开(公告)日:2015-03-25
申请号:CN201210023688.6
申请日:2012-02-02
Applicant: 微软公司
IPC: G06F17/30
Abstract: 本发明涉及使用输入-输出示例的语义实体操纵。呈现了语义实体操纵技术实施例,该实施例生成能够基于输入-输出示例来操纵表示语义实体的字符串的概率程序。该程序随后可用于从输入-输出示例中包括的一种类型的输入来产生与该示例一致的所需输出。基于解析、变换和格式化模块的输出来生成概率程序。解析模块采用概率方法来解析输入-输出示例。变换模块标识能够从输入-输出示例的输入项生成达到其被分配的权重所指定的概率的输出项的经加权的变换集。格式化模块生成将所选择的输出部分变换成输入-输出示例中的输出项所指定的形式的格式化指令。
-
公开(公告)号:CN102968296A
公开(公告)日:2013-03-13
申请号:CN201210409119.5
申请日:2012-10-24
Applicant: 微软公司
Inventor: S·格林伯格 , M·H·史密斯 , V·拉姆库玛 , B·E·基内曼 , R·辛格 , D·J·科尔 , P·A·卡林 , C·T·塞茨英格 , A·A·斯波里多诺夫 , D·M·杰德 , 汪慎 , S·乔汉 , G·陈 , T·J·B·特恩斯特伦 , R·M·辛克莱尔 , T·豪格恩
CPC classification number: G06F9/44 , G06F17/3089 , G06F21/31 , H04L67/02 , H04W4/60
Abstract: 在没有web托管知识的情况下使用基于云的无摩擦数据库来创建web应用。在web应用服务处接收用户凭证,以便经由客户端软件启动web应用任务。分析用户凭证以判断是否要向用户给予启动所请求的web应用任务的许可。在许可被给予时启动web应用任务。在web应用服务处接收与所启动的web应用任务相关联的数据,以便分析数据以完全基于所接收的提供的数据而不基于web托管知识来托管和呈现web应用。
-
-
-
-