• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 20 matches

• 2024
• 
  Hoang Ngoc Chau, Tien Dat Bui, Huu Binh Nguyen, Thanh Thi Hien Duong, Quoc-Cuong Nguyen:
  A Novel Approach to Multi-Channel Speech Enhancement Based on Graph Neural Networks. IEEE ACM Trans. Audio Speech Lang. Process. 32: 1133-1144 (2024)
• 
  Viet Cuong Nguyen, Mini Jain, Abhijat Chauhan, Heather Jaime Soled, Santiago Alvarez Lesmes, Zihang Li, Michael L. Birnbaum, Sunny X. Tang, Srijan Kumar, Munmun De Choudhury:
  Supporters and Skeptics: LLM-based Analysis of Engagement with Mental Health (Mis)Information Content on Video-sharing Platforms. CoRR abs/2407.02662 (2024)
• 2023
• 
  Thi Duyen Ngo, Viet Cuong Ta, Ma Thi Chau, Hoa Minh Nguyen, Hung Xuan Nguyen, Ha Thanh Le:
  Quality Assessment Criteria and Methods for 3D Digital Replica of Historical Printing Woodblocks. ACM Journal on Computing and Cultural Heritage 16(3): 43:1-43:16 (2023)
• 
  Duy Doan, Quang Anh Nguyen, Chi Cuong Chau, Thanh Nhan Ngo, Minh-Son Nguyen:
  A Communication Model for Different IOT Devices in Smart Home Applications. ACOMPA 2023: 106-112
• 2022
• 
  David M. Russinoff, Javier D. Bruguera, Cuong Chau, Mayank Manjrekar, Nicholas Pfister, Harsha Valsaraju:
  Formal Verification of a Chained Multiply-Add Design: Combining Theorem Proving and Equivalence Checking. ARITH 2022: 120-126
• 
  Pham Tuan Anh, Aldy Gunawan, Vincent F. Yu, Chau Tuan Cuong:
  Pickup and Multi-delivery Problem with Time Windows. IEEM 2022: 571-575
• 
  Rob Sumners, Cuong Chau:
  Proceedings Seventeenth International Workshop on the ACL2 Theorem Prover and its Applications, Austin, Texas, USA, 26th-27th May 2022. EPTCS 359, 2022 [contents]
• 2021
• 
  Cuong Dinh Tran, Pavel Brandstetter, Bach Hoang Dinh, Dong Si Thien Chau:
  An Improving Hysteresis Current Control Method Based on FOC Technique for Induction Motor Drive. J. Adv. Eng. Comput. 5(2): 83 (2021)
• 2020
• 
  Cuong Dinh Tran, Pavel Brandstetter, Minh Huu Chau Nguyen, Sang Dang Ho, Phuong Nhat Pham, Bach Hoang Dinh:
  An Enhanced Fault Tolerant Control Against Current Sensor Failures in Induction Motor Drive by Applying Space Vector. J. Adv. Eng. Comput. 4(1): 51-63 (2020)
• 2019
• 
  Cuong K. Chau, Warren A. Hunt Jr., Matt Kaufmann, Marly Roncken, Ivan E. Sutherland:
  A Hierarchical Approach to Self-Timed Circuit Verification. ASYNC 2019: 105-113
• 
  Pham Tuan Anh, Chau Tuan Cuong, Phan Nguyen Ky Phuc:
  The vehicle routing problem with time windows: A case study of fresh food distribution center. KSE 2019: 1-5
• 2018
• 
  Cuong Dinh Tran, Pavel Brandstetter, Bach Hoang Dinh, Sang Dang Ho, Minh Huu Chau Nguyen:
  Current-Sensorless Method for Speed Control of Induction Motor Based on Hysteresis Pulse Width Modulation Technique. J. Adv. Eng. Comput. 2(4): 271-280 (2018)
• 
  Cuong K. Chau, Warren A. Hunt Jr., Matt Kaufmann, Marly Roncken, Ivan E. Sutherland:
  Data-Loop-Free Self-Timed Circuit Verification. ASYNC 2018: 51-58
• 2017
• 
  Marly Roncken, Ivan E. Sutherland, Chris Chen, Yong Hei, Warren A. Hunt Jr., Cuong K. Chau, Swetha Mettala Gilla, Hoon Park, Xiaoyu Song, Anping He, Hong Chen:
  How to think about self-timed systems. ACSSC 2017: 1597-1604
• 
  Cuong K. Chau, Warren A. Hunt Jr., Marly Roncken, Ivan E. Sutherland:
  A Framework for Asynchronous Circuit Modeling and Verification in ACL2. Haifa Verification Conference 2017: 3-18
• 2016
• 
  David L. Rager, Jo C. Ebergen, Dmitry Nadezhin, Austin Lee, Cuong Kim Chau, Ben Selfridge:
  Formal verification of division and square root implementations, an Oracle report. FMCAD 2016: 149-152
• 2015
• 
  Cuong K. Chau, Matt Kaufmann, Warren A. Hunt Jr.:
  Fourier Series Formalization in ACL2(r). ACL2 2015: 35-51
• 2013
• 
  Islam Beltagy, Cuong Chau, Gemma Boleda, Dan Garrette, Katrin Erk, Raymond J. Mooney:
  Montague Meets Markov: Deep Semantics with Probabilistic Logical Form. *SEM@NAACL-HLT 2013: 11-21
• 2010
• 
  Bui Cong Cuong, Le Hoang Son, Hoang Thi Minh Chau:
  Some context fuzzy clustering methods for classification problems. SoICT 2010: 34-40
• 2009
• 
  Van T. T. Duong, Tru Hoang Cao, Cuong K. Chau, Tho T. Quan:
  Latent Ontological Feature Discovery for Text Clustering. RIVF 2009: 1-8