Da Shen

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 11

Top Topics

Constraint Solvers

Top Venues

IEEE Trans. Mob. Comput.

Publications

Fei He, Yipeng Liu, Da Shen, Yangyang Jiang, Ying Li, Ce Zhu
Multi-Band Speech Tensor Decomposition for Interactive Feature Extraction in Early Dysphagia Screening. ICASSP (2024)
Da Shen, Zhongrong Wang, Fei He, Zhijie Sun, Ce Zhu, Yipeng Liu
Epilepsy Detection with Personal Identification Based on Regularized O-minus Decomposition. ISCAS (2024)
Xiaoguang Niu, Kaiyi Zou, Da Shen, Steve Drew, Shaowu Wu, Guangyi Guo, Ruizhi Chen
UltraMotion: High-Precision Ultrasonic Arm Tracking for Real-World Exercises. IEEE Trans. Mob. Comput. 23 (2) (2024)
Da Shen, Xinyun Chen, Chenguang Wang, Koushik Sen, Dawn Song
Benchmarking Language Models for Code Syntax Understanding. CoRR (2022)
Da Shen, Xinyun Chen, Chenguang Wang, Koushik Sen, Dawn Song
Benchmarking Language Models for Code Syntax Understanding. EMNLP (Findings) (2022)
Chao Qiu, Yuanzhuo Xu, Yu Zhu, Luyao Xie, Da Shen, Junhui Huang, Xiaoguang Niu
MAGINS: Neural Network Inertial Navigation System Corrected by Magnetic Information. IPCCC (2021)
Da Shen, Weiliang Niu, Jiong Liu, Heng Li, Chengkai Tan, Yang Xue, Yue Sun
Obstacle Avoidance Path Planning for Double Manipulators Based on Improved Artificial Potential Field Method. ICITEE (2019)
Xiaoguang Niu, Da Shen, Zejun Zhang, Zhen Wang, Jiawei Wang, Haiming Chen
BCE: A Behavior-Learning-Based Crowdedness Estimation Mechanism for Crowdsensing Buses. IEEE Access 7 (2019)
Da Shen, Yuliya Lierler
SMT-based Constraint Answer Set Solver EZSMT+. CoRR (2019)
Da Shen, Yuliya Lierler
SMT-Based Answer Set Solver CMODELS(DIFF) (System Description). ICLP (Technical Communications) (2018)
Da Shen, Yuliya Lierler
SMT-Based Constraint Answer Set Solver EZSMT+ for Non-Tight Programs. KR (2018)
Da Shen, Rentao Gu, Yuefeng Ji
A traffic-modeling approach to understanding the QoS correlations in network. ICCT (2013)
Da Shen, Xiaoying Gan, Hsiao-Hwa Chen, Liang Qian, Miao Xu
Significant cycle frequency based feature detection for cognitive radio systems. CrownCom (2009)