KR102129640B1 - 스트링 변환의 귀납적 합성을 위한 랭킹 기법 - Google Patents

스트링 변환의 귀납적 합성을 위한 랭킹 기법 Download PDF

Info

Publication number
KR102129640B1
KR102129640B1 KR1020157009902A KR20157009902A KR102129640B1 KR 102129640 B1 KR102129640 B1 KR 102129640B1 KR 1020157009902 A KR1020157009902 A KR 1020157009902A KR 20157009902 A KR20157009902 A KR 20157009902A KR 102129640 B1 KR102129640 B1 KR 102129640B1
Authority
KR
South Korea
Prior art keywords
expression
substring
ranking
output
input
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.)
Expired - Fee Related
Application number
KR1020157009902A
Other languages
English (en)
Korean (ko)
Other versions
KR20150070171A (ko
Inventor
수미트 걸와니
리샵 싱
Original Assignee
마이크로소프트 테크놀로지 라이센싱, 엘엘씨
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 마이크로소프트 테크놀로지 라이센싱, 엘엘씨 filed Critical 마이크로소프트 테크놀로지 라이센싱, 엘엘씨
Publication of KR20150070171A publication Critical patent/KR20150070171A/ko
Application granted granted Critical
Publication of KR102129640B1 publication Critical patent/KR102129640B1/ko
Expired - Fee Related legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

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)
KR1020157009902A 2012-10-17 2013-10-17 스트링 변환의 귀납적 합성을 위한 랭킹 기법 Expired - Fee Related KR102129640B1 (ko)

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
KR20150070171A KR20150070171A (ko) 2015-06-24
KR102129640B1 true KR102129640B1 (ko) 2020-07-08

Family

ID=49517708

Family Applications (1)

Application Number Title Priority Date Filing Date
KR1020157009902A Expired - Fee Related KR102129640B1 (ko) 2012-10-17 2013-10-17 스트링 변환의 귀납적 합성을 위한 랭킹 기법

Country Status (6)

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

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
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
US11256710B2 (en) 2016-10-20 2022-02-22 Microsoft Technology Licensing, Llc String transformation sub-program suggestion
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
WO2018083670A1 (en) * 2016-11-04 2018-05-11 Deepmind Technologies Limited Sequence transduction neural networks
US11163788B2 (en) 2016-11-04 2021-11-02 Microsoft Technology Licensing, Llc Generating and ranking transformation programs
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控股有限责任公司 数据处理方法、电子设备和计算机可读存储介质
JP7231024B2 (ja) * 2019-06-06 2023-03-01 富士通株式会社 情報処理プログラム、情報処理方法、および情報処理装置
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
US11875136B2 (en) 2021-04-01 2024-01-16 Microsoft Technology Licensing, Llc Edit automation using a temporal edit pattern
US11941372B2 (en) 2021-04-01 2024-03-26 Microsoft Technology Licensing, Llc Edit automation using an anchor target list

Citations (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20110302553A1 (en) 2010-06-04 2011-12-08 Microsoft Corporation Generating text manipulation programs using input-output examples
US20120192051A1 (en) 2011-01-26 2012-07-26 Microsoft Corporation Formatting data by example

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
JP2007200263A (ja) * 2006-01-25 2007-08-09 Yasushi Suga 漢字辞書検索装置
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
US9613115B2 (en) 2010-07-12 2017-04-04 Microsoft Technology Licensing, Llc Generating programs based on input-output examples using converter modules
CN101976233B (zh) * 2010-09-30 2012-11-14 北京新媒传信科技有限公司 基于序列模式的新词发现方法
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
US20110302553A1 (en) 2010-06-04 2011-12-08 Microsoft Corporation Generating text manipulation programs using input-output examples
US20120192051A1 (en) 2011-01-26 2012-07-26 Microsoft Corporation Formatting data by example

Non-Patent Citations (2)

* Cited by examiner, † Cited by third party
Title
S. Gulwani et al., Spreadsheet data manupulation using examples, Comm. of the ACM, Vol. 55, no.8 pp.97-105 (2012.08.01)
T. Lau et al., Programming by demonstration using version space algebra, Machine Learning, Vol. 53, no.1-2 (2003.01.01)

Also Published As

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

Similar Documents

Publication Publication Date Title
KR102129640B1 (ko) 스트링 변환의 귀납적 합성을 위한 랭킹 기법
CN114357105B (zh) 地理预训练模型的预训练方法及模型微调方法
US8650207B2 (en) Inductive synthesis of table-based string transformations
KR102405578B1 (ko) 지식 그래프를 이용한 상황 인지형 다중 문장 관계 추출 방법 및 장치
CN107807968B (zh) 基于贝叶斯网络的问答装置、方法及存储介质
JP2016502701A5 (https=)
US8463591B1 (en) Efficient polynomial mapping of data for use with linear support vector machines
WO2015050909A1 (en) Extracting relational data from semi-structured spreadsheets
US11669691B2 (en) Information processing apparatus, information processing method, and computer readable recording medium
CN118410130B (zh) 一种基于知识图谱的预训练语言模型构建方法
WO2023103914A1 (zh) 文本情感分析方法、装置及计算机可读存储介质
US20230281392A1 (en) Computer-readable recording medium storing computer program, machine learning method, and natural language processing apparatus
CN116662488A (zh) 业务文档检索方法、装置、设备及存储介质
WO2023274059A1 (zh) 交替序列生成模型训练方法、从文本中抽取图的方法
CN114722827B (zh) 任务处理模型的模型训练方法、装置、设备及存储介质
CN105243064A (zh) 一种子图匹配的方法及装置
WO2023069182A1 (en) Generating model training data from a domain specification
CN119129600A (zh) 一种基于空间关系感知的地名实体识别方法、介质和设备
JP5980520B2 (ja) 効率的にクエリを処理する方法及び装置
JP2011227749A (ja) 略語完全語復元装置とその方法と、プログラム
CN110019875A (zh) 索引文件的生成方法及装置
CN114490928B (zh) 一种语义搜索的实现方法、系统、计算机设备和存储介质
Nguyen Vu et al. A robust component-based template matching approach using document layout graph for extracting information
CN107038148A (zh) Xml文档的解析方法及解析装置
Wang et al. Two fundamental questions concerning BIM data representation for machine learning

Legal Events

Date Code Title Description
PA0105 International application

St.27 status event code: A-0-1-A10-A15-nap-PA0105

PG1501 Laying open of application

St.27 status event code: A-1-1-Q10-Q12-nap-PG1501

P22-X000 Classification modified

St.27 status event code: A-2-2-P10-P22-nap-X000

A201 Request for examination
P11-X000 Amendment of application requested

St.27 status event code: A-2-2-P10-P11-nap-X000

P13-X000 Application amended

St.27 status event code: A-2-2-P10-P13-nap-X000

PA0201 Request for examination

St.27 status event code: A-1-2-D10-D11-exm-PA0201

E902 Notification of reason for refusal
PE0902 Notice of grounds for rejection

St.27 status event code: A-1-2-D10-D21-exm-PE0902

P11-X000 Amendment of application requested

St.27 status event code: A-2-2-P10-P11-nap-X000

P13-X000 Application amended

St.27 status event code: A-2-2-P10-P13-nap-X000

P22-X000 Classification modified

St.27 status event code: A-2-2-P10-P22-nap-X000

P22-X000 Classification modified

St.27 status event code: A-2-2-P10-P22-nap-X000

E701 Decision to grant or registration of patent right
PE0701 Decision of registration

St.27 status event code: A-1-2-D10-D22-exm-PE0701

GRNT Written decision to grant
PR0701 Registration of establishment

St.27 status event code: A-2-4-F10-F11-exm-PR0701

PR1002 Payment of registration fee

St.27 status event code: A-2-2-U10-U12-oth-PR1002

Fee payment year number: 1

PG1601 Publication of registration

St.27 status event code: A-4-4-Q10-Q13-nap-PG1601

PR1001 Payment of annual fee

St.27 status event code: A-4-4-U10-U11-oth-PR1001

Fee payment year number: 4

PR1001 Payment of annual fee

St.27 status event code: A-4-4-U10-U11-oth-PR1001

Fee payment year number: 5

PC1903 Unpaid annual fee

St.27 status event code: A-4-4-U10-U13-oth-PC1903

Not in force date: 20250627

Payment event data comment text: Termination Category : DEFAULT_OF_REGISTRATION_FEE

H13 Ip right lapsed

Free format text: ST27 STATUS EVENT CODE: N-4-6-H10-H13-OTH-PC1903 (AS PROVIDED BY THE NATIONAL OFFICE); TERMINATION CATEGORY : DEFAULT_OF_REGISTRATION_FEE

Effective date: 20250627

PC1903 Unpaid annual fee

St.27 status event code: N-4-6-H10-H13-oth-PC1903

Ip right cessation event data comment text: Termination Category : DEFAULT_OF_REGISTRATION_FEE

Not in force date: 20250627