Abstract: Expert system may utilize multiple metrics to estimate whether a performance improvement activity has a potential to improve performance in respect to a predetermined performance metric. The multiple metrics may be propagated based on whether or not they may be affected by the activity and based on an associated value that may take into account the current value of the metric. An Index Propagation Graph may be further utilized to represent a propagation function which may propagate the potential of improvement of each metric in respect to the predetermined performance metric.

Abstract: A method for altering a recognition error correction data structure, the method includes: altering at least one key out of a set of semantically similar keys in response to text appearance probabilities of keys of the set of semantically similar keys to provide an at least one altered key; and replacing the at least one key by the at least one altered key.

Abstract: An Automatic Sales Assistant (“ASA”) automates the handling of electronic commerce transactions by gathering all of the relevant information with respect to an electronic commerce transaction being carried out by a customer using a computer and presenting it to the customer in a unified and convenient form (e.g., a template) that the customer may use to properly complete the electronic transaction (e.g., a purchase of retail goods using the Internet). The transaction may be an active document that resides in a private folder on the customer's computer. This type of active process handles all of the procedures related to any given electronic commerce transaction. Moreover, the ASA facilitates the proper resolution of any problems with a transaction by providing all of the necessary support material and information.

Abstract: A method for encoding characters includes identifying one or more sequences of the character codes that are likely to be generated due a segmentation error in application of a pattern recognition process, and associating a respective extension character code with each of the sequences. The area of an image containing characters is divided into segments, such that each segment contains approximately one character. The pattern recognition process is applied to each of the segments in order to generate an input string of character codes. At least one of the identified sequences of the character codes in the input string is replaced with the respective extension character code so as to generate a modified string. The output string is determined by comparing the modified string to a directory of known strings.

Abstract: A method for altering a recognition error correction data structure, the method includes: altering at least one key out of a set of semantically similar keys in response to text appearance probabilities of keys of the set of semantically similar keys to provide an at least one altered key; and replacing the at least one key by the at least one altered key.

Abstract: A system and method to synchronize independent local clocks in multi-core processing system are disclosed. A shared counter or a shared memory/file is provided to establish a partial happened-before relationship (e1<e2 in the happened-before order if we know that the event e1 happened before the event e2) and a synchronizer device is utilized to generate a global time of events in threads or processes.

Abstract: A method for comparing data sequences includes accepting first and second data sequences of data elements. A distance matrix is computed. The matrix includes rows and columns of matrix elements, describing distances between the data elements of the first sequence and the data elements of the second data sequence. The distance matrix is reshaped by applying successive, incremental shifts to the rows or columns so as to produce a reshaped matrix. A best-score path through the reshaped matrix is calculated using vector operations, so as to quantify a similarity between the first and second data sequences. Due to vectorization, a significant increase in computation speed is achieved in both software and hardware implementations.

Abstract: The invention provides an improved method and method for locating the origin of runtime defect in software programs. A differential debugging technique may be implemented to locate the diversion point where two programs start to behave differently. In one approach, the method generally involves running the two programs and generating respective control flow diagrams via a static code analyzer or the like. Tracer and supervisor modules may be used to replace addresses in registers with symbols and/or position-independent offsets, and to locate where differences in the register states occur.

Abstract: A system and method to synchronize independent local clocks in multi-core processing system are disclosed. A shared counter or a shared memory/file is provided to establish a partial happened-before relationship (e1<e2 in the happened-before order if we know that the event e1 happened before the event e2) and a synchronizer device is utilized to generate a global time of events in threads or processes. The synchronizer device estimates each clock's start time and approximates elapsed time between events in threads or processes by executing an all-pair shortest-path algorithm.

Abstract: A method for encoding characters includes identifying one or more sequences of the character codes that are likely to be generated due a segmentation error in application of a pattern recognition process, and associating a respective extension character code with each of the sequences. The area of an image containing characters is divided into segments, such that each segment contains approximately one character. The pattern recognition process is applied to each of the segments in order to generate an input string of character codes. At least one of the identified sequences of the character codes in the input string is replaced with the respective extension character code so as to generate a modified string. The output string is determined by comparing the modified string to a directory of known strings.

Abstract: A method for comparing data sequences includes accepting first and second data sequences of data elements. A distance matrix is computed. The matrix includes rows and columns of matrix elements, describing distances between the data elements of the first sequence and the data elements of the second data sequence. The distance matrix is reshaped by applying successive, incremental shifts to the rows or columns so as to produce a reshaped matrix. A best-score path through the reshaped matrix is calculated using vector operations, so as to quantify a similarity between the first and second data sequences.

Abstract: A method for identifying a program code is provided. The method comprises identifying a plurality of basic blocks in a first program code, wherein the basic blocks are arranged in a first sequential order; rearranging the basic blocks in a second sequential order to generate a second program code; and using the second sequential order to generate a unique identification key associated with the first program code.

Abstract: Methods and systems are provided to facilitate the optimization process of existing relational database managers when processing complex queries. Specialized constraining clauses are inserted in or added to SQL queries, which do not affect the semantics of the queries. This operation causes the RDBMS to partition the query into sub-queries, and to apply a more efficient optimization for each sub-query. A condition in which the execution time of the modified query substantially exceeds that of the original query may indicate a design flaw in the RDBMS query optimizer.

Abstract: Methods and systems are provided for check code line recognition at a point-of-sale terminal having OCR and MICR capabilities. Images of problematic characters are extracted and automatically transmitted to a remote location for on-line manual validation or data entry. Video coding of problematic characters is performed for the correction of either or both MICR and OCR results. The correctly encoded characters are returned to the point of sale within a few seconds, and combined as necessary with locally recognized characters, to assemble a correct code line for entry into a payment system.

Abstract: A counterfeit detection method includes electronically reading a label on a desired item in a store, transmitting an item identification code encoded in the read label to an authentication unit, receiving an indication from the authentication unit whether or not the item identification code is registered to the store and if the indication is positive, generating a certificate of authenticity for the desired item.

Abstract: A method for comparing data sequences includes accepting first and second data sequences of data elements. A distance matrix is computed. The matrix includes rows and columns of matrix elements, describing distances between the data elements of the first sequence and the data elements of the second data sequence. The distance matrix is reshaped by applying successive, incremental shifts to the rows or columns so as to produce a reshaped matrix. A best-score path through the reshaped matrix is calculated using vector operations, so as to quantify a similarity between the first and second data sequences. Due to vectorization, a significant increase in computation speed is achieved in both software and hardware implementations.

Abstract: Methods and systems are provided for check code line recognition at a point-of-sale terminal having OCR and MICR capabilities. Images of problematic characters are extracted and automatically transmitted to a remote location for on-line manual validation or data entry. Video coding of problematic characters is performed for the correction of either or both MICR and OCR results. The correctly encoded characters are returned to the point of sale within a few seconds, and combined as necessary with locally recognized characters, to assemble a correct code line for entry into a payment system.

Abstract: A counterfeit detection method includes electronically reading a label on a desired item in a store, transmitting an item identification code encoded in the read label to an authentication unit, receiving an indication from the authentication unit whether or not the item identification code is registered to the store and if the indication is positive, generating a certificate of authenticity for the desired item.

Abstract: A method for encoding characters includes identifying one or more sequences of the character codes that are likely to be generated due a segmentation error in application of a pattern recognition process, and associating a respective extension character code with each of the sequences. The area of an image containing characters is divided into segments, such that each segment contains approximately one character. The pattern recognition process is applied to each of the segments in order to generate an input string of character codes. At least one of the identified sequences of the character codes in the input string is replaced with the respective extension character code so as to generate a modified string. The output string is determined by comparing the modified string to a directory of known strings.

Abstract: A data entry system generates an electronically stored coded representation of a character sequence from one or more electronically stored document images. The system comprising optical character recognition logic for generating, from the document image or images, character data specifying one of a plurality of possible character values for corresponding segments of the document images. The system also has an interactive display means for generating and sequentially displaying, one or more types of composite image, each composite image comprising segments of the document image or images arranged according to the character data, and a correction mechanism responsive to a user input operation to enable the operator to correct the character data associated with displayed segments.