Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Xie, Lihan
4  Ergebnisse:
Buchkapitel (Online) X
Personensuche X
?
1

A Natural Formalized Proof Language:

, In: Theoretical Aspects of Software Engineering; Lecture Notes in Computer Science,
Xie, Lihan ; Hui, Zhicheng ; Cao, Qinxiang - p. 446-464 , 2024
Link: https://doi.org/10.1007/..
 
?
2

Short Text Entity Linking with Fine-grained Topics:

, In: Proceedings of the 27th ACM International Conference on Information and Knowledge Management,
Chen, Lihan ; Liang, Jiaqing ; Xie, Chenhao. - p. 457-466 , 2018
Link: https://dl.acm.org/doi/1..
 
?
3

Automatic Navbox Generation by Interpretable Clustering ove..:

, In: Proceedings of the 2017 ACM on Conference on Information and Knowledge Management,
Xie, Chenhao ; Chen, Lihan ; Liang, Jiaqing... - p. 1857-1865 , 2017
Link: https://dl.acm.org/doi/1..
 
?
4

Wavelet Multi-Resolution in Identifying Modal Parameters Us..:

, In: 2009 International Conference on Information Engineering and Computer Science,
Xu, Chang ; Zhou, Lihan ; Xie, Haiyan - p. None , 2009
Link: https://doi.org/10.1109/..
 
1-4