JP6285943B2 - 文字列変換の帰納的合成のための順位付け - Google Patents

文字列変換の帰納的合成のための順位付け Download PDF

Info

Publication number
JP6285943B2
JP6285943B2 JP2015537832A JP2015537832A JP6285943B2 JP 6285943 B2 JP6285943 B2 JP 6285943B2 JP 2015537832 A JP2015537832 A JP 2015537832A JP 2015537832 A JP2015537832 A JP 2015537832A JP 6285943 B2 JP6285943 B2 JP 6285943B2
Authority
JP
Japan
Prior art keywords
representation
string
output
ranking
substring
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
JP2015537832A
Other languages
English (en)
Japanese (ja)
Other versions
JP2016502701A (ja
JP2016502701A5 (enExample
Inventor
ガルワニ，スミット
シン，リシャブ
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 Corp
Microsoft Technology Licensing LLC
Original Assignee
Microsoft Corp
Microsoft Technology Licensing LLC
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, Microsoft Technology Licensing LLC filed Critical Microsoft Corp
Publication of JP2016502701A publication Critical patent/JP2016502701A/ja
Publication of JP2016502701A5 publication Critical patent/JP2016502701A5/ja
Application granted granted Critical
Publication of JP6285943B2 publication Critical patent/JP6285943B2/ja
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)
JP2015537832A 2012-10-17 2013-10-17 文字列変換の帰納的合成のための順位付け Expired - Fee Related JP6285943B2 (ja)

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 (3)

Publication Number Publication Date
JP2016502701A JP2016502701A (ja) 2016-01-28
JP2016502701A5 JP2016502701A5 (enExample) 2016-11-04
JP6285943B2 true JP6285943B2 (ja) 2018-02-28

Family

ID=49517708

Family Applications (1)

Application Number Title Priority Date Filing Date
JP2015537832A Expired - Fee Related JP6285943B2 (ja) 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

Family Cites Families (23)

* 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
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
CN101976233B (zh) * 2010-09-30 2012-11-14 北京新媒传信科技有限公司 基于序列模式的新词发现方法
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

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
WO2014062948A3 (en) 2014-11-20
KR102129640B1 (ko) 2020-07-08
CN104737155B (zh) 2017-07-21
WO2014062948A2 (en) 2014-04-24
EP2909740B1 (en) 2019-04-24

Similar Documents

Publication Publication Date Title
JP6285943B2 (ja) 文字列変換の帰納的合成のための順位付け
JP7397903B2 (ja) インテリジェント対話方法、装置、電子機器及び記憶媒体
US9606934B2 (en) Matrix ordering for cache efficiency in performing large sparse matrix operations
CN104915340B (zh) 自然语言问答方法及装置
JP5939588B2 (ja) 関連ノードを探索する方法、並びに、そのコンピュータ、及びコンピュータ・プログラム
JP2016502701A5 (enExample)
JP2018097846A (ja) Ａｐｉ学習
CN112214584A (zh) 使用知识图利用实体关系来发现答案
WO2023103914A1 (zh) 文本情感分析方法、装置及计算机可读存储介质
CN104067273A (zh) 将搜索结果分组为简档页面
CN105701083A (zh) 文本表示方法和装置
US20170039482A1 (en) Mapping Questions to Complex Database Lookups using Synthetic Events
CN114416926A (zh) 关键词匹配方法、装置、计算设备及计算机可读存储介质
CN113516491B (zh) 推广信息展示方法、装置、电子设备及存储介质
CN105243064A (zh) 一种子图匹配的方法及装置
JP5980520B2 (ja) 効率的にクエリを処理する方法及び装置
JP2011227749A (ja) 略語完全語復元装置とその方法と、プログラム
WO2022262632A1 (zh) 网页搜索方法、装置及存储介质
EP2778971A1 (en) Rule triggering for search rule engine
JP2013218627A (ja) 構造化文書からの情報抽出方法、装置、及びプログラム
JP5867208B2 (ja) データモデル変換プログラム、データモデル変換方法およびデータモデル変換装置
US10872122B2 (en) Knowledge management system and process for managing knowledge
JPWO2011004524A1 (ja) テキストマイニング装置
JP5337575B2 (ja) 候補語抽出装置、候補語抽出方法及び候補語抽出プログラム
JP5575075B2 (ja) 代表的文書選択装置及び方法及びプログラム及びコンピュータ読取可能な記録媒体

Legal Events

Date Code Title Description
A521 Request for written amendment filed

Free format text: JAPANESE INTERMEDIATE CODE: A523

Effective date: 20150610

A521 Request for written amendment filed

Free format text: JAPANESE INTERMEDIATE CODE: A523

Effective date: 20160914

A621 Written request for application examination

Free format text: JAPANESE INTERMEDIATE CODE: A621

Effective date: 20160914

A977 Report on retrieval

Free format text: JAPANESE INTERMEDIATE CODE: A971007

Effective date: 20170925

A131 Notification of reasons for refusal

Free format text: JAPANESE INTERMEDIATE CODE: A131

Effective date: 20170927

A521 Request for written amendment filed

Free format text: JAPANESE INTERMEDIATE CODE: A523

Effective date: 20171222

TRDD Decision of grant or rejection written
A01 Written decision to grant a patent or to grant a registration (utility model)

Free format text: JAPANESE INTERMEDIATE CODE: A01

Effective date: 20180111

A61 First payment of annual fees (during grant procedure)

Free format text: JAPANESE INTERMEDIATE CODE: A61

Effective date: 20180202

R150 Certificate of patent or registration of utility model

Ref document number: 6285943

Country of ref document: JP

Free format text: JAPANESE INTERMEDIATE CODE: R150

R250 Receipt of annual fees

Free format text: JAPANESE INTERMEDIATE CODE: R250

R250 Receipt of annual fees

Free format text: JAPANESE INTERMEDIATE CODE: R250

R250 Receipt of annual fees

Free format text: JAPANESE INTERMEDIATE CODE: R250

R250 Receipt of annual fees

Free format text: JAPANESE INTERMEDIATE CODE: R250

LAPS Cancellation because of no payment of annual fees