金祥宇
人员信息
其他同名人员
优化列表
2020年–今天
2024 [i2] 伯华詹 , 熊旭 , 羌高 , 泽坤吉 , 金祥宇 , 王淑玲(Shuling Wang) , 詹乃军(Naijun Zhan) 以下为:
Mars 2.0:用于网络物理系统建模、分析、验证和代码生成的工具链。 CoRR公司 腹肌/2403.03035 ( 2024 ) 2023 [i1] 詹乃军(Naijun Zhan) , 伯华詹 , 王淑玲(Shuling Wang) , 迪米塔尔·普·盖列夫 , 金祥宇 以下为:
广义混合Hoare逻辑。 CoRR公司 abs/2303.15020 ( 2023 ) 2022 [j8] 金香兰 , 金祥宇 , 吴晓云 , 陈鲁光 , 铁工王 , 王府藏 以下为:
FFRCT在单阻塞性冠状动脉狭窄中的分布及主要不良心脏事件的预测因素:一项倾向评分匹配研究。 BMC医学成像 22 ( 1 ) 以下为: 59 ( 2022 ) [j7] 熊旭 , 王淑玲(Shuling Wang) , 伯华詹 , 金祥宇 , Jean-Pierre Talpin女士 , 詹乃军(Naijun Zhan) 以下为:
通过结合AADL和Simulink/Stateflow,对网络物理系统进行统一的图形联合建模、分析和验证。 西奥。 计算。 科学。 903 以下为: 1-25 ( 2022 ) 2021 [j6] 金祥宇 , 汤华君 , 黄玉欣 以下为:
供应链视角下急诊血液采集与配送的动态随机优化。 复杂。 2021 以下为: 5532672:1-5532672:15 ( 2021 ) [j5] 金祥宇 , 杰安 , 伯华詹 , 詹乃军(Naijun Zhan) , 张妙妙 以下为:
推断切换非线性动力系统。 形式方面计算。 33 ( 三 ) 以下为: 385-406 ( 2021 ) [第17条] 斯特凡·米奇 , 金祥宇 , 伯华詹 , 王淑玲(Shuling Wang) , 詹乃军(Naijun Zhan) 以下为:
ARCH-COMP21类别报告:混合系统定理证明。 ADHS建筑 2021 以下为: 120-132 [第16条] 伯华詹 , Bin Gu先生 , 熊旭 , 金祥宇 , 王淑玲(Shuling Wang) , 白雪 , 李晓峰 , 姚晨 , 杨梦飞 , 詹乃军(Naijun Zhan) 以下为:
简要行业论文:火星着陆器下降制导控制的建模与验证。 RTAS公司 2021 以下为: 457-460 2020 [第15条] 斯特凡·米奇 , 乔纳森·朱利安·韦尔塔·穆尼夫 , 金祥宇 , 伯华詹 , 王淑玲(Shuling Wang) , 詹乃军(Naijun Zhan) 以下为:
ARCH-COMP20类别报告:混合系统定理证明。 建筑 2020 以下为: 153-174 [第14条] 金祥宇 , 王超(Chao Wang) , 胡文丽 以下为:
疫情下生鲜食品配送路线优化研究。 ISBDAI公司 2020 以下为: 81至85 [第13条] 王超(Chao Wang) , 金祥宇 以下为:
大数据背景下的公共服务信息安全研究。 ISBDAI公司 2020 以下为: 86-92
2010 – 2019
2019 [c12] 斯特凡·米奇 , 安德鲁·索戈孔 , Yong Kiam Tan先生 , 金祥宇 , 伯华詹 , 王淑玲(Shuling Wang) , 詹乃军(Naijun Zhan) 以下为:
ARCH-COMP19类别报告:混合系统定理证明。 建筑@CPSIoTWeek 2019 以下为: 141-161 2018 [第11条] 斯特凡·米奇 , 安德鲁·索戈孔 , Yong Kiam Tan先生 , 安德烈·普拉泽 , 赵恒军 , 金祥宇 , 王淑玲(Shuling Wang) , 詹乃军(Naijun Zhan) 以下为:
ARCH-COMP18类别报告:混合系统定理证明。 ADHS建筑 2018 以下为: 110-127
2000 – 2009
2006 [第10条] 金祥宇 , James C.法语 , 乔纳森·米歇尔 以下为:
定量分析判断不一致性对相关反馈绩效的影响。 SIGIR公司 2006 以下为: 655-656 2005 [j4] 金祥宇 , James C.法语 以下为:
通过多个查询提高图像检索效率。 Multim公司。 工具应用程序。 26 ( 2 ) 以下为: 221-245 ( 2005 ) 【c9】 金祥宇 , James C.法语 , 乔纳森·米歇尔 以下为:
多媒体检索中相关性反馈方法的一致性评价。 自适应多媒体检索 2005 以下为: 191-206 【c8】 乔纳森·米歇尔 , 金祥宇 , James C.法语 以下为:
SAIC&弗吉尼亚大学TREC 2005:硬跑道。 TREC公司 2005 2004 [j3] 徐晓刚 , 孙正兴 , 彭彬彬 , 金祥宇 , 刘文银 以下为:
一种基于空间关系图匹配的在线复合图形识别方法。 国际期刊文件分析。 认可。 7 ( 1 ) 以下为: 44-55 ( 2004 ) [注2] 彭彬彬 , 刘文银 , 尹柳(音) , 黄光林 , 孙正兴 , 金祥宇 以下为:
基于Svm的草图识别用户自适应增量学习算法。 国际J模式识别。 Artif公司。 因特尔。 18 ( 8 ) 以下为: 1529-1550 ( 2004 ) 【c7】 James C.法语 , 金祥宇 , 值得一提的N.Martin 以下为:
多视角CBIR系统可扩展性的实证研究。 CIVR公司 2004 以下为: 252-260 2003 【c6】 James C.法语 , 詹姆斯·V·S·沃森 , 金祥宇 , 值得一提的N.Martin 以下为:
为基于内容的图像检索系统添加多个图像表示的外生方法。 ISSPA(1) 2003 以下为: 201-204 【c5】 James C.法语 , 值得一提的N.Martin , 詹姆斯·沃森 , 金祥宇 以下为:
集成多通道CBIR系统。 多媒体信息系统 2003 以下为: 85-96 【c4】 金祥宇 , James C.法语 以下为:
通过多个查询提高图像检索效率。 毫米数据库 2003 以下为: 86-93 2002 【c3】 金祥宇 , 刘文银 , 孙建勇 , 孙正兴 以下为:
在线图形识别。 PG公司 2002 以下为: 256-264 2001 [c2] 刘文银 , 金祥宇 , 孙正兴 以下为:
用于在小屏幕设备上输入图形对象的基于草图的用户界面。 GREC公司 2001 以下为: 67-80 【c1】 刘文银 , 钱文杰 , 荣晓 , 金祥宇 以下为:
Smart Sketchpad-在线图形识别系统。 ICDAR公司 2001 以下为: 1050-1054 2000 [j1] 王继成 , 金祥宇 , 杨晓江 , 张福燕 以下为:
万维网上的分布式协同信息检索。 J.计算。 科学。 Technol公司。 15 ( 6 ) 以下为: 611-618 ( 2000 )