dblp:赵恒军 https://dblp.org/pid/78/3617.html dblp个人页面RSS提要 2024年5月9日星期四00:01:07+0200 英语-美国 每日的 1 根据CC0 1.0许可证发布 dblp@dagstuhl.de（dblp团队） dblp@dagstuhl.de（dblp团队） 计算机/计算机科学/出版物/书目 http://www.rssboard.org/rss-specification网站 https://dblp.org/img/logo.144x51.png网址dblp:赵恒军https://dblp.org/pid/78/3617.html14451 HQProtoPNet：一种基于证据的可解释图像识别模型。https://doi.org/10.1109/IJCNN54540.2023.10191863,,,:
HQProtoPNet：一种基于证据的可解释图像识别模型。 国际JCNN :1-8]]>https://dblp.org/rec/conf/ijcnn/WangPLZ232023年1月1日，星期日00:00:00+0100 安全强化学习算法及其在CPS智能控制中的应用。https://doi.org/10.21655/ijsi.1673-7288.00284,,,:
安全强化学习算法及其在CPS智能控制中的应用。 国际期刊软件。信息学 12(4):453-483()]]>https://dblp.org/rec/journals/ijsi/ZhaoLZL222022年1月1日星期六00:00:00+0100 椎弓根螺钉置入的腰椎标志点自动定位和分割。https://doi.org/10.109/ICPR56361.2022.9956489,,,,:
椎弓根螺钉置入的腰椎标志点自动定位和分割。 ICPR公司 :4263-4269]]>https://dblp.org/rec/conf/icpr/ChengJZZ0222022年1月1日星期六00:00:00+0100 学习具有屏障证书的安全神经网络控制器。https://doi.org/10.1007/s00165-021-00544-5,,,,:
学习具有屏障证书的安全神经网络控制器。 形式方面计算。 33(三):437-455()]]>https://dblp.org/rec/journals/fac/ZhaoZCLW212021年1月1日，星期五00:00:00+0100 利用深度学习的眼电图设计和开发人机界面。https://doi.org/10.1016/j.artmed.2019.101765,,,,,:
利用深度学习的眼电图设计和开发人机界面。 Artif公司。智力。医学 102:101765()]]>https://dblp.org/rec/journals/artmed/TengHZLXR202020年1月1日星期三00:00:00+0100 使用神经网络合成屏障证书。https://doi.org/10.1145/3365365.3382222,,,:
使用神经网络合成屏障证书。 高速列车控制中心 :25:1-25:11]]>https://dblp.org/rec/conf/hybrid/ZhaoZC0202020年1月1日，星期三00:00:00+0100 结合梯度信息的基于Legendre的自适应图像分割。https://doi.org/10.109/ICIP40778.2020.9190934,,,,:
结合梯度信息的基于Legendre的自适应图像分割。 ICIP公司 :863-867]]>https://dblp.org/rec/conf/icip/ZhuFZZL202020年1月1日，星期三00:00:00+0100 学习具有屏障证书的安全神经网络控制器。https://doi.org/10.1007/978-3-030-62822-2_11,,,,:
学习具有屏障证书的安全神经网络控制器。 设置 :177-185]]>https://dblp.org/rec/conf/setta/ZhaoZCLW202020年1月1日，星期三00:00:00+0100 学习具有屏障证书的安全神经网络控制器。https://arxiv.org/abs/2009.09826,,,,:
学习具有屏障证书的安全神经网络控制器。 CoRR公司 abs/2009.09826()]]>https://dblp.org/rec/journals/corr/abs-2009-098262020年1月1日，星期三00:00:00+0100 基于差商的无参考图像清晰度评估。https://doi.org/10.1117/1.JEI.28.1013032,,,,,:
基于差商的无参考图像清晰度评估。 J.电子成像 28(1):013032()]]>https://dblp.org/rec/journals/jei/QianZFSQX192019年1月1日，星期二00:00:00+0100 混合动力系统的近似安全验证。https://doi.org/10.1007/978-3-030-32409-4_15,,,,:
混合动力系统的近似安全验证。 ICFEM公司 :236-252]]>https://dblp.org/rec/conf/icfem/0001FZZE192019年1月1日星期二00:00:00+0100 基于机器视觉的液晶屏穆拉缺陷检测方法 （基于机器视觉的LCD穆拉缺陷检测方法）。https://doi.org/10.11896/j.issn.1002-137X.2018.06.052,,,,:
基于机器视觉的液晶屏穆拉缺陷检测方法 （基于机器视觉的LCD穆拉缺陷检测方法）。 计算机科学 45(6):296-300()]]>https://dblp.org/rec/journals/jsjkx/ChaniCQZC182018年1月1日星期一00:00:00+0100 ARCH-COMP18类别报告：混合系统定理证明。https://doi.org/10.29007/vjh3,,,,,,,:
ARCH-COMP18类别报告：混合系统定理证明。 ADHS建筑 :110-127]]>https://dblp.org/rec/conf/adhs/MitschSTPZJWZ182018年1月1日星期一00:00:00+0100 基于GMDH的自回归模型预测中国能源消费。https://doi.org/10.1007/s11424-017-6030-y,,,,:
基于GMDH的自回归模型预测中国能源消费。 J.系统。科学。复杂。 30(6):1332-1349()]]>https://dblp.org/rec/journals/jossac/XieXHZX172017年1月1日，星期日00:00:00+0100 没有基于方向导数的参考图像清晰度度量。https://doi.org/10.109/SPAC.2017.8304301,,,,,,:
没有基于方向导数的参考图像清晰度度量。 SPAC公司 :340-344]]>https://dblp.org/rec/conf/spac/ChaniZFHFQ172017年1月1日，星期日00:00:00+0100 MARS：混合系统建模、分析和验证的工具链。https://doi.org/10.1007/978-3-319-48628-4_3,,,,,,,:
MARS：混合系统建模、分析和验证的工具链。 令人信服的正确系统 :39-58]]>https://dblp.org/rec/books/sp/17/ChenHTWYZZ172017年1月1日，星期日00:00:00+0100 Simulink/Stateflow图的形式验证，演绎方法。https://doi.org/10.1007/978-3-319-47016-0,,:
Simulink/Stateflow图的形式验证，演绎方法。 施普林格 ，国际标准图书编号978-3-319-47014-6]]>https://dblp.org/rec/books/sp/17/ZWZ20172017年1月1日，星期日00:00:00+0100 用变量变换抽象基本混合系统。https://doi.org/10.1007/978-3-319-19249-9_23,,,:
用变量变换抽象基本混合系统。 FM公司 :360-377]]>https://dblp.org/rec/conf/fm/0009ZZZ152015年1月1日星期四00:00:00+0100 发现多路径多项式程序的非终止输入。https://doi.org/10.1007/s11424-014-2145-6,,,:
发现多路径多项式程序的非终止输入。 J.系统。科学。复杂。 27(6):1286-1304()]]>https://dblp.org/rec/journals/jossac/0009XZZ142014年1月1日星期三00:00:00+0100 月球着陆器下降制导控制程序的形式验证。https://doi.org/10.1007/978-3-319-06410-9_49,,,,,:
月球着陆器下降制导控制程序的形式验证。 FM公司 :733-748]]>https://dblp.org/rec/conf/fm/ZhaoYZGZC142014年1月1日星期三00:00:00+0100 用变量变换抽象基本混合系统。http://arxiv.org/abs/1403.7022,,,:
用变量变换抽象基本混合系统。 CoRR公司 abs/1403.7022()]]>https://dblp.org/rec/journals/corr/0009ZZZ142014年1月1日星期三00:00:00+0100 基于邻域距离的多聚焦图像融合。https://doi.org/10.1016/j.patcog.2012.09.012,,,:
基于邻域距离的多聚焦图像融合。 模式识别。 46(三):1002-1011()]]>https://dblp.org/rec/journals/pr/ZhaoSTF132013年1月1日星期二00:00:00+0100 用于自动生成八角形和最大加不变量的几何量化器消除启发式。https://doi.org/10.1007/978-3-642-36675-8_11,,,,,:
用于自动生成八角形和最大加不变量的几何量化器消除启发式。 自动推理与数学 :189-228]]>https://dblp.org/rec/conf/birthday/KapurZHZLN132013年1月1日星期二00:00:00+0100 通过生成不变量综合混合系统的开关控制器。https://doi.org/10.1007/978-3-642-39698-4_22,,:
通过生成不变量综合混合系统的开关控制器。 程序设计理论与形式化方法 :354-373]]>https://dblp.org/rec/conf/birthday/ZhaoZK132013年1月1日星期二00:00:00+0100 基于小波变换系数期望的无参考图像清晰度估计。https://doi.org/10.109/ICIP.2013.6738077,,:
基于小波变换系数期望的无参考图像清晰度估计。 ICIP公司 :374-378]]>https://dblp.org/rec/conf/icip/ZhaoFT132013年1月1日星期二00:00:00+0100 混合系统的形式化建模、分析和验证。https://doi.org/10.1007/978-3-642-39721-9_5,,:
混合系统的形式化建模、分析和验证。 ICTAC软件工程培训学校 :207-281]]>https://dblp.org/rec/conf/ictac/ZhanWZ132013年1月1日星期二00:00:00+0100 基于连续不变生成的混合系统开关控制器综合。http://arxiv.org/abs/1304.0825,,:
基于连续不变生成的混合系统开关控制器综合。 CoRR公司 abs/1304.0825()]]>https://dblp.org/rec/journals/corr/abs-1304-08252013年1月1日星期二00:00:00+0100 基于多向支持值变换的图像融合方法。https://doi.org/10.1142/S021969131250049X,,,:
基于多向支持值变换的图像融合方法。 国际小波多分辨率信息处理。 10(5)()]]>https://dblp.org/rec/journals/ijwmip/ShangZZ122012年1月1日，星期日00:00:00+0100 三维微极性流体方程光滑解的对数改进爆破准则。https://doi.org/10.1155/2012/541203,:
三维微极性流体方程光滑解的对数改进爆破准则。 J.应用。数学。 2012:541203:1-541203:13()]]>https://dblp.org/rec/journals/jam/WangZ12c2012年1月1日，星期日00:00:00+0100 多项式动力系统松弛Lyapunov函数的自动发现。https://doi.org/10.1007/s11786-012-0133-6,,:
多项式动力系统松弛Lyapunov函数的自动发现。 数学。计算。科学。 6(4):395-408()]]>https://dblp.org/rec/journals/mics/LiuZZ122012年1月1日，星期日00:00:00+0100 全局连续优化问题的广义填充函数。https://doi.org/10.1109/COS.2012.87,:
全局连续优化问题的广义填充函数。 CSO公司 :362-366]]>https://dblp.org/rec/conf/cso/NiuZ122012年1月1日，星期日00:00:00+0100 用于合成混合系统最优控制器的“混合”方法：油泵工业实例的案例研究。https://doi.org/10.1007/978-3642-32759-9_38,,,:
用于合成混合系统最优控制器的“混合”方法：油泵工业实例的案例研究。 FM公司 :471-485]]>https://dblp.org/rec/conf/fm/ZhaoZKL122012年1月1日，星期日00:00:00+0100 使用支持值变换的视觉显著性估计。https://doi.org/10.1109/ICIP.2012.6467048,,,,:
基于支持值变换的视觉显著性估计。 ICIP公司 :1069-1072]]>https://dblp.org/rec/conf/icip/YangFTSZ122012年1月1日，星期日00:00:00+0100 用于合成混合系统最优控制器的“混合”方法：油泵工业实例的案例研究。http://arxiv.org/abs/203.6025,,,:
合成混合系统最优控制器的“混合”方法：油泵工业实例的案例研究。 CoRR公司 abs/1203.6025()]]>https://dblp.org/rec/journals/corr/abs-1203-60252012年1月1日，星期日00:00:00+0100 计算多项式动力系统的半代数不变量。https://doi.org/10.1145/2038642.2038659,,:
计算多项式动力系统的半代数不变量。 EMSOFT公司 :97-106]]>https://dblp.org/rec/conf/emsoft/LiuZZ112011年1月1日星期六00:00:00+0100 混合系统多项式微分不变量生成的完备方法。http://arxiv.org/abs/102.0705,,:
混合系统多项式微分不变量生成的完备方法。 CoRR公司 abs/1102.0705()]]>https://dblp.org/rec/journals/corr/abs-1102-07052011年1月1日星期六00:00:00+0100 多项式动力系统松弛Lyapunov函数的自动发现。http://arxiv.org/abs/103.3372,,:
多项式动力系统松弛Lyapunov函数的自动发现。 CoRR公司 abs/1103.3372()]]>https://dblp.org/rec/journals/corr/abs-1103-33722011年1月1日星期六00:00:00+0100 混合CSP的微积分。https://doi.org/10.1007/978-3-642-17164-2_1,,,,,,:
混合CSP的微积分。 阿普拉斯 :1-15]]>https://dblp.org/rec/conf/aplas/LiuLQZZZZ102010年1月1日，星期五00:00:00+0100 基于价值的客户细分方法中的目标聚类分析。https://doi.org/10.109/WKDD.2009.161,:
基于价值的客户细分方法中的目标聚类分析。 WKDD公司 :484-487]]>https://dblp.org/rec/conf/wkdd/ZhaoH092009年1月1日星期四00:00:00+0100