用于串变换的归纳合成的排序

    公开(公告)号:CN104737155B

    公开(公告)日:2017-07-21

    申请号:CN201380054348.2

    申请日:2013-10-17

    Applicant: 微软公司

    CPC classification number: G06F17/2264

    Abstract: 提供了使用统计和机器学习技术来学习想要的排序函数以供在用于串变换的领域的归纳程序合成中使用的各排序技术实施例。这一般涉及从给定的训练任务集合(每个包括多个输入‑输出示例)自动创建正示例和负示例的训练数据集。从训练数据集学习给具有领域专用语言的程序中的表达式指派似然度测量的排序函数。该排序函数随后被用来从针对新任务的极少量的输入‑输出示例来计算已学程序的似然度。

    用于串变换的归纳合成的排序

    公开(公告)号:CN104737155A

    公开(公告)日:2015-06-24

    申请号:CN201380054348.2

    申请日:2013-10-17

    Applicant: 微软公司

    CPC classification number: G06F17/2264

    Abstract: 提供了使用统计和机器学习技术来学习想要的排序函数以供在用于串变换的领域的归纳程序合成中使用的各排序技术实施例。这一般涉及从给定的训练任务集合(每个包括多个输入-输出示例)自动创建正示例和负示例的训练数据集。从训练数据集学习给具有领域专用语言的程序中的表达式指派似然度测量的排序函数。该排序函数随后被用来从针对新任务的极少量的输入-输出示例来计算已学程序的似然度。

    使用输入-输出示例的语义实体操纵

    公开(公告)号:CN102682065A

    公开(公告)日:2012-09-19

    申请号:CN201210023688.6

    申请日:2012-02-02

    Applicant: 微软公司

    Abstract: 本发明涉及使用输入-输出示例的语义实体操纵。呈现了语义实体操纵技术实施例,该实施例生成能够基于输入-输出示例来操纵表示语义实体的字符串的概率程序。该程序随后可用于从输入-输出示例中包括的一种类型的输入来产生与该示例一致的所需输出。基于解析、变换和格式化模块的输出来生成概率程序。解析模块采用概率方法来解析输入-输出示例。变换模块标识能够从输入-输出示例的输入项生成达到其被分配的权重所指定的概率的输出项的经加权的变换集。格式化模块生成将所选择的输出部分变换成输入-输出示例中的输出项所指定的形式的格式化指令。

    使用输入-输出示例的语义实体操纵

    公开(公告)号:CN102682065B

    公开(公告)日:2015-03-25

    申请号:CN201210023688.6

    申请日:2012-02-02

    Applicant: 微软公司

    Abstract: 本发明涉及使用输入-输出示例的语义实体操纵。呈现了语义实体操纵技术实施例,该实施例生成能够基于输入-输出示例来操纵表示语义实体的字符串的概率程序。该程序随后可用于从输入-输出示例中包括的一种类型的输入来产生与该示例一致的所需输出。基于解析、变换和格式化模块的输出来生成概率程序。解析模块采用概率方法来解析输入-输出示例。变换模块标识能够从输入-输出示例的输入项生成达到其被分配的权重所指定的概率的输出项的经加权的变换集。格式化模块生成将所选择的输出部分变换成输入-输出示例中的输出项所指定的形式的格式化指令。

Patent Agency Ranking