Kanna Shimizu

Publication Activity (10 Years)

Years Active: 2000-2023
Publications (10 Years): 5

Top Topics

Query Reformulation

Iterative Process

Top Venues

EMNLP (Industry Track)

Publications

Tianyu Huang, Chung Hoon Hong, Carl Wivagg, Kanna Shimizu
Record Deduplication for Entity Distribution Modeling in ASR Transcripts. INTERSPEECH (2023)
Manik Bhandari, Mingxian Wang, Oleg Poliannikov, Kanna Shimizu
RecQR: Using Recommendation Systems for Query Reformulation to correct unseen errors in spoken dialog systems. RecSys (2023)
Masha Belyi, Charlotte Dzialo, Chaitanya Dwivedi, Prajit Muppidi, Kanna Shimizu
Personalized Dense Retrieval on Global Index for Voice-enabled Conversational Systems. EMNLP (Industry Track) (2023)
Tianyu Huang, Chung Hoon Hong, Carl Wivagg, Kanna Shimizu
Record Deduplication for Entity Distribution Modeling in ASR Transcripts. CoRR (2023)
Elizabeth Dekeyser, Nicholas Comment, Shermin Pei, Rajat Kumar, Shruti Rai, Fengtao Wu, Lisa A. Haverty, Kanna Shimizu
Iterative Stratified Testing and Measurement for Automated Model Updates. EMNLP (Industry Track) (2022)
Masana Murase, Kanna Shimizu, Wilfred Plouffe, Masaharu Sakamoto
isolation loader. CCS (2009)
Kanna Shimizu, H. Peter Hofstee, John S. Liberty
Cell Broadband Engine processor vault security architecture. IBM J. Res. Dev. 51 (5) (2007)
Kanna Shimizu, Sanjay Gupta, Tatsuya Koyama, Takashi Omizo, Jamee Abdulhafiz, Larry McConville, Todd Swanson
processor. DAC (2006)
Kanna Shimizu, David L. Dill
Deriving a simulation input generator and a coverage metric from a formal specification. DAC (2002)
Kanna Shimizu, David L. Dill
Using Formal Specifications for Functional Validation of Hardware Designs. IEEE Des. Test Comput. 19 (4) (2002)
Kanna Shimizu, David L. Dill, Ching-Tsun Chou
Processor Bus Protocol. CHARME (2001)
Kanna Shimizu, David L. Dill, Alan J. Hu
Monitor-Based Formal Specification of PCI. FMCAD (2000)