专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明申请

WO2014130345A1 PARSING AND RENDERING STRUCTURED IMAGES 审中-公开
标题翻译：划分和渲染结构化图像
公开(公告)号：WO2014130345A1
公开(公告)日：2014-08-28
申请号：PCT/US2014/016335
申请日：2014-02-14
申请人： MICROSOFT CORPORATION
发明人： GULWANI, Sumit , POLOZOV, Oleksandr
IPC分类号： G06K9/00
CPC分类号： G06F17/30247 , G06K9/00449
摘要： Systems and methods for generating a tuple of structured data files are described herein. In one example, a method includes detecting an expression that describes a structure of a structured image using a constructor. The method can also include using an inference-rule based search strategy to identify a hierarchical arrangement of bounding boxes in the structured image that match the expression. Furthermore, the method can include generating a first tuple of structured data files based on the identified hierarchical arrangement of bounding boxes in the structured image.
摘要翻译：在此描述了用于生成结构化数据文件的元组的系统和方法。在一个示例中，一种方法包括使用构造器检测描述结构化图像的结构的表达式。该方法还可以包括使用基于推理规则的搜索策略来识别与表达式匹配的结构化图像中的边界框的分层排列。此外，该方法可以包括基于所识别的结构化图像中的边界框的分层布置来生成结构化数据文件的第一元组。

2. 发明申请

WO2014120518A2 TRANSLATING NATURAL LANGUAGE DESCRIPTIONS TO PROGRAMS IN A DOMAIN-SPECIFIC LANGUAGE FOR SPREADSHEETS 审中-公开
标题翻译：翻译自然语言描述到特定语言的程序中用于播放器
公开(公告)号：WO2014120518A2
公开(公告)日：2014-08-07
申请号：PCT/US2014/012412
申请日：2014-01-22
申请人： MICROSOFT CORPORATION
发明人： GULWANI, Sumit , MARRON, Mark
IPC分类号： G06F17/24
CPC分类号： G06F17/28 , G06F8/10 , G06F17/246
摘要： A system and method to translate natural language descriptions to programs in a domain-specific language for spreadsheets. The method includes generating a model of a spreadsheet. The model includes a column description for each column, and one or more types associated with each column. The method also includes normalizing the description by removing stop words, and replacing parts that match column names or data values by parameterized place-holders. The method involves applying rule-based translation along with keyword or type-based program synthesis in an inter-leaved, bottom-up manner and dynamic programming style, where phrases are mapped to sub-programs in increasing order of their length. The rules describe how to map a specific partial natural language phrase into a partial sub-program. Also, the method includes generating a number of potential programs and ranking the programs to sequence them according to their intended likelihood.
摘要翻译：将自然语言描述翻译成针对电子表格的特定领域语言的程序的系统和方法。该方法包括生成电子表格的模型。该模型包括每列的列描述，以及与每列关联的一个或多个类型。该方法还包括通过删除停止字来对描述进行标准化，并通过参数化占位符替换与列名称或数据值匹配的部分。该方法涉及基于规则的翻译以及基于关键词或基于类型的程序综合，以间隔，自下而上的方式和动态编程风格，其中短语以其长度的增加顺序映射到子程序。规则描述了如何将特定的部分自然语言短语映射到部分子程序中。此外，该方法包括产生若干潜在程序并对程序进行排序以根据它们的预期可能性进行排序。

3. 发明申请

WO2014035734A1 SEMANTIC QUERY LANGUAGE 审中-公开
标题翻译：语义查询语言
公开(公告)号：WO2014035734A1
公开(公告)日：2014-03-06
申请号：PCT/US2013/055893
申请日：2013-08-21
申请人： MICROSOFT CORPORATION
发明人： GULWANI, Sumit , ZWEIG, Geoffrey Gerson
IPC分类号： G06F17/30
CPC分类号： G06F17/30672 , G06F17/30657 , G06F17/30684 , G06F17/30696
摘要： Various technologies described herein pertain to executing a mixed query to search a database retained in a data repository. The mixed query includes a regular expression, which is a pattern of elements, and a semantic constraint. The elements in the regular expression include a first wildcard, where the semantic constraint restricts a meaning of the first wildcard. Moreover, the elements in the regular expression include explicit lexical constraint(s) and/or disparate wildcard(s). For instance, semantic constraint(s) can restrict meaning(s) of the disparate wildcard(s). The mixed query is executed to retrieve results that match the pattern of the elements in the regular expression and satisfy the semantic constraint(s).
摘要翻译：本文描述的各种技术涉及执行混合查询以搜索保留在数据存储库中的数据库。混合查询包括一个正则表达式，它是元素的模式和语义约束。正则表达式中的元素包括第一个通配符，其中语义约束限制了第一个通配符的含义。此外，正则表达式中的元素包括明确的词汇约束和/或不同的通配符。例如，语义约束可以限制不同通配符的含义。执行混合查询以检索与正则表达式中的元素的模式匹配并满足语义约束的结果。

4. 发明申请

WO2014062948A2 RANKING FOR INDUCTIVE SYNTHESIS OF STRING TRANSFORMATIONS 审中-公开
标题翻译：用于诱导合成基因变异的排序
公开(公告)号：WO2014062948A2
公开(公告)日：2014-04-24
申请号：PCT/US2013/065497
申请日：2013-10-17
申请人： MICROSOFT CORPORATION
发明人： GULWANI, Sumit , SINGH, Rishabh
IPC分类号： G06F17/22
CPC分类号： G06F17/2264
摘要： Ranking technique embodiments are presented that use statistical and machine learning techniques to learn the desired ranking function for use in inductive program synthesis for the domain of string transformations. This generally involves automatically creating a training dataset of positive and negative examples from a given set of training tasks, each including multiple input-output examples. From the training dataset, a ranking function is learned that assigns an expression in a program in the domain specific language to a likelihood measure. This ranking function is then used to compute likelihoods of learnt programs from a very small number of input-output examples for a new task.
摘要翻译：提出了排序技术实施例，其使用统计学和机器学习技术来学习用于弦转换领域的归纳程序合成中的期望排序函数。这通常涉及从给定的一组训练任务中自动创建一个正面和反面实例的训练数据集，每个训练数据包括多个输入输出示例。从训练数据集中，学习了一种排序函数，将一个表达式分配给域特定语言的程序中的表达式作为可能性度量。然后，该排序函数用于从用于新任务的非常少量的输入 - 输出示例中计算学习程序的可能性。

5. 发明申请

WO2013112386A1 SKETCH BEAUTIFICATION AND COMPLETION OF PARTIAL STRUCTURED-DRAWINGS 审中-公开
标题翻译：部分结构图的绘画美观与完整
公开(公告)号：WO2013112386A1
公开(公告)日：2013-08-01
申请号：PCT/US2013/022331
申请日：2013-01-19
申请人： MICROSOFT CORPORATION
发明人： GULWANI, Sumit , CHEEMA, Salman Shaukat , LAVIOLA, Joseph J., Jr.
IPC分类号： G06F3/00 , G06F3/14 , G06F9/44
CPC分类号： G06F3/04883
摘要： A sketch processing system is described herein for assisting a user in producing a drawing. In one implementation, the sketch processing system operates by: receiving ink strokes in response to creation of an original drawing; recognizing components and geometric constraints within the original drawing, to produce a recognized drawing; beautifying the original drawing by modifying at least one aspect of the recognized drawing in accordance with the recognized constraints, to produce a beautified drawing; and recognizing a recurring pattern in the beautified pattern (if any) and using that pattern to produce at least one added component to the beautified drawing.
摘要翻译：这里描述了一种草图处理系统，用于帮助用户制作绘图。在一个实施方案中，草图处理系统通过以下步骤操作：响应于原始图纸的创建而接收墨水笔画; 识别原始图纸中的组件和几何约束，以生成公认的图纸; 通过根据公认的限制修改认可图纸的至少一个方面来美化原始图纸，以产生美化绘图; 并识别美化图案中的重复图案（如果有），并使用该图案向美化图形生产至少一个添加的组件。

6. 发明申请

WO2012103159A2 FORMATTING DATA BY EXAMPLE 审中-公开
标题翻译：按示例格式化数据
公开(公告)号：WO2012103159A2
公开(公告)日：2012-08-02
申请号：PCT/US2012/022454
申请日：2012-01-24
申请人： MICROSOFT CORPORATION
发明人： ROTHSCHILLER, Chad , BATTAGIN, Daniel , BENEDICT, Christopher , MOREIRA-SILVEIRA, Rodrigo , COHEN, Eric , GULWANI, Sumit , ROUHANA, Dany , SINGH, Rishabh , ZORN, Benjamin Goth , VENKATESAN, Ramarathnam , DANILOV, Dmitri O.
IPC分类号： G06F17/21 , G06F17/24 , G06F3/048 , G06F3/14
CPC分类号： G06F17/211
摘要： Data formatting rules to convert data from one form to another form are automatically determined based on a user's edits. A machine learning heuristic is applied to a user's edits to determine a data formatting rule that may be applied to data. For example, a user may make edits that add/remove characters from data, concatenate data, extract data, rename data, and the like. The machine learning heuristic may be automatically triggered in response to an event (e.g. after a predetermined number of edits are made to a same type of data) or manually triggered (e.g. selecting a user interface option). The data formatting rule may be applied to other data and the results of the formatting reviewable by the user. Based on further edits/reviews, the data formatting rule may be updated. The data formatting rules may be stored for later use.
摘要翻译：
根据用户的编辑自动确定将数据从一种表单转换为另一种表单的数据格式规则。机器学习启发式应用于用户的编辑以确定可应用于数据的数据格式化规则。例如，用户可以进行编辑，从数据添加/删除字符，连接数据，提取数据，重命名数据等。机器学习启发式可以响应于事件（例如，在对相同类型的数据进行预定次数的编辑之后）或手动触发（例如，选择用户界面选项）而自动触发。数据格式化规则可以应用于其他数据以及用户可查看的格式化结果。基于进一步的编辑/评论，数据格式化规则可以被更新。数据格式化规则可以被存储以供以后使用。

7. 发明申请

WO2011153006A2 GENERATING TEXT MANIPULATION PROGRAMS USING INPUT-OUTPUT EXAMPLES 审中-公开
标题翻译：使用输入输出示例生成文本操作程序
公开(公告)号：WO2011153006A2
公开(公告)日：2011-12-08
申请号：PCT/US2011/037411
申请日：2011-05-20
申请人： MICROSOFT CORPORATION
发明人： GULWANI, Sumit
IPC分类号： G06F9/44
CPC分类号： G06F9/44 , G06F8/30 , G06F17/2282
摘要： A program creation system is described which generates a data manipulation program based on input-output examples. The created program may include a collection of subprograms together with a collection of corresponding selection conditions. When a new input item is received, a program execution module uses the selection conditions to select one of the subprograms. The program execution module then applies the selected subprogram to generate a new output item. The program creation system generates the program using a three-part approach, involving: generating sets of subprograms for the respective input-output examples; grouping the sets of programs into partitions and choosing representative subprograms for the partitions; and determining the selection conditions. A user interaction module provides various mechanisms which allow a user to interact with the program creation system and thereby improve the performance of the created program.
摘要翻译：描述了基于输入输出示例生成数据操作程序的程序创建系统。所创建的程序可以包括子程序的集合以及相应选择条件的集合。当接收到新的输入项时，程序执行模块使用选择条件来选择其中一个子程序。程序执行模块然后应用所选择的子程序以生成新的输出项。程序创建系统使用三部分方法生成程序，包括：生成相应输入输出示例的子程序集; 将这些程序集合分成分区并选择分区的代表性子程序; 以及确定选择条件。用户交互模块提供了允许用户与程序创建系统交互从而提高所创建程序的性能的各种机制。

8. 发明申请

WO2015050909A1 EXTRACTING RELATIONAL DATA FROM SEMI-STRUCTURED SPREADSHEETS 审中-公开
标题翻译：从半结构化的散播提取关联数据
公开(公告)号：WO2015050909A1
公开(公告)日：2015-04-09
申请号：PCT/US2014/058501
申请日：2014-10-01
申请人： MICROSOFT CORPORATION
发明人： GULWANI, Sumit , ZORN, Benjamin G. , BAROWY, Daniel W. , HART, Edward
IPC分类号： G06F17/24
CPC分类号： G06F17/30595 , G06F17/246 , G06F17/30339
摘要： Relational data is extracted from spreadsheets. A relational data extraction program is synthesized, where this synthesized program is consistent with examples of relational data associated with a spreadsheet. The synthesized program is executed on the spreadsheet, which extracts a set of tuples therefrom that is consistent with these examples, and generates a table that includes the extracted set of tuples. A program is received that specifies a set of constraints defining relational data to be extracted from a spreadsheet, where this set of constraints includes cell constraints and spatial constraints. The received program is executed on the spreadsheet, which extracts a set of tuples therefrom that is consistent with the set of constraints, and generates a table that includes the extracted set of tuples.
摘要翻译：关系数据从电子表格中提取。合成关系数据提取程序，其中该合成程序与与电子表格相关联的关系数据的示例一致。合成程序在电子表格上执行，该电子表格提取与这些示例一致的一组元组，并且生成包括提取的元组集合的表。接收一个程序，该程序指定一组约束，用于定义要从电子数据表中提取的关系数据，其中该组约束包括单元约束和空间约束。接收到的程序在电子表格上执行，该电子表格提取与该组约束一致的一组元组，并且生成包括提取的元组集合的表。

9. 发明申请

WO2015009586A3 PERFORMING AN OPERATION RELATIVE TO TABULAR DATA BASED UPON VOICE INPUT 审中-公开
公开(公告)号：WO2015009586A3
公开(公告)日：2015-01-22
申请号：PCT/US2014/046457
申请日：2014-07-14
申请人： MICROSOFT CORPORATION
发明人： SINGH, Prabhdeep , GANJAM, Kris , GULWANI, Sumit , MARRON, Mark , JU, Yun-Cheng , CHAKRABARTI, Kaushik
IPC分类号： G06F17/24
摘要： Described herein are various technologies pertaining to performing an operation relative to tabular data based upon voice input. An ASR system includes a language model that is customized based upon content of the tabular data. The ASR system receives a voice signal that is representative of speech of a user. The ASR system creates a transcription of the voice signal based upon the ASR being customized with the content of the tabular data. The operation relative to the tabular data is performed based upon the transcription of the voice signal.

10. 发明申请

WO2014008450A1 GENERALIZATION AND/OR SPECIALIZATION OF CODE FRAGMENTS 审中-公开
标题翻译：代码片段的通用化和/或专业化
公开(公告)号：WO2014008450A1
公开(公告)日：2014-01-09
申请号：PCT/US2013/049410
申请日：2013-07-04
申请人： MICROSOFT CORPORATION
发明人： BORDEAUX, Lucas Julien , GULWANI, Sumit , HAMADI, Youssef , WEI, Yi
IPC分类号： G06F9/44 , G06F17/27
CPC分类号： G06F8/30 , G06F8/36
摘要： Generalization and/or specialization of code fragments is described, for example, as part of a tool for software developers. In an embodiment, a developer inserts natural language expressing a programming task into code he or she is developing in an integrated development environment; a program synthesizer obtains relevant (possibly non-compiling) code fragments for the task, merges those together to form a snippet, specializes the snippet for the context of the code and inserts the specialized snippet into the code. For example, a pair of code fragments are obtained from a search engine and are merged by discarding statements which are not common to each of the pair. In examples, pairs of code fragments are selected using search engine ranks, user input, or frequency. In embodiments, placeholders replace variable names in the merged fragments. An example takes a syntax tree of the code being developed and uses that to specialize snippets.
摘要翻译：例如，作为软件开发人员工具的一部分，描述了代码片段的泛化和/或专业化。在一个实施例中，开发人员将表达编程任务的自然语言插入他或她正在集成开发环境中开发的代码; 一个程序合成器获得相关的（可能是非编译的）代码片段，将这些代码段合并成一个代码段，专门为代码上下文提供代码段，并将专门的代码段插入到代码中。例如，从搜索引擎获得一对代码片段，并且通过丢弃对于每个对不常见的语句来合并。在示例中，使用搜索引擎排名，用户输入或频率来选择代码片段对。在实施例中，占位符替换合并的片段中的变量名。一个例子是正在开发的代码的语法树，并使用它来专门化代码段。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式