公开(公告)号：US08959266B1

公开(公告)日：2015-02-17

申请号：US13957843

申请日：2013-08-02

申请人： Nadav Bonen ,  Todd M. Witter ,  Eran Shifer ,  Tomer Levy ,  Zvika Greenfield ,  Anant V. Nori

发明人： Nadav Bonen ,  Todd M. Witter ,  Eran Shifer ,  Tomer Levy ,  Zvika Greenfield ,  Anant V. Nori

IPC分类号： G06F3/06 ,  G06F3/14 ,  G06F5/00

CPC分类号： G06F3/0653 ,  G06F3/0611 ,  G06F3/0671 ,  G06F13/1605 ,  G06F13/1673 ,  G09G5/001 ,  G09G5/003 ,  G09G5/363

摘要： A dynamic priority controller monitors a level of data in a display engine buffer and compares the level of data in the display engine buffer to a plurality of thresholds including a first threshold and a second threshold. When the level of data in the display engine buffer is less than or equal to the first threshold, the dynamic priority controller increases a priority for processing display engine data in a communication channel. When the level of data in the display engine buffer is greater than or equal to the second threshold, the dynamic priority controller decreases the priority for processing the display engine data in the communication channel.

摘要翻译： 动态优先级控制器监视显示引擎缓冲器中的数据级别，并将显示引擎缓冲器中的数据级别与包括第一阈值和第二阈值的多个阈值进行比较。 当显示引擎缓冲器中的数据级别小于或等于第一阈值时，动态优先级控制器增加在通信信道中处理显示引擎数据的优先级。 当显示引擎缓冲器中的数据级别大于或等于第二阈值时，动态优先级控制器降低处理通信信道中的显示引擎数据的优先级。

公开(公告)号：US20050213805A1

公开(公告)日：2005-09-29

申请号：US11079120

申请日：2005-03-14

申请人： James Blake ,  Pablo Gonzalez ,  Randall Mueller ,  V. Nori ,  Steven Purser ,  Thomas Schaadt

发明人： James Blake ,  Pablo Gonzalez ,  Randall Mueller ,  V. Nori ,  Steven Purser ,  Thomas Schaadt

IPC分类号： G06K9/00

CPC分类号： G06K9/036

摘要： Assessing the quality of an electronic image comprises determining a quality rating for the electronic image, associating image quality thresholds with purposes for electronic images, selecting the purpose that corresponds to the electronic image, identifying an image quality threshold associated with the selected purpose, and determining whether the quality rating meets the image quality threshold. The electronic image is suitable for its intended purpose if its quality rating meets the threshold.

摘要翻译： 评估电子图像的质量包括确定电子图像的质量等级，将图像质量阈值与电子图像的目的相关联，选择对应于电子图像的目的，识别与所选择的目的相关联的图像质量阈值，以及确定 质量等级是否满足图像质量阈值。 如果电子图像的质量等级达到阈值，则适合其预期目的。

公开(公告)号：US20130144812A1

公开(公告)日：2013-06-06

申请号：US13308571

申请日：2011-12-01

申请人： Arun Tejasvi Chaganty ,  Akash Lal ,  Aditya V. Nori ,  Sriram Rajamani

发明人： Arun Tejasvi Chaganty ,  Akash Lal ,  Aditya V. Nori ,  Sriram Rajamani

IPC分类号： G06F15/18

CPC分类号： G06N7/005

摘要： Various technologies described herein pertain to approximating an inputted probabilistic model for statistical relational learning. An initial approximation of formulae included in an inputted probabilistic model can be formed, where the initial approximation of the formulae omits axioms included in the inputted probabilistic model. Further, an approximated probabilistic model of the inputted probabilistic model can be constructed, where the approximated probabilistic model includes the initial approximation of the formulae. Moreover, the approximated probabilistic model and evidence can be fed to a relational learning engine, and a most probable explanation (MPE) world can be received from the relational learning engine. The evidence can comprise existing valuations of a subset of relations included in the inputted probabilistic model. The MPE world can include valuations for the relations included in the inputted probabilistic model. The MPE world can be outputted when the input probabilistic model lacks an axiom violated by the MPE world.

摘要翻译： 本文描述的各种技术涉及近似输入的用于统计关系学习的概率模型。 可以形成包括在输入的概率模型中的公式的初始近似，其中公式的初始近似省略包括在输入的概率模型中的公理。 此外，可以构造输入的概率模型的近似概率模型，其中近似概率模型包括公式的初始近似。 此外，近似的概率模型和证据可以被馈送到关系学习引擎，并且可以从关系学习引擎接收到最可能的解释（MPE）世界。 证据可以包括输入的概率模型中包括的关系子集的现有估值。 MPE世界可以包括输入概率模型中包含的关系的估值。 当输入概率模型缺少MPE世界违反的公理时，可以输出MPE世界。

公开(公告)号：US20120197829A1

公开(公告)日：2012-08-02

申请号：US13018643

申请日：2011-02-01

申请人： Aditya V. Nori ,  Sriram K. Rajamani ,  Rahul Srinivasan ,  Sumit Gulwani

发明人： Aditya V. Nori ,  Sriram K. Rajamani ,  Rahul Srinivasan ,  Sumit Gulwani

IPC分类号： G06F15/18

CPC分类号： G06N7/005

摘要： A quantified belief propagation (QBP) algorithm receives as input an existentially quantified boolean formula (QBF) of existentially quantified boolean variables, universally quantified variables, and boolean operators. A tripartite graph is constructed, and includes (i) there-exists nodes that correspond to and represent the existentially quantified variables, (ii) for-all nodes that correspond to and represent the universally quantified variables, and (iii) sub-formula nodes that correspond to and represent sub-formulas of the QBF. A set of boolean values of the existentially quantified variables is found by (i) passing a first message from an arbitrary sub-formula node to an arbitrary for-all node, and (ii) in response, passing a second message from the arbitrary for-all node to the arbitrary sub-formula node.

摘要翻译： 量化信念传播（QBP）算法接收存在量化的布尔变量，通用量化变量和布尔运算符的存在量化布尔公式（QBF）作为输入。 构建三方图，并且包括（i）存在对应于并表示存在量化变量的节点，（ii）对应于并表示通用量化变量的所有节点，以及（iii）子公式节点 它们对应于并表示QBF的子公式。 通过（i）将第一个消息从任意子公式节点传递到任意的全部所有节点，找到存在量化变量的一组布尔值，并且（ii）作为响应，将任意的第二个消息从任意的 - 所有节点到任意子公式节点。

公开(公告)号：US20080006687A1

公开(公告)日：2008-01-10

申请号：US11803887

申请日：2007-05-16

申请人： Randall Mueller ,  Jeannine DeLano ,  Steven Purser ,  V. Nori ,  Thomas Schaadt ,  Jeffrey Schiele ,  Ronald Mason

发明人： Randall Mueller ,  Jeannine DeLano ,  Steven Purser ,  V. Nori ,  Thomas Schaadt ,  Jeffrey Schiele ,  Ronald Mason

IPC分类号： G06Q40/00

CPC分类号： G06Q20/24 ,  G06Q20/0425 ,  G06Q20/10 ,  G06Q40/00

摘要： Validating image cash letter (“ICL”) files using appropriate validation standards for each ICL file and, where appropriate, allowing successfully validated elements of an ICL file containing one or more unsuccessfully validated elements to be processed for payment and/or presentment. A processing entity can receive an ICL file with multiple ICLs that each includes multiple bundles of electronic check items from a customer. The processing entity can validate the ICL file using multiple validation rules selected based on a file type of the ICL file, data content of the ICL file, and/or an identity of a bank associated with the ICL file. The processing entity can transmit a report of the validation results to the customer. The processing entity can select certain successfully validated elements of the ICL file for check presentment and/or payment processing.

摘要翻译： 使用每个ICL文件的适当验证标准验证图像现金字母（“ICL”）文件，并在适当的情况下允许成功验证的包含一个或多个未成功验证的元素的ICL文件的元素被处理用于付款和/或呈现。 处理实体可以接收具有多个ICL的ICL文件，每个ICL包括来自客户的多个电子检查项目。 处理实体可以使用基于ICL文件的文件类型，ICL文件的数据内容和/或与ICL文件相关联的存储体的标识来选择的多个验证规则来验证ICL文件。 处理实体可以将验证结果的报告传送给客户。 处理实体可以选择ICL文件的某些成功验证的元素用于检查呈现和/或支付处理。

公开(公告)号：US20150039790A1

公开(公告)日：2015-02-05

申请号：US13957843

申请日：2013-08-02

申请人： Nadav Bonen ,  Todd M. Witter ,  Eran Shifer ,  Tomer Levy ,  Zvika Greenfield ,  Anant V. Nori

发明人： Nadav Bonen ,  Todd M. Witter ,  Eran Shifer ,  Tomer Levy ,  Zvika Greenfield ,  Anant V. Nori

IPC分类号： G06F3/06 ,  G06F3/14

CPC分类号： G06F3/0653 ,  G06F3/0611 ,  G06F3/0671 ,  G06F13/1605 ,  G06F13/1673 ,  G09G5/001 ,  G09G5/003 ,  G09G5/363

摘要： A dynamic priority controller monitors a level of data in a display engine buffer and compares the level of data in the display engine buffer to a plurality of thresholds including a first threshold and a second threshold. When the level of data in the display engine buffer is less than or equal to the first threshold, the dynamic priority controller increases a priority for processing display engine data in a communication channel. When the level of data in the display engine buffer is greater than or equal to the second threshold, the dynamic priority controller decreases the priority for processing the display engine data in the communication channel.

摘要翻译： 动态优先级控制器监视显示引擎缓冲器中的数据级别，并将显示引擎缓冲器中的数据级别与包括第一阈值和第二阈值的多个阈值进行比较。 当显示引擎缓冲器中的数据级别小于或等于第一阈值时，动态优先级控制器增加在通信信道中处理显示引擎数据的优先级。 当显示引擎缓冲器中的数据级别大于或等于第二阈值时，动态优先级控制器降低处理通信信道中的显示引擎数据的优先级。

公开(公告)号：US20070235518A1

公开(公告)日：2007-10-11

申请号：US11482360

申请日：2006-07-07

申请人： Randall Mueller ,  Thomas Schaadt ,  Steven Harris ,  Eric Lendl ,  V. Nori ,  Steven Purser

发明人： Randall Mueller ,  Thomas Schaadt ,  Steven Harris ,  Eric Lendl ,  V. Nori ,  Steven Purser

IPC分类号： G06F17/00

CPC分类号： G06Q20/042 ,  G06Q20/04

摘要： Monitoring an electronic check processing status of an image cash letter (“ICL”) and items in the ICL includes processing each ICL item by performing at least one electronic check processing event in connection with the item. For each electronic check processing event and for each item, a record comprising information related to a status of the electronic check processing event is created. Each record is associated with the corresponding item and the ICL. A status of each item can be determined based on the information stored in the records corresponding to that item. A status of the ICL can be determined based on the status of the items from the ICL.

摘要翻译： 监视图像现金字母（“ICL”）的电子支票处理状态和ICL中的项目包括通过执行与该项目相关的至少一个电子支票处理事件来处理每个ICL项目。 对于每个电子支票处理事件和每个项目，创建包括与电子支票处理事件的状态有关的信息的记录。 每个记录与相关项目和ICL相关联。 可以基于存储在与该项目相对应的记录中的信息来确定每个项目的状态。 ICL的状态可以根据ICL项目的状态来确定。

公开(公告)号：US20070095888A1

公开(公告)日：2007-05-03

申请号：US11482379

申请日：2006-07-07

申请人： Randall Mueller ,  Thomas Schaadt ,  Steven Harris ,  Eric Lendl ,  V. Nori ,  Steven Purser

发明人： Randall Mueller ,  Thomas Schaadt ,  Steven Harris ,  Eric Lendl ,  V. Nori ,  Steven Purser

IPC分类号： G06F17/00 ,  G07F19/00 ,  G07D11/00

CPC分类号： G06Q20/0425 ,  G06Q20/042 ,  G06Q20/10 ,  G06Q40/00

摘要： Balancing image cash letters (“ICLs”) and ICL items during electronic check processing includes determining whether each item has been presented to a receiving institution for payment. A tracking module can track an incoming ICL/item's processing status using records comprising information regarding the ICL/item's status for electronic check processing events. The tracking module can present the ICL/item's processing status in one or more reports. The tracking module can balance an ICL by comparing an incoming ICL value amount with an outgoing ICL value amount. The incoming ICL value amount comprises the total value of the items in the incoming ICL. The outgoing ICL value amount comprises the total value of the items in the incoming ICL that have been presented to a receiving institution via one or more outgoing ICLs. If the amounts match, then the incoming ICL is balanced. If not, then the ICL is not balanced.

摘要翻译： 在电子检查处理过程中平衡图像现金字母（“ICL”）和ICL项目包括确定每个项目是否已提交给接收机构进行支付。 跟踪模块可以使用包括关于ICL /项目的电子检查处理事件的状态的信息的记录来跟踪输入的ICL /项目的处理状态。 跟踪模块可以在一个或多个报告中呈现ICL /项目的处理状态。 跟踪模块可以通过将输入的ICL值量与输出的ICL值量进行比较来平衡ICL。 传入的ICL值量包括传入ICL中的项目的总值。 输出的ICL值量包括通过一个或多个输出ICL呈现给接收机构的进入ICL中的项目的总值。 如果数量匹配，那么传入的ICL是平衡的。 如果没有，则ICL不平衡。

公开(公告)号：US08065565B2

公开(公告)日：2011-11-22

申请号：US12245581

申请日：2008-10-03

申请人： Trishul Chilimbi ,  Krishna Kumar Mehra ,  Benjamin Robert Liblit ,  Aditya V. Nori ,  Kapil Vaswani

发明人： Trishul Chilimbi ,  Krishna Kumar Mehra ,  Benjamin Robert Liblit ,  Aditya V. Nori ,  Kapil Vaswani

IPC分类号： G06F11/00

CPC分类号： G06F11/366

摘要： The method executes the application and if there are no errors from the execution of the application, the method ends. If errors exist, the errors are collected from the execution of the application in an error report. Labeled application paths are created by adding a unique label to individual application paths where the application paths are individual loops and individual functions in the application. An analysis is created of the labeled application paths by executing the application with the labeled paths, reviewing the error report for data related to the labels and if an error is sufficiently related to application paths with labels, storing the path that created the errors in a report. If an error is not sufficient related to the application path with labels, the method is repeated by the creating the analysis again by substituting additional application paths for the application paths.

摘要翻译： 该方法执行应用程序，如果应用程序的执行没有错误，则该方法结束。 如果存在错误，则会在错误报告中从应用程序的执行中收集错误。 标签的应用程序路径是通过向单个应用程序路径添加唯一标签创建的，其中应用程序路径是单个循环和应用程序中的单个功能。 通过使用标记的路径执行应用程序来创建标记的应用程序路径的分析，查看与标签相关的数据的错误报告，并且如果错误与具有标签的应用程序路径充分相关，则将创建错误的路径存储在 报告。 如果与标签的应用程序路径相关的错误不足，则通过将其他应用程序路径替换为应用程序路径，再次创建分析来重复该方法。

公开(公告)号：US20100251221A1

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

申请号：US12410177

申请日：2009-03-24

申请人： Aditya V. Nori ,  Patrice Godefroid ,  Sriram Rajamani ,  Sai Deep Tetali

发明人： Aditya V. Nori ,  Patrice Godefroid ,  Sriram Rajamani ,  Sai Deep Tetali

IPC分类号： G06F11/36

CPC分类号： G06F11/3608

摘要： A method of analyzing a computer application is disclosed. The method may break an application into components and the method may determine if the components have already been analyzed for errors, either through static analysis or by a code analysis. If the component has already been analyzed, the previous analysis may be used and the method may move on to the next code section. If the component has not been analyzed, it may be determined if the component may be reached from a given starting point. If the component cannot be reached from a given starting point, the component may not be analyzed. Both static and code testing tools may be used to determine if errors exist. The fined-grained coupling and alternation of may (universal) and must (existential) summaries allow the method to easily navigate through these code fragments while traditional may-only, must-only or non-compositional may-must al-gorithms are stuck in their specific analyses.

摘要翻译： 公开了一种分析计算机应用的方法。 该方法可以将应用程序分解成组件，并且该方法可以通过静态分析或代码分析来确定组件是否已经被分析了错误。 如果组件已经被分析，可以使用以前的分析，并且该方法可以移动到下一个代码部分。 如果未分析组件，则可以确定是否可以从给定的起点到达组件。 如果从给定的起点无法到达组件，则可能无法分析组件。 可以使用静态和代码测试工具来确定是否存在错误。 可能（通用）和必须（存在）摘要的细粒度耦合和交替允许该方法轻松导航这些代码片段，而传统的只有，必须或非组合的可能必须的算法被卡在 具体分析。