Abstract: The present invention generally relates to systems and methods for visual process analysis. The disclosed techniques can include: obtaining a theoretical and an empirical process model, generating a theoretical process layout corresponding to the theoretical process model, where the theoretical process layout is generated using a layout algorithm, generating an empirical process layout corresponding to the empirical process model, where the empirical process layout is generated using the layout algorithm, superposing the empirical process layout onto the theoretical process layout, such that a superposition layout is generated, annotating the superposition layout based on ugliness indicators, such that an annotated superposition layout is generated, and causing the annotated superposition layout to be displayed.

Abstract: The present invention generally relates to systems and methods for checking the conformance of a process behavior against a theoretical process model, and for further providing a detailed diagnostic regarding the process behavior's expectedness and frequency. The provision of this detailed diagnostic includes discovering the empirical models generated by the system's business processes, and matching the defined process model to its corresponding empirical model.

Abstract: A method, a system, and a computer program product for processing a plurality of electronic documents are provided. The method includes marking at least one area in an electronic document selected from the plurality of electronic documents. The marked at least one area is then matched with corresponding area in the remaining electronic documents of the plurality of electronic documents. A score is computed for each of the remaining electronic documents of the plurality of electronic documents based on the matching. The plurality of electronic documents is then grouped into one or more groups based on the score.

Abstract: A method, a system, and a computer program product for translating a document are disclosed. A document in a source language is received and text snippets are extracted from the same. The text snippets are sent to a first set of remote workers for translation and a second set of remote workers for validation. The words in the validated text snippets are assigned a probability score. The words with the highest probability score are combined to generate the translated document.

Abstract: The present invention generally relates to systems and methods for visual process analysis. The disclosed techniques can include: obtaining a theoretical and an empirical process model, generating a theoretical process layout corresponding to the theoretical process model, where the theoretical process layout is generated using a layout algorithm, generating an empirical process layout corresponding to the empirical process model, where the empirical process layout is generated using the layout algorithm, superposing the empirical process layout onto the theoretical process layout, such that a superposition layout is generated, annotating the superposition layout based on ugliness indicators, such that an annotated superposition layout is generated, and causing the annotated superposition layout to be displayed.

Abstract: A method, non-transitory computer readable medium, and apparatus for recommending a repair for a business process are disclosed. For example, the method identifies an empirical process graph that corresponds to a theoretical process graph of the business process, decomposes the theoretical process graph into one or more sub-process graphs, identifies a portion of the empirical process graph to compare to one of the one or more sub-process graphs, compares the portion of the empirical process graph to the one of the one or more sub-process graphs to calculate a remainder, repeats the identifying and the comparing for each one of the one or more sub-process graphs and recommends a list of one or more repairs, wherein each one of the one or more repairs corresponds to a respective remainder calculated in the comparing.

Abstract: The present invention generally relates to systems and methods for checking the conformance of a process behavior against a theoretical process model, and for further providing a detailed diagnostic regarding the process behavior's expectedness and frequency. The provision of this detailed diagnostic includes discovering the empirical models generated by the system's business processes, and matching the defined process model to its corresponding empirical model.

Abstract: A method, a system, and a computer program product for processing a plurality of electronic documents are provided. The method includes marking at least one area in an electronic document selected from the plurality of electronic documents. The marked at least one area is then matched with corresponding area in the remaining electronic documents of the plurality of electronic documents. A score is computed for each of the remaining electronic documents of the plurality of electronic documents based on the matching. The plurality of electronic documents is then grouped into one or more groups based on the score.

Abstract: A method, a system, and a computer program product for translating a document are disclosed. A document in a source language is received and text snippets are extracted from the same. The text snippets are sent to a first set of remote workers for translation and a second set of remote workers for validation. The words in the validated text snippets are assigned a probability score. The words with the highest probability score are combined to generate the translated document.