-
公开(公告)号：US20100023924A1
公开(公告)日：2010-01-28
申请号：US12178143
申请日：2008-07-23
IPC分类号： G06F9/44
CPC分类号： G06F8/427
摘要： Parse tables or like representations are augmented with extension points to enable call out to arbitrary code. Such parse tables can be automatically generated from a specification including fixed information along with information about extensibility points provided. The extensibility points enable incorporation of dynamic data into a fixed parse table. In one instance, this allows a parser to determine if a character is acceptable at the time of execution rather than when the parse table was defined.
摘要翻译： 解析表或类似的表示用扩展点进行扩充，以便调用任意代码。 这样的解析表可以从包括固定信息的规范以及所提供的可扩展性点的信息自动生成。 可扩展点可以将动态数据并入固定的分析表。 在一个实例中，这允许解析器确定在执行时字符是否可以接受，而不是在定义解析表时。
-
公开(公告)号：US20100023798A1
公开(公告)日：2010-01-28
申请号：US12179684
申请日：2008-07-25
IPC分类号： G06F11/07
CPC分类号： G06F11/0793 , G06F11/0709 , G06F11/0748
摘要： Error recovery and diagnosis is afforded for pushdown automata. Upon detection of an error, a recovery strategy is selected and dispatched to recover from the error to place an automaton in an error free state to enable continued processing. In one instance, recovery strategies can be specified and matched with respect to automaton configuration. Errors can be diagnosed as a function of the difference between a first error configuration and a second recovered configuration.
摘要翻译： 为下推自动机提供错误恢复和诊断。 在检测到错误时，选择并调度恢复策略以从错误中恢复以将自动机置于无错误状态以使能继续处理。 在一种情况下，可以针对自动机配置指定和匹配恢复策略。 可以将错误诊断为第一错误配置和第二恢复配置之间的差异的函数。
-
公开(公告)号：US20100010801A1
公开(公告)日：2010-01-14
申请号：US12171929
申请日：2008-07-11
IPC分类号： G06F17/27
CPC分类号： G06F17/271 , G06F8/37 , G06F17/272 , G06F17/2725
摘要： A plethora of strategies is afforded to facilitate conflict resolution and error recovery with respect to parsing, among other things. Grammar authors can select amongst a range of strategies or options on a case-by-case basis to address conflicts, ambiguities, errors, and the like. The strategies can be either static or dynamic. In one instance, code external to a parsing system can be invoked to resolve conflicts or recover from errors, and further enable change of strategy without requiring modification of the parser. Interaction between the parsing system and the external code can also be formalized to ensure general type safety of the system.
摘要翻译： 除了别的以外，提供了大量的策略来促进解决冲突和错误恢复。 语法作者可以根据具体情况选择一系列策略或选项，以解决冲突，歧义，错误等。 策略可以是静态或动态的。 在一个实例中，可以调用分析系统外部的代码来解决冲突或从错误中恢复，并进一步启用策略更改，而无需修改解析器。 解析系统和外部代码之间的交互也可以被形式化，以确保系统的一般类型安全。
-
公开(公告)号：US20100037213A1
公开(公告)日：2010-02-11
申请号：US12187875
申请日：2008-08-07
IPC分类号： G06F9/45
CPC分类号： G06F8/427
摘要： Parsing functionality is automatically generated. In particular, abstract syntax tree types and/or other programmatic constructs are created automatically from a grammar specification in a manner that resembles hand-written code. An abstract syntax tree can subsequently be constructed as a function of the generated types. Further, a plurality of supporting functionality can be generated to consume or produce abstract syntax tree types, among other things.
摘要翻译： 自动生成解析功能。 特别地，抽象语法树类型和/或其他编程结构是以类似于手写代码的方式从语法规范自动创建的。 抽象语法树随后可以被构造为生成的类型的函数。 此外，除了其他之外，可以生成多个支持功能以消费或产生抽象语法树类型。
-
公开(公告)号：US20100037212A1
公开(公告)日：2010-02-11
申请号：US12187753
申请日：2008-08-07
IPC分类号： G06F9/45
CPC分类号： G06F8/427
摘要： Immutable structures are employed to effect immutable parsing. In particular, an immutable parsing configuration, comprising a stack and lookahead buffer, is utilized by a parser to perform lexical and syntactical analysis of an input stream and optionally output an immutable parse tree or the like. Performance with respect to the immutable structures can be optimized utilizing sharing and lazy computation. In turn, immutability benefits are afforded with respect to parsing including safe sharing amongst services and/or across multiple threads as well as history preservation, among other things.
摘要翻译： 采用不变的结构来实现不可变解析。 特别地，包括堆栈和前瞻缓冲区的不可变解析配置被解析器用于对输入流执行词法和语法分析，并且可选地输出不可变解析树等。 可以通过共享和懒惰计算优化关于不可变结构的性能。 反过来，在解析方面提供了不可变的利益，包括服务之间的安全共享和/或跨多个线程的安全共享以及历史保存等。
-
公开(公告)号：US08762969B2
公开(公告)日：2014-06-24
申请号：US12187753
申请日：2008-08-07
IPC分类号： G06F9/45
CPC分类号： G06F8/427
摘要： Immutable structures are employed to effect immutable parsing. In particular, an immutable parsing configuration, comprising a stack and lookahead buffer, is utilized by a parser to perform lexical and syntactical analysis of an input stream and optionally output an immutable parse tree or the like. Performance with respect to the immutable structures can be optimized utilizing sharing and lazy computation. In turn, immutability benefits are afforded with respect to parsing including safe sharing amongst services and/or across multiple threads as well as history preservation, among other things.
摘要翻译： 采用不变的结构来实现不可变解析。 特别地，包括堆栈和前瞻缓冲区的不可变解析配置被解析器用于对输入流执行词法和语法分析，并且可选地输出不可变解析树等。 可以通过共享和懒惰计算优化关于不可变结构的性能。 反过来，在解析方面提供了不可变的利益，包括服务之间的安全共享和/或跨多个线程的安全共享以及历史保存等。
-
公开(公告)号：US20100024030A1
公开(公告)日：2010-01-28
申请号：US12178168
申请日：2008-07-23
CPC分类号： G06F16/90344
摘要： Data transformation is lazily performed to facilitate reduced memory footprint, among other things. Rather than constituting an entire data structure, information is saved to enable iterative construction the structure. Moreover, an interface is afforded that appears to operate over a fully resolved structure but which is implemented on top of a restartable transformation mechanism that computes values in response to requests. These computed values could also be released based on one or more configurable policies.
摘要翻译： 数据转换被懒惰地执行，以便减少内存占用等等。 而不是构成整个数据结构，而是保存信息以实现迭代结构。 此外，提供了一种接口，其似乎在完全解析的结构上操作，但是在可重新启动的转换机制之上实现，该机制根据请求计算值。 这些计算值也可以基于一个或多个可配置策略来释放。
-
公开(公告)号：US20060277525A1
公开(公告)日：2006-12-07
申请号：US11147082
申请日：2005-06-06
申请人： Cyrus Najmabadi , Anson Horton
发明人： Cyrus Najmabadi , Anson Horton
IPC分类号： G06F9/44
摘要： A mechanism is provided for inferring a computer user's intent in developing computer system code. Specifically, an inference mechanism is provided that can infer a user's intent at least on three levels: a lexical level, a syntactic level, and a semantic level. The inference mechanism employs various rule-based and heuristic-based techniques including type coercion, scope proximity, parameter count and arguments, and so on. Various inference mechanism controls are also employed to increase inference robustness, including timing of making suggestions, the number of suggestions, and the extensibility of suggestions.
摘要翻译： 提供了一种用于推断计算机用户开发计算机系统代码的意图的机制。 具体地说，提供一种可以至少在三个层次上推断用户意图的推理机制：词汇级别，句法级别和语义级别。 推理机制采用各种基于规则和启发式技术，包括类型强制，范围邻近，参数计数和参数等。 还采用各种推理机制控制来增加推理鲁棒性，包括提出建议的时间安排，建议数量以及建议的可扩展性。
-
公开(公告)号：US09886936B2
公开(公告)日：2018-02-06
申请号：US12780838
申请日：2010-05-14
IPC分类号： G06F17/00 , G09G5/34 , G06F3/0481 , G06F3/147
CPC分类号： G06T3/0006 , G06F3/017 , G06F3/0481 , G06F3/0488 , G06F3/147 , G06F2203/04806 , G09G5/34 , G09G2340/0407 , G09G2340/045 , G09G2340/145 , G09G2370/027 , G09G2380/14
摘要： Systems, methods, and media for presenting panel-based electronic documents are provided. In accordance with some embodiments, systems for presenting panel-based electronic documents are provided, the systems comprising: at least one processor programmed to: receive an electronic document, a definition of a first panel on a page in the electronic document, and a definition of a second panel on the page in the electronic document; control a display of the first panel based on the definition of the first panel; and transition from the display of the first panel to a display of the second panel by re-scaling the display and panning from the first panel to the second panel.
-
10.发明申请公开(公告)号：US20100318895A1
公开(公告)日：2010-12-16
申请号：US12780838
申请日：2010-05-14
IPC分类号： G06F17/00
CPC分类号： G06T3/0006 , G06F3/017 , G06F3/0481 , G06F3/0488 , G06F3/147 , G06F2203/04806 , G09G5/34 , G09G2340/0407 , G09G2340/045 , G09G2340/145 , G09G2370/027 , G09G2380/14
摘要： Systems, methods, and media for presenting panel-based electronic documents are provided. In accordance with some embodiments, systems for presenting panel-based electronic documents are provided, the systems comprising: at least one processor programmed to: receive an electronic document, a definition of a first panel on a page in the electronic document, and a definition of a second panel on the page in the electronic document; control a display of the first panel based on the definition of the first panel; and transition from the display of the first panel to a display of the second panel by re-scaling the display and panning from the first panel to the second panel.
摘要翻译： 提供了提供基于面板的电子文档的系统，方法和媒体。 根据一些实施例，提供了用于呈现基于面板的电子文档的系统，所述系统包括：至少一个处理器，其被编程为：接收电子文档，电子文档中的页面上的第一面板的定义，以及定义 电子文件页面上的第二个面板; 基于第一面板的定义控制第一面板的显示; 并且通过将显示器重新缩放并从第一面板平移到第二面板，从第一面板的显示转换到第二面板的显示。
-
-
-
-
-
-
-
-
-
搜索结果
13 条记录 (耗时 0.03 秒)
