Kanna Shimizu

Orcid: 0009-0003-9908-0329

According to our database1, Kanna Shimizu authored at least 11 papers between 2000 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
RecQR: Using Recommendation Systems for Query Reformulation to correct unseen errors in spoken dialog systems.
Proceedings of the 17th ACM Conference on Recommender Systems, 2023

Record Deduplication for Entity Distribution Modeling in ASR Transcripts.
Proceedings of the 24th Annual Conference of the International Speech Communication Association, 2023

Personalized Dense Retrieval on Global Index for Voice-enabled Conversational Systems.
Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing: EMNLP 2023, 2023

2022
Iterative Stratified Testing and Measurement for Automated Model Updates.
Proceedings of the 2022 Conference on Empirical Methods in Natural Language Processing: EMNLP 2022 - Industry Track, Abu Dhabi, UAE, December 7, 2022

2009
Effective implementation of the cell broadband engine<sup>TM</sup> isolation loader.
Proceedings of the 2009 ACM Conference on Computer and Communications Security, 2009

2007
Cell Broadband Engine processor vault security architecture.
IBM J. Res. Dev., 2007

2006
Verification of the cell broadband engine<sup>TM</sup> processor.
Proceedings of the 43rd Design Automation Conference, 2006

2002
Using Formal Specifications for Functional Validation of Hardware Designs.
IEEE Des. Test Comput., 2002

Deriving a simulation input generator and a coverage metric from a formal specification.
Proceedings of the 39th Design Automation Conference, 2002

2001
A Specification Methodology by a Collection of Compact Properties as Applied to the Intel<sup>®</sup> Itanium<sup>TM</sup> Processor Bus Protocol.
Proceedings of the Correct Hardware Design and Verification Methods, 2001

2000
Monitor-Based Formal Specification of PCI.
Proceedings of the Formal Methods in Computer-Aided Design, Third International Conference, 2000


  Loading...