arrow
返回

University of Huddersfield

0H指数
398论文数
0被引数
收录论文 8
发表时间
Model Checking Using Large Language Models-Evaluation and Future Directions基于大型语言模型的模型检测——评估与未来方向
err2025-01-20
err0
errOAAI
errBatsakis, Sotiris; Tachmazidis, Ilias; Mantle, Matthew; Papadakis, Nikolaos; Antoniou, Grigoris
err分享
err收藏
Querying large-scale knowledge graphs using Qualitative Spatial Reasoning
err2024-12-01
err0
errOAAI
errMantle, Matthew; Batsakis, Sotirios; Antoniou, Grigoris
err分享
err收藏
Enabling the use of a planning agent for urban traffic management via enriched and integrated urban data
err2019-01-01
err12
errOAAI
errAntoniou, Grigoris; Batsakis, Sotiris; Davies, John; Duke, Alistair; McCluskey, Thomas L.; Peytchev, Evtim; Tachmazidis, Ilias; Vallati, Mauro
err分享
err收藏
Design and evaluation of small-large outer joins in cloud computing environments
err2017-12-01
err19
errOAAI
errCheng, Long; Tachmazidis, Ilias; Kotoulas, Spyros; Antoniou, Grigoris
err分享
err收藏
Minimal change: Relevance and recovery revisited
err2013-08-01
err18
errOAAI
errRibeiro, Marcio M.; Wassermann, Renata; Flouris, Giorgos; Antoniou, Grigoris
err分享
err收藏
err分享
err收藏