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.)
Active
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
Active 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 스트링 변환의 귀납적 합성을 위한 랭킹 기법 Active 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 Active KR102129640B1 (ko) 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
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
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
CN104737155B (zh) 2017-07-21
WO2014062948A2 (en) 2014-04-24
EP2909740B1 (en) 2019-04-24

Similar Documents

Publication Publication Date Title
KR102129640B1 (ko) 스트링 변환의 귀납적 합성을 위한 랭킹 기법
CN117114063B (zh) 用于训练生成式大语言模型和用于处理图像任务的方法
US8650207B2 (en) Inductive synthesis of table-based string transformations
KR102405578B1 (ko) 지식 그래프를 이용한 상황 인지형 다중 문장 관계 추출 방법 및 장치
JP2016502701A5 (enExample)
US8463591B1 (en) Efficient polynomial mapping of data for use with linear support vector machines
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
JP5980520B2 (ja) 効率的にクエリを処理する方法及び装置
JP2011227749A (ja) 略語完全語復元装置とその方法と、プログラム
CN114722827B (zh) 任务处理模型的模型训练方法、装置、设备及存储介质
CN110019875A (zh) 索引文件的生成方法及装置
CN114490928B (zh) 一种语义搜索的实现方法、系统、计算机设备和存储介质
CN116313121A (zh) 一种管道式高鲁棒性医学知识图谱标准化构建方法
CN107038148A (zh) Xml文档的解析方法及解析装置
JP6486572B2 (ja) ステートチャート実行装置
Nguyen Vu et al. A Robust Component-Based Template Matching Approach Using Document Layout Graph for Extracting Information
US20230119613A1 (en) Generating model training data from a domain specification
US20210081803A1 (en) On-Demand Knowledge Resource Management
Wang et al. Two fundamental questions concerning BIM data representation for machine learning
Vinárek et al. Recovering Traceability Links Between Code and Specification Through Domain Model Extraction
Mona et al. Natural Language Processing with AWS AI Services
CN119398044A (zh) 基于异构图神经网络的社交媒体短文本概念化方法及装置

Legal Events

Date Code Title Description
PA0105 International application

Patent event date: 20150416

Patent event code: PA01051R01D

Comment text: International Patent Application

PG1501 Laying open of application
PA0201 Request for examination

Patent event code: PA02012R01D

Patent event date: 20180912

Comment text: Request for Examination of Application

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

Comment text: Notification of reason for refusal

Patent event date: 20190929

Patent event code: PE09021S01D

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

Patent event code: PE07011S01D

Comment text: Decision to Grant Registration

Patent event date: 20200327

PR0701 Registration of establishment

Comment text: Registration of Establishment

Patent event date: 20200626

Patent event code: PR07011E01D

PR1002 Payment of registration fee

Payment date: 20200626

End annual number: 3

Start annual number: 1

PG1601 Publication of registration