| 10503762 |
System for searching, recommending, and exploring documents through conceptual associations |
Michele M. Franceschini, Luis A. Lastras-Montano, John T. Richards, Livio B. Soares |
2019-12-10 |
| 10503761 |
System for searching, recommending, and exploring documents through conceptual associations |
Michele M. Franceschini, Luis A. Lastras-Montano, John T. Richards, Livio B. Soares |
2019-12-10 |
| 10496683 |
Automatically linking text to concepts in a knowledge base |
Michele M. Franceschini, Luis A. Lastras-Montano, Livio B. Soares |
2019-12-03 |
| 10496684 |
Automatically linking text to concepts in a knowledge base |
Michele M. Franceschini, Luis A. Lastras-Montano, Livio B. Soares |
2019-12-03 |
| 10437869 |
Automatic new concept definition |
Michele M. Franceschini, Luis A. Lastras-Montano, Livio B. Soares |
2019-10-08 |
| 10437870 |
Automatic new concept definition |
Michele M. Franceschini, Luis A. Lastras-Montano, Livio B. Soares |
2019-10-08 |
| 10372423 |
System and method for managing resources using a compositional programming model |
Bruce D. Lucas, John H. Field, Rafah A. Hosn, Maria-Cristina V. Marinescu, Charles F. Wiecha |
2019-08-06 |
| 10310819 |
Method and apparatus for providing symbolic mode checking of business application requirements |
Bard Bloom, Ian D. Simmonds, Paul T. Keyser |
2019-06-04 |
| 10303529 |
Protocol for communication of data structures |
Stephen Fink, Alan A. Donovan, Darrell C. Reimer |
2019-05-28 |
| 10303539 |
Automatic troubleshooting from computer system monitoring data based on analyzing sequences of changes |
Fan Jing Meng, Vadakkedathu T. Rajan, Jing Xu, Lin Yang |
2019-05-28 |
| 10255571 |
GUI support for diagnosing and remediating problems that threaten on-time delivery of software and systems |
Murray R. Cantor, Evelyn Duesterwald, Tamir Klinger, Peter K. Malkin, Paul M. Matchen +2 more |
2019-04-09 |