Issued Patents All Time
Showing 1–3 of 3 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8799754 | Verification of data stream computations using third-party-supplied annotations | Graham Cormode, Amit Chakrabarti | 2014-08-05 |
| 8612649 | Validation of priority queue processing | Graham Cormode, Amit Chakrabarti, Ranganath Kondapally | 2013-12-17 |
| 8145669 | Methods and apparatus for representing probabilistic data using a probabilistic histogram | Graham Cormode, Antonios Deligiannakis, Minos Garofalakis | 2012-03-27 |