Kanna Shimizu

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