Specifying and Verifying Active Vision-Based Robotic Systems with the SIGNAL Environment
- 期刊名称The International Journal of Robotics Research
- 作者Marchand, E.; Rutten, E.; Marchand, H.; Chaumette, F.
- 卷第17卷
- 期第4期
- 印刷ISSN0278-3649
- 文件大小1585.13KB
- 发表时间1998-04-01
- DOI10.1177/027836499801700407
- 页码418-432
同期刊推荐
Three-way ROCsMossman, D. · Medical Decision Making · 1999
Lehmann Family of ROC CurvesGonen, M.; Heller, G. · Medical Decision Making · 2010
When to Teach Bayesian ReasoningBerner, E. S. · Medical Decision Making · 1997
Neural Networks in Clinical MedicinePenny, W.; Frost, D. · Medical Decision Making · 1996
Collaborative Medical Decision MakingChristensen, C.; Larson, J. R. · Medical Decision Making · 1993
Health Values and Prospect TheoryTreadwell, J. R.; Lenert, L. A. · Medical Decision Making · 1999
On Uncertainty in Medical TestingWinkler, R. L. · Medical Decision Making · 2004
AbstractsMedical Decision Making · 1994