JP2016502701A5 - - Google Patents
Download PDFInfo
- Publication number
- JP2016502701A5 JP2016502701A5 JP2015537832A JP2015537832A JP2016502701A5 JP 2016502701 A5 JP2016502701 A5 JP 2016502701A5 JP 2015537832 A JP2015537832 A JP 2015537832A JP 2015537832 A JP2015537832 A JP 2015537832A JP 2016502701 A5 JP2016502701 A5 JP 2016502701A5
- Authority
- JP
- Japan
- Prior art keywords
- representation
- string
- output
- substring
- ranking
- 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.)
- Granted
Links
Applications Claiming Priority (3)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| US13/653,581 | 2012-10-17 | ||
| US13/653,581 US9002758B2 (en) | 2012-10-17 | 2012-10-17 | Ranking for inductive synthesis of string transformations |
| 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 true JP2016502701A5 (enExample) | 2016-11-04 |
| JP6285943B2 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)
| 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 |
| 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 |
| US11892987B2 (en) | 2016-10-20 | 2024-02-06 | Microsoft Technology Licensing, Llc | Automatic splitting of a column into multiple columns |
| 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 |
| US11170020B2 (en) | 2016-11-04 | 2021-11-09 | Microsoft Technology Licensing, Llc | Collecting and annotating transformation tools for use in generating transformation programs |
| US11163788B2 (en) | 2016-11-04 | 2021-11-02 | Microsoft Technology Licensing, Llc | Generating and ranking 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 |
| 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 |
Family Cites Families (23)
| 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 |
-
2012
- 2012-10-17 US US13/653,581 patent/US9002758B2/en active Active
-
2013
- 2013-10-17 CN CN201380054348.2A patent/CN104737155B/zh active Active
- 2013-10-17 JP JP2015537832A patent/JP6285943B2/ja not_active Expired - Fee Related
- 2013-10-17 EP EP13786055.7A patent/EP2909740B1/en active Active
- 2013-10-17 KR KR1020157009902A patent/KR102129640B1/ko active Active
- 2013-10-17 WO PCT/US2013/065497 patent/WO2014062948A2/en not_active Ceased
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| JP2016502701A5 (enExample) | ||
| JP6285943B2 (ja) | 文字列変換の帰納的合成のための順位付け | |
| US11238235B2 (en) | Automated novel concept extraction in natural language processing | |
| CN109564573B (zh) | 来自计算机应用元数据的平台支持集群 | |
| TW201901661A (zh) | 語音識別方法及系統 | |
| RU2016137787A (ru) | Персонализированный поиск на основе явной подачи сигналов | |
| JP2021197156A (ja) | 事前トレーニングのセマンティックモデルに基づくモデル改良方法及び装置 | |
| CN111858880B (zh) | 获取查询结果的方法、装置、电子设备和可读存储介质 | |
| CN113516491B (zh) | 推广信息展示方法、装置、电子设备及存储介质 | |
| JP5930228B2 (ja) | 情報処理装置、方法及びプログラム | |
| US11727702B1 (en) | Automated indexing and extraction of information in digital documents | |
| CN106383865B (zh) | 基于人工智能的推荐数据的获取方法及装置 | |
| JP6263420B2 (ja) | テンプレート生成装置及びテンプレート生成プログラム | |
| CN113780365A (zh) | 样本生成方法和装置 | |
| JP6900724B2 (ja) | 学習プログラム、学習方法および学習装置 | |
| WO2021124489A1 (ja) | 要約学習方法、要約学習装置及びプログラム | |
| CN114139515A (zh) | 一种转述文本生成方法、装置、介质及设备 | |
| US20150081682A1 (en) | Method and System for Filtering Search Results | |
| JP2019020939A (ja) | 情報処理システム、情報処理方法、およびプログラム | |
| JP7407139B2 (ja) | 生成装置、生成方法及び生成プログラム | |
| Lavrač et al. | Propositionalization online | |
| Masry et al. | ColMate: Contrastive late interaction and masked text for multimodal document retrieval | |
| CN114580378B (zh) | 一种语句生成模型的训练方法、语句生成方法、装置、设备及介质 | |
| JP4870732B2 (ja) | 情報処理装置、名寄せ方法及びプログラム | |
| Lin et al. | One-Shot Classification Is Enough for Automatic Label Mapping |