Chien-Yu Lai

According to our database, Chien-Yu Lai authored at least 7 papers between 2009 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

A Chinese Math Word Problem Solving System Based on Linguistic Theory and Non-statistical Approach.

Wen-Jet Wang, Chia-Jung Chen, Chien-Yu Lai, Chia-Ming Lee, Hsin-Hung Lin

Proceedings of the 32nd Conference on Computational Linguistics and Speech Processing, 2020

2014

A Counterexample-Guided Interpolant Generation Algorithm for SAT-Based Model Checking.

Cheng-Yin Wu, Chi-An Wu, Chien-Yu Lai, Chung-Yang (Ric) Huang

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2014

Adaptive interpolation-based model checking.

Chien-Yu Lai, Cheng-Yin Wu, Chung-Yang (Ric) Huang

Proceedings of the 19th Asia and South Pacific Design Automation Conference, 2014

2013

A Performance Mapping Model for Physical-to-Virtual Migration.

Borting Chen, Chien-Yu Lai, Yu-Lun Huang

Proceedings of the IEEE 7th International Conference on Software Security and Reliability, 2013

2012

Study of Radio Resource Allocation Scheme for Single Carrier FDMA in LTE Network.

Yen-Wen Chen, I-Hsuan Peng, Chien-Yu Lai

Proceedings of the 75th IEEE Vehicular Technology Conference, 2012

Security Impacts of Virtualization on a Network Testbed.

Yu-Lun Huang, Borting Chen, Ming-Wei Shih, Chien-Yu Lai

Proceedings of the Sixth International Conference on Software Security and Reliability, 2012

2009

An Improved Ultrasonic-Based Localization Using Reflection Method.

Chen-Chien J. Hsu, Hsin-Chuan Chen, Chien-Yu Lai

Proceedings of the 2009 International Asia Conference on Informatics in Control, 2009