公开(公告)号：US20130326475A1

公开(公告)日：2013-12-05

申请号：US13487266

申请日：2012-06-04

申请人： Sumit Gulwani ,  Rishabh Singh ,  Dany Rouhana ,  Benjamin G. Zorn ,  Weide Zhong

发明人： Sumit Gulwani ,  Rishabh Singh ,  Dany Rouhana ,  Benjamin G. Zorn ,  Weide Zhong

IPC分类号： G06F9/44

CPC分类号： G06F17/22 ,  G06F8/30 ,  G06F8/427

摘要： A program creation system is described which generates sets of subprograms for respective input-output examples. The program creation system then groups the sets into partitions by performing an intersection operation. According to one aspect, the program creation system generates subprograms so as to exclude tokens that are not represented by the input strings of the input-output examples. According to another aspect, the program creation system first generates the subprograms without attempting to generate loop-type expressions. If this operation produces unsatisfactory results, the program creation system repeats its processing, this time including loop-type expressions. According to another aspect, the program creation system performs the grouping operation using an expedited graph-intersection operation. According to another aspect, the program creation system ranks programs (which are created based on the results of the grouping operation) based on the presence of preferred features found in the programs.

摘要翻译： 描述了为相应的输入输出示例生成一组子程序的程序创建系统。 然后，程序创建系统通过执行交叉操作将集合分组成分区。 根据一个方面，程序创建系统生成子程序以排除未由输入 - 输出示例的输入字符串表示的令牌。 根据另一方面，程序创建系统首先生成子程序而不尝试生成循环类型表达式。 如果此操作产生不令人满意的结果，则程序创建系统重复其处理，此时包括循环类型表达式。 根据另一方面，程序创建系统使用加速的图形交叉操作来执行分组操作。 根据另一方面，程序创建系统基于在程序中发现的优选特征的存在来排列基于分组操作的结果创建的程序（其被创建）。

公开(公告)号：US09552335B2

公开(公告)日：2017-01-24

申请号：US13487266

申请日：2012-06-04

申请人： Sumit Gulwani ,  Rishabh Singh ,  Dany Rouhana ,  Benjamin G. Zorn ,  Weide Zhong

发明人： Sumit Gulwani ,  Rishabh Singh ,  Dany Rouhana ,  Benjamin G. Zorn ,  Weide Zhong

IPC分类号： G06F9/44 ,  G06F17/22 ,  G06F9/45

CPC分类号： G06F17/22 ,  G06F8/30 ,  G06F8/427

摘要： A program creation system is described which generates sets of subprograms for respective input-output examples. The program creation system then groups the sets into partitions by performing an intersection operation. According to one aspect, the program creation system generates subprograms so as to exclude tokens that are not represented by the input strings of the input-output examples. According to another aspect, the program creation system first generates the subprograms without attempting to generate loop-type expressions. If this operation produces unsatisfactory results, the program creation system repeats its processing, this time including loop-type expressions. According to another aspect, the program creation system performs the grouping operation using an expedited graph-intersection operation. According to another aspect, the program creation system ranks programs (which are created based on the results of the grouping operation) based on the presence of preferred features found in the programs.

摘要翻译： 描述了为相应的输入输出示例生成一组子程序的程序创建系统。 然后，程序创建系统通过执行交叉操作将集合分组成分区。 根据一个方面，程序创建系统生成子程序以排除未由输入 - 输出示例的输入字符串表示的令牌。 根据另一方面，程序创建系统首先生成子程序而不尝试生成循环类型表达式。 如果此操作产生不令人满意的结果，则程序创建系统重复其处理，此时包括循环类型表达式。 根据另一方面，程序创建系统使用加速的图形交叉操作来执行分组操作。 根据另一方面，程序创建系统基于在程序中发现的优选特征的存在来排列基于分组操作的结果创建的程序（其被创建）。

公开(公告)号：US20110167330A1

公开(公告)日：2011-07-07

申请号：US12895177

申请日：2010-09-30

申请人： Allan Folting ,  Weide Zhong ,  Robert Hawking ,  Tigran Hayrapetyan

发明人： Allan Folting ,  Weide Zhong ,  Robert Hawking ,  Tigran Hayrapetyan

IPC分类号： G06F17/00

CPC分类号： G06F17/30592 ,  G06F17/246 ,  G06F17/30489

摘要： Methods, systems, and computer program products dynamically filter an aggregate report based on values resulting from one or more filters previously applied to the aggregate report. A method involves maintaining a collection of filters to be applied in a designated evaluation order to the aggregate report, applying a first filter to the aggregate report, and evaluating values in the aggregate report to produce aggregate values resulting from applying the first filter. The method also involves applying a next filter to the aggregate report and evaluating the aggregate values in the aggregate report resulting from applying the first filter therein producing aggregate values resulting from applying the next filter to the aggregate report. Additionally, the method involves displaying the aggregate report wherein evaluating values resulting from previously applying any filter to the aggregate report involves evaluating visual values displayed in the aggregate report after each previous filter has been applied.

摘要翻译： 方法，系统和计算机程序产品根据先前应用于聚合报告的一个或多个过滤器产生的值，动态过滤聚合报告。 一种方法是将要以指定的评估顺序应用的过滤器的集合维护到聚合报告，将第一过滤器应用于聚合报告，以及评估聚合报告中的值以产生应用第一个过滤器产生的聚合值。 该方法还包括将下一个过滤器应用于聚合报告，并评估由应用第一个过滤器而产生的聚合报告中的聚合值，从而产生由将下一个过滤器应用于聚合报告而产生的聚合值。 此外，该方法涉及显示聚合报告，其中将先前将任何过滤器应用于聚合报告的值包括评估在应用每个先前的过滤器之后在聚合报告中显示的可视值。

公开(公告)号：US20060287998A1

公开(公告)日：2006-12-21

申请号：US11157634

申请日：2005-06-21

申请人： Allan Folting ,  Weide Zhong ,  Robert Hawking ,  Tigran Hayrapetyan

发明人： Allan Folting ,  Weide Zhong ,  Robert Hawking ,  Tigran Hayrapetyan

IPC分类号： G06F17/30

CPC分类号： G06F17/30592 ,  G06F17/246 ,  G06F17/30489

摘要： Methods, systems, and computer program products dynamically filter an aggregate report based on values resulting from one or more filters previously applied to the aggregate report. A method involves maintaining a collection of filters to be applied in a designated evaluation order to the aggregate report, applying a first filter to the aggregate report, and evaluating values in the aggregate report to produce aggregate values resulting from applying the first filter. The method also involves applying a next filter to the aggregate report and evaluating the aggregate values in the aggregate report resulting from applying the first filter therein producing aggregate values resulting from applying the next filter to the aggregate report. Additionally, the method involves displaying the aggregate report wherein evaluating values resulting from previously applying any filter to the aggregate report involves evaluating visual values displayed in the aggregate report after each previous filter has been applied.

公开(公告)号：US09195728B2

公开(公告)日：2015-11-24

申请号：US12895177

申请日：2010-09-30

申请人： Allan Folting ,  Weide Zhong ,  Robert Hawking ,  Tigran Hayrapetyan

发明人： Allan Folting ,  Weide Zhong ,  Robert Hawking ,  Tigran Hayrapetyan

IPC分类号： G06F17/00 ,  G06F17/30 ,  G06F17/24

CPC分类号： G06F17/30592 ,  G06F17/246 ,  G06F17/30489

摘要： Methods, systems, and computer program products dynamically filter an aggregate report based on values resulting from one or more filters previously applied to the aggregate report. A method involves maintaining a collection of filters to be applied in a designated evaluation order to the aggregate report, applying a first filter to the aggregate report, and evaluating values in the aggregate report to produce aggregate values resulting from applying the first filter. The method also involves applying a next filter to the aggregate report and evaluating the aggregate values in the aggregate report resulting from applying the first filter therein producing aggregate values resulting from applying the next filter to the aggregate report. Additionally, the method involves displaying the aggregate report wherein evaluating values resulting from previously applying any filter to the aggregate report involves evaluating visual values displayed in the aggregate report after each previous filter has been applied.

摘要翻译： 方法，系统和计算机程序产品根据先前应用于聚合报告的一个或多个过滤器产生的值，动态过滤聚合报告。 一种方法是将要以指定的评估顺序应用的过滤器的集合维护到聚合报告，将第一过滤器应用于聚合报告，以及评估聚合报告中的值以产生应用第一个过滤器产生的聚合值。 该方法还包括将下一个过滤器应用于聚合报告，并评估由应用第一个过滤器而产生的聚合报告中的聚合值，从而产生由将下一个过滤器应用于聚合报告而产生的聚合值。 此外，该方法涉及显示聚合报告，其中将先前将任何过滤器应用于聚合报告的值包括评估在应用每个先前的过滤器之后在聚合报告中显示的可视值。

公开(公告)号：US07831539B2

公开(公告)日：2010-11-09

申请号：US11157634

申请日：2005-06-21

申请人： Allan Folting ,  Weide Zhong ,  Robert Hawking ,  Tigran Hayrapetyan

发明人： Allan Folting ,  Weide Zhong ,  Robert Hawking ,  Tigran Hayrapetyan

IPC分类号： G06F17/00

CPC分类号： G06F17/30592 ,  G06F17/246 ,  G06F17/30489

摘要： Methods, systems, and computer program products dynamically filter an aggregate report based on values resulting from one or more filters previously applied to the aggregate report. A method involves maintaining a collection of filters to be applied in a designated evaluation order to the aggregate report, applying a first filter to the aggregate report, and evaluating values in the aggregate report to produce aggregate values resulting from applying the first filter. The method also involves applying a next filter to the aggregate report and evaluating the aggregate values in the aggregate report resulting from applying the first filter therein producing aggregate values resulting from applying the next filter to the aggregate report. Additionally, the method involves displaying the aggregate report wherein evaluating values resulting from previously applying any filter to the aggregate report involves evaluating visual values displayed in the aggregate report after each previous filter has been applied.

摘要翻译： 方法，系统和计算机程序产品根据先前应用于聚合报告的一个或多个过滤器产生的值，动态过滤聚合报告。 一种方法是将要以指定的评估顺序应用的过滤器的集合维护到聚合报告，将第一过滤器应用于聚合报告，以及评估聚合报告中的值以产生应用第一个过滤器产生的聚合值。 该方法还包括将下一个过滤器应用于聚合报告，并评估由应用第一个过滤器而产生的聚合报告中的聚合值，从而产生由将下一个过滤器应用于聚合报告而产生的聚合值。 此外，该方法涉及显示聚合报告，其中将先前将任何过滤器应用于聚合报告的值包括评估在应用每个先前的过滤器之后在聚合报告中显示的可视值。

公开(公告)号：US07415481B2

公开(公告)日：2008-08-19

申请号：US10956940

申请日：2004-09-30

申请人： Andrew J. Becker ,  Charles D. Ellis ,  Joseph M. Chirilov ,  Juha P. Niemisto ,  Matthew J. Androski ,  Robert C. Collie ,  Robert G. Hawking ,  Simon Peyton-Jones ,  Weide Zhong

发明人： Andrew J. Becker ,  Charles D. Ellis ,  Joseph M. Chirilov ,  Juha P. Niemisto ,  Matthew J. Androski ,  Robert C. Collie ,  Robert G. Hawking ,  Simon Peyton-Jones ,  Weide Zhong

IPC分类号： G06F7/00 ,  G06F17/00

CPC分类号： G06F17/246 ,  Y10S707/99943

摘要： The present invention relates to a new type of structured name within a spreadsheet program that allows users to refer to tables, columns of data within tables, headers of tables, totals from tables, PivotTables®, and portions of PivotTable® data by the data's headers. Embodiments of the present invention comprise a method for referring to a set of data that comprises receiving one or more semantic designations, wherein the one or more semantic designations name a set of context information that describes one or more items of data in a data structure, automatically creating a structural reference, and associating the context information with the structural reference. Other embodiments of the present invention relate to an interaction with a user interface for displaying on a display device a structural reference to data in a spreadsheet that comprises receiving one or more semantic designations from the user that refer to one or more elements of the data structure, creating a structural reference to the elements of the data structure, and displaying the structural reference as a collection of the one or more semantic designations.

摘要翻译： 本发明涉及电子表格程序中的新型结构化名称，其允许用户参考表格中的表，数据列，表的表，表中的总计，数据透视表（RIV）以及数据透视表数据的部分 通过数据的标题。 本发明的实施例包括用于参考包括接收一个或多个语义指定的一组数据的方法，其中所述一个或多个语义指定命名描述数据结构中的一个或多个数据项的一组上下文信息， 自动创建结构参考，并将上下文信息与结构参考相关联。 本发明的其他实施例涉及与用户界面的交互，用于在显示设备上显示对电子表格中的数据的结构参考，其包括从用户接收一个或多个参考数据结构的一个或多个元素的语义指定 ，创建对数据结构的元素的结构参考，以及将结构引用显示为一个或多个语义指定的集合。

公开(公告)号：US20060069696A1

公开(公告)日：2006-03-30

申请号：US10956940

申请日：2004-09-30

申请人： Andrew Becker ,  Charles Ellis ,  Joseph Chirilov ,  Juha Niemisto ,  Matthew Androski ,  Robert Collie ,  Robert Hawking ,  Simon Peyton-Jones ,  Weide Zhong

发明人： Andrew Becker ,  Charles Ellis ,  Joseph Chirilov ,  Juha Niemisto ,  Matthew Androski ,  Robert Collie ,  Robert Hawking ,  Simon Peyton-Jones ,  Weide Zhong

IPC分类号： A44B17/00

CPC分类号： G06F17/246 ,  Y10S707/99943

摘要： The present invention relates to a new type of structured name within a spreadsheet program that allows users to refer to tables, columns of data within tables, headers of tables, totals from tables, PivotTables®, and portions of PivotTable® data by the data's headers. Embodiments of the present invention comprise a method for referring to a set of data that comprises receiving one or more semantic designations, wherein the one or more semantic designations name a set of context information that describes one or more items of data in a data structure, automatically creating a structural reference, and associating the context information with the structural reference. Other embodiments of the present invention relate to an interaction with a user interface for displaying on a display device a structural reference to data in a spreadsheet that comprises receiving one or more semantic designations from the user that refer to one or more elements of the data structure, creating a structural reference to the elements of the data structure, and displaying the structural reference as a collection of the one or more semantic designations.

摘要翻译： 本发明涉及电子表格程序中的新型结构化名称，其允许用户参考表格中的表，数据列，表的表，表中的总计，数据透视表（RIV）以及数据透视表数据的部分 通过数据头。 本发明的实施例包括用于参考包括接收一个或多个语义指定的一组数据的方法，其中所述一个或多个语义指定命名描述数据结构中的一个或多个数据项的一组上下文信息， 自动创建结构参考，并将上下文信息与结构参考相关联。 本发明的其他实施例涉及与用户界面的交互，用于在显示设备上显示对电子表格中的数据的结构参考，其包括从用户接收一个或多个参考数据结构的一个或多个元素的语义指定 ，创建对数据结构的元素的结构参考，以及将结构引用显示为一个或多个语义指定的集合。