| 12289457 |
Encoding a video frame using different compression ratios for text blocks and non-text blocks |
Daniele Moro, Sean Purser-Haskell, Hao Zhuang, Stan Vitvitskyy |
2025-04-29 |
| 12225221 |
Ultra light models and decision fusion for fast video coding |
Shan Li, In Suk Chong, Aki Kuusela |
2025-02-11 |
| 11956447 |
Using rate distortion cost as a loss function for deep learning |
Aki Kuusela, Joseph Young, Shan Li, Dake He |
2024-04-09 |
| 11310501 |
Efficient use of quantization parameters in machine-learning models for video coding |
Dake He, Aki Kuusela, Shan Li |
2022-04-19 |
| 11310498 |
Receptive-field-conforming convolutional models for video coding |
Aki Kuusela, Shan Li, Dake He |
2022-04-19 |
| 11025907 |
Receptive-field-conforming convolution models for video coding |
Shan Li, Aki Kuusela, Dake He |
2021-06-01 |
| 10869036 |
Receptive-field-conforming convolutional models for video coding |
Aki Kuusela, Shan Li, Dake He |
2020-12-15 |
| 10674152 |
Efficient use of quantization parameters in machine-learning models for video coding |
Dake He, Aki Kuusela, Shan Li |
2020-06-02 |
| 10078714 |
Data propagation analysis for debugging a circuit design |
Fabiano Peixoto, Breno Rodrigues Guimaraes, Xiaoyang Sun |
2018-09-18 |
| 9934410 |
Security data path verification |
Victor Markus Purri, Caio Araújo Teixeira Campos, Magnus Björk, Lawrence Loh |
2018-04-03 |
| 9922209 |
Security data path verification |
Victor Markus Purri, Caio Araújo Teixeira Campos, Magnus Björk, Lawrence Loh |
2018-03-20 |
| 9817930 |
Method, system, and computer program product for verifying an electronic circuit design with a graph-based proof flow |
Caio Araújo Teixeira Campos, Tamires Vargas Campanema Franco Santos, Andrea Iabrudi Tavares, Fabiano Peixoto |
2017-11-14 |
| 9659142 |
Methods, systems, and articles of manufacture for trace warping for electronic designs |
Chung-Wah Norris Ip, Thiago Radicchi Roque |
2017-05-23 |
| 9449196 |
Security data path verification |
Victor Markus Purri, Caio Araújo Teixeira Campos, Magnus Björk, Lawrence Loh |
2016-09-20 |
| 9081927 |
Manipulation of traces for debugging a circuit design |
Chien-Liang Lin, Chung-Wah Norris Ip |
2015-07-14 |
| 8990745 |
Manipulation of traces for debugging behaviors of a circuit design |
Chien-Liang Lin, Chung-Wah Norris Ip |
2015-03-24 |
| 8572527 |
Generating properties for circuit designs |
Fabiano Peixoto |
2013-10-29 |
| 8527911 |
Comprehending a circuit design |
Kathryn Drews Kranen, Chung-Wah Norris Ip, Rajeev Ranjan, Georgia Penido Safe, Yann Alain Antonioli |
2013-09-03 |
| 8205187 |
Generalizing and inferring behaviors of a circuit design |
Chung-Wah Norris Ip, Harry D. Foster, Rajeev Ranjan, Kathryn Drews Kranen, Georgia Penido Safe |
2012-06-19 |
