Abstract: The present invention is concerned with reorganizing dialog call-flow in the presence of resource constraints. A call-flow has a set of dialogs. The set of grammars in a given call-flow set of dialogs is determined. Each grammar has an associated resource requirement. The resource constraint of the device is also determined. The dialogs are reorganized subject to the device resource constraints not being exceeded by a resultant resource requirement of merged dialogs. The grammars can be split into atomic dialogs before the reorganization is performed. The reorganization includes merging at least two of the dialogs.

Abstract: Methods and systems for processing claims (e.g., healthcare insurance claims) are described. For example, prior to payment of an unpaid claim, a prediction is made as to whether or not an attribute specified in the claim is correct. Depending on the prediction results, the claim can be flagged for an audit. Feedback from the audit can be used to update the prediction models in order to refine the accuracy of those models.

Abstract: While performing functional verification on a circuit design, a verification tool allows a user to analyze the results of a previous functional analysis. The tool may also receive commands for a next verification analysis while performing a current analysis, and it may allow a user to abort a current analysis. Results from a completed analysis may be discarded or saved for viewing by a user while a next verification is performed on the circuit design. This allows a user to continue to debug and analyze the circuit design without having to wait until previous steps in the verification analysis are completed.

Abstract: Methods of testing a user design implemented in a programmable integrated circuit (IC). The programmable IC is programmed with a first test design that includes the user design and a first test circuit, and a first test pattern is run. The programmable IC is then programmed with a second test design that includes the user design and a second test circuit, and a second test pattern is run. If one of the test patterns fails and the other passes, the programmable IC passes the test sequence. Because one of the test patterns passed, the error in the other test pattern must have occurred in the test circuit, which is not necessary for the functioning of the user design in the programmable IC. Thus, the success of one test pattern shows that the flawed resource is not included in the portion of the programmable IC utilized for implementing the user design.

Abstract: The present invention is concerned with reorganizing dialog call-flow in the presence of resource constraints. A call-flow has a set of dialogs. The set of grammars in a given call-flow set of dialogs is determined. Each grammar has an associated resource requirement. The resource constraint of the device is also determined. THe dialogs are reorganized subject to the device resource constraints not being exceeded by a resultant resource requirement of merged dialogs. The grammars can be split into atomic dialogs before the reorganization is performed. The reorganization includes merging at least two of the dialogs.