CN104737155B - 用于串变换的归纳合成的排序 - Google Patents

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

Info

Publication number
CN104737155B
CN104737155B CN201380054348.2A CN201380054348A CN104737155B CN 104737155 B CN104737155 B CN 104737155B CN 201380054348 A CN201380054348 A CN 201380054348A CN 104737155 B CN104737155 B CN 104737155B
Authority
CN
China
Prior art keywords
expression
input
training
substring
output
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Active
Application number
CN201380054348.2A
Other languages
English (en)
Chinese (zh)
Other versions
CN104737155A (zh
Inventor
S·古尔瓦尼
R·辛格
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Microsoft Technology Licensing LLC
Original Assignee
Microsoft Corp
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Microsoft Corp filed Critical Microsoft Corp
Publication of CN104737155A publication Critical patent/CN104737155A/zh
Application granted granted Critical
Publication of CN104737155B publication Critical patent/CN104737155B/zh
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F40/00—Handling natural language data
    • G06F40/10—Text processing
    • G06F40/12—Use of codes for handling textual entities
    • G06F40/151—Transformation

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Audiology, Speech & Language Pathology (AREA)
  • Health & Medical Sciences (AREA)
  • Computational Linguistics (AREA)
  • General Health & Medical Sciences (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Artificial Intelligence (AREA)
  • Machine Translation (AREA)
  • Stored Programmes (AREA)
  • Document Processing Apparatus (AREA)
  • Information Retrieval, Db Structures And Fs Structures Therefor (AREA)
  • Complex Calculations (AREA)
CN201380054348.2A 2012-10-17 2013-10-17 用于串变换的归纳合成的排序 Active CN104737155B (zh)

Applications Claiming Priority (3)

Application Number Priority Date Filing Date Title
US13/653,581 US9002758B2 (en) 2012-10-17 2012-10-17 Ranking for inductive synthesis of string transformations
US13/653,581 2012-10-17
PCT/US2013/065497 WO2014062948A2 (en) 2012-10-17 2013-10-17 Ranking for inductive synthesis of string transformations

Publications (2)

Publication Number Publication Date
CN104737155A CN104737155A (zh) 2015-06-24
CN104737155B true CN104737155B (zh) 2017-07-21

Family

ID=49517708

Family Applications (1)

Application Number Title Priority Date Filing Date
CN201380054348.2A Active CN104737155B (zh) 2012-10-17 2013-10-17 用于串变换的归纳合成的排序

Country Status (6)

Country Link
US (1) US9002758B2 (enExample)
EP (1) EP2909740B1 (enExample)
JP (1) JP6285943B2 (enExample)
KR (1) KR102129640B1 (enExample)
CN (1) CN104737155B (enExample)
WO (1) WO2014062948A2 (enExample)

Families Citing this family (30)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US9002758B2 (en) * 2012-10-17 2015-04-07 Microsoft Technology Licensing, Llc Ranking for inductive synthesis of string transformations
US9880997B2 (en) * 2014-07-23 2018-01-30 Accenture Global Services Limited Inferring type classifications from natural language text
US9891895B2 (en) 2015-09-14 2018-02-13 Microsoft Technology Licensing, Llc User interaction models for disambiguation in programming-by-example
US10528328B2 (en) 2015-12-08 2020-01-07 Microsoft Technology Licensing, Llc Learning from input patterns in Programing-By-Example
US10095484B2 (en) 2015-12-15 2018-10-09 International Business Machines Corporation Automatic program synthesis using monadic second-order logic
US20180039693A1 (en) * 2016-08-05 2018-02-08 Microsoft Technology Licensing, Llc Learned data filtering
US10621195B2 (en) 2016-09-20 2020-04-14 Microsoft Technology Licensing, Llc Facilitating data transformations
US10706066B2 (en) 2016-10-17 2020-07-07 Microsoft Technology Licensing, Llc Extensible data transformations
US11256710B2 (en) 2016-10-20 2022-02-22 Microsoft Technology Licensing, Llc String transformation sub-program suggestion
US11892987B2 (en) 2016-10-20 2024-02-06 Microsoft Technology Licensing, Llc Automatic splitting of a column into multiple columns
US11620304B2 (en) 2016-10-20 2023-04-04 Microsoft Technology Licensing, Llc Example management for string transformation
US10776380B2 (en) 2016-10-21 2020-09-15 Microsoft Technology Licensing, Llc Efficient transformation program generation
US11372830B2 (en) 2016-10-24 2022-06-28 Microsoft Technology Licensing, Llc Interactive splitting of a column into multiple columns
US10846298B2 (en) 2016-10-28 2020-11-24 Microsoft Technology Licensing, Llc Record profiling for dataset sampling
US11163788B2 (en) 2016-11-04 2021-11-02 Microsoft Technology Licensing, Llc Generating and ranking transformation programs
CN110352423B (zh) * 2016-11-04 2021-04-20 渊慧科技有限公司 使用噪声信道模型生成目标序列的方法、存储介质和系统
US11170020B2 (en) 2016-11-04 2021-11-09 Microsoft Technology Licensing, Llc Collecting and annotating transformation tools for use in generating transformation programs
US10698571B2 (en) * 2016-12-29 2020-06-30 Microsoft Technology Licensing, Llc Behavior feature use in programming by example
US10713429B2 (en) 2017-02-10 2020-07-14 Microsoft Technology Licensing, Llc Joining web data with spreadsheet data using examples
US10782939B2 (en) * 2017-08-07 2020-09-22 Microsoft Technology Licensing, Llc Program predictor
US10831451B2 (en) * 2017-12-01 2020-11-10 Microsoft Technology Licensing, Llc Synthesized programming-by-example programs
US11132180B2 (en) * 2018-01-05 2021-09-28 Microsoft Technology Licensing, Llc Neural-guided deductive search for program synthesis
CN110610450B (zh) * 2018-06-15 2023-05-05 伊姆西Ip控股有限责任公司 数据处理方法、电子设备和计算机可读存储介质
WO2020245993A1 (ja) * 2019-06-06 2020-12-10 富士通株式会社 情報処理プログラム、情報処理方法、および情報処理装置
EP3754564A1 (en) * 2019-06-21 2020-12-23 Fujitsu Limited Ising machine data input apparatus and method of inputting data into an ising machine
US11074048B1 (en) 2020-04-28 2021-07-27 Microsoft Technology Licensing, Llc Autosynthesized sublanguage snippet presentation
US11327728B2 (en) 2020-05-07 2022-05-10 Microsoft Technology Licensing, Llc Source code text replacement by example
US11900080B2 (en) 2020-07-09 2024-02-13 Microsoft Technology Licensing, Llc Software development autocreated suggestion provenance
US11941372B2 (en) 2021-04-01 2024-03-26 Microsoft Technology Licensing, Llc Edit automation using an anchor target list
US11875136B2 (en) 2021-04-01 2024-01-16 Microsoft Technology Licensing, Llc Edit automation using a temporal edit pattern

Citations (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2007200263A (ja) * 2006-01-25 2007-08-09 Yasushi Suga 漢字辞書検索装置
CN101976233A (zh) * 2010-09-30 2011-02-16 北京新媒传信科技有限公司 基于序列模式的新词发现方法

Family Cites Families (21)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5642472A (en) * 1994-05-20 1997-06-24 Lucent Technologies Inc. Software discovery system
EP1388812A1 (en) 2002-07-04 2004-02-11 Ronald E. Dr. Kates Method for training a learning-capable system
US8799234B2 (en) 2010-07-12 2014-08-05 Microsoft Corporation Semantic entity manipulation using input-output examples
US8060880B2 (en) * 2007-05-04 2011-11-15 Microsoft Corporation System using backward inter-procedural analysis for determining alternative coarser grained lock when finer grained locks exceeding threshold
US8181163B2 (en) 2007-05-07 2012-05-15 Microsoft Corporation Program synthesis and debugging using machine learning techniques
US8316345B2 (en) * 2007-06-01 2012-11-20 Microsoft Corporation Program abstraction based on program control
US8266598B2 (en) * 2008-05-05 2012-09-11 Microsoft Corporation Bounding resource consumption using abstract interpretation
US8719801B2 (en) * 2008-06-25 2014-05-06 Microsoft Corporation Timing analysis of concurrent programs
US8402439B2 (en) * 2008-06-27 2013-03-19 Microsoft Corporation Program analysis as constraint solving
US8271404B2 (en) * 2008-10-02 2012-09-18 Microsoft Corporation Template based approach to discovering disjunctive and quantified invariants over predicate abstraction
US8397221B2 (en) * 2008-10-07 2013-03-12 Microsoft Corporation Calculating resource bounds of programs manipulating recursive data structures and collections
US20100223213A1 (en) 2009-02-27 2010-09-02 Optillel Solutions, Inc. System and method for parallelization of machine learning computing code
US8249336B2 (en) * 2009-08-14 2012-08-21 Microsoft Corporation Learning string transformations from examples
US8752029B2 (en) * 2009-09-29 2014-06-10 Microsoft Corporation Computing a symbolic bound for a procedure
US8972930B2 (en) 2010-06-04 2015-03-03 Microsoft Corporation Generating text manipulation programs using input-output examples
US9613115B2 (en) 2010-07-12 2017-04-04 Microsoft Technology Licensing, Llc Generating programs based on input-output examples using converter modules
US10409892B2 (en) * 2011-01-26 2019-09-10 Microsoft Technology Licensing, Llc Formatting data by example
US8484550B2 (en) * 2011-01-27 2013-07-09 Microsoft Corporation Automated table transformations from examples
US8825572B2 (en) * 2011-02-01 2014-09-02 Microsoft Corporation Program synthesis with existentially and universally quantified belief propagation using probabilistic inference
US8650207B2 (en) * 2011-12-02 2014-02-11 Microsoft Corporation Inductive synthesis of table-based string transformations
US9002758B2 (en) * 2012-10-17 2015-04-07 Microsoft Technology Licensing, Llc Ranking for inductive synthesis of string transformations

Patent Citations (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2007200263A (ja) * 2006-01-25 2007-08-09 Yasushi Suga 漢字辞書検索装置
CN101976233A (zh) * 2010-09-30 2011-02-16 北京新媒传信科技有限公司 基于序列模式的新词发现方法

Non-Patent Citations (2)

* Cited by examiner, † Cited by third party
Title
Programming by Demonstration Using Version Space Algebra;TESSA LAU等;《Machine Learning》;20030101;第53卷(第1-2期);第111-156页 *
Spreadsheet Data Manipulation Using Examples;Sumit Gulwani等;《Communication of the Acm》;20120801;第55卷(第8期);第97-105页 *

Also Published As

Publication number Publication date
EP2909740A2 (en) 2015-08-26
KR20150070171A (ko) 2015-06-24
US9002758B2 (en) 2015-04-07
US20140108305A1 (en) 2014-04-17
CN104737155A (zh) 2015-06-24
JP2016502701A (ja) 2016-01-28
JP6285943B2 (ja) 2018-02-28
WO2014062948A3 (en) 2014-11-20
KR102129640B1 (ko) 2020-07-08
WO2014062948A2 (en) 2014-04-24
EP2909740B1 (en) 2019-04-24

Similar Documents

Publication Publication Date Title
CN104737155B (zh) 用于串变换的归纳合成的排序
JP7397903B2 (ja) インテリジェント対話方法、装置、電子機器及び記憶媒体
CN112818092B (zh) 知识图谱查询语句生成方法、装置、设备及存储介质
CN104915340B (zh) 自然语言问答方法及装置
CN117114063B (zh) 用于训练生成式大语言模型和用于处理图像任务的方法
CN107735804B (zh) 用于不同标记集合的转移学习技术的系统和方法
US9355171B2 (en) Clustering of near-duplicate documents
CN104408034B (zh) 一种面向文本大数据的中文分词方法
CN111386520A (zh) 通过在基本知识图上叠加来构造不连贯节点
CN109933660B (zh) 面向自然语言形式基于讲义和网站的api信息检索方法
CN114444462B (zh) 模型训练方法及人机交互方法、装置
CN104838376B (zh) 为显著用户生成用于信息取回查询的摘录
WO2015012812A1 (en) Information extraction and annotation systems and methods for documents
CN114969272B (zh) 在api知识图谱上基于q学习的api序列搜索方法
CN113177123A (zh) 文本转sql模型的优化方法及系统
CN113641830B (zh) 模型预训练方法、装置、电子设备和存储介质
US20250181673A1 (en) Guided Augmentation Of Data Sets For Machine Learning Models
CN116127111A (zh) 图片搜索方法、装置、电子设备和计算机可读存储介质
CN105404677A (zh) 一种基于树形结构的检索方法
CN105243064A (zh) 一种子图匹配的方法及装置
CN117390169A (zh) 表格数据问答方法、装置、设备及存储介质
CN117688946A (zh) 基于大模型的意图识别方法、装置、电子设备和存储介质
JP5980520B2 (ja) 効率的にクエリを処理する方法及び装置
WO2022262632A1 (zh) 网页搜索方法、装置及存储介质
CN115270777A (zh) 一种合同文件信息抽取方法、装置、系统

Legal Events

Date Code Title Description
C06 Publication
PB01 Publication
C10 Entry into substantive examination
SE01 Entry into force of request for substantive examination
GR01 Patent grant
TR01 Transfer of patent right

Effective date of registration: 20171019

Address after: Washington State

Patentee after: Micro soft technique license Co., Ltd

Address before: Washington State

Patentee before: Microsoft Corp.

TR01 Transfer of patent right