5 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Goethe University FrankfurtDE2 papers
- Artificial Intelligence Research InstituteES1 paper
- Henan University of Science and TechnologyCN1 paper
- Luoyang Institute of Science and TechnologyCN1 paper
- MTA-SZTE Research Group on Artificial IntelligenceHU1 paper
- RISC Software (Austria)AT1 paper
- Shenzhen UniversityCN1 paper
- Universitat de GironaES1 paper
- University of Hong KongHK1 paper
- Xidian UniversityCN1 paper
2 papers
eess.AS2026
Deep Hierarchical Knowledge Loss for Fault Intensity Diagnosis
Yu Sha, Shuiping Gou, Bo Liu +8
Fault intensity diagnosis (FID) plays a pivotal role in intelligent manufacturing while neglecting dependencies among target classes hinders its practical deployment. This paper in…
cs.LO2021★ 5 cited
Nominal Unification and Matching of Higher Order Expressions with Recursive Let
Manfred Schmidt-Schauß, Temur Kutsia, Jordi Levy +2
A sound and complete algorithm for nominal unification of higher-order expressions with a recursive let is described, and shown to run in nondeterministic polynomial time. We also…