International Business Machines Corporation

Honeywell International Inc.

Sudeepa Roy

Huaiyu Zhu

Laura Chiticariu

Frederick Ralph Reiss

Vitaly Feldman

Meenakshi Balasubramanian

Abhishek Bhatnagar

A method for refining a dictionary for information extraction, the operations including: inputting a set of extracted results from execution of an extractor comprising the dictionary on a collection of text, wherein the extracted results are labeled as correct results or incorrect results; processing the extracted results using an algorithm configured to set a score of the extractor above a score threshold, wherein the score threshold balances a precision and a recall of the extractor; and outputting a set of candidate dictionary entries corresponding to a full set of dictionary entries, wherein the candidate dictionary entries are candidates to be removed from the dictionary based on the extracted results.

Refining a dictionary for information extraction

A translator converts an input model, such as resulting from a simulation of a design to be verified, into an output model suitable for verification by a model checker. The input model, for example, may be produced using Simulink, and the output model, for example, may be a NuSMV model.

Automatic translation of simulink models into the input language of a model checker

Growing community of inventors

Kolkata, India

Sudeepa Roy