转折点 发表于 2025-3-28 17:51:26

Conference proceedings 2012Learning for System Construction, MLSC 2011 Workshop, held during October 17-18 in Vienna, Austria, under the auspices of the International Symposium Series on Leveraging Applications of Formal Methods, Verification, and Validation, ISoLA. The topics covered by the papers of the SARS and the MLSC wo

个阿姨勾引你 发表于 2025-3-28 18:53:29

http://reply.papertrans.cn/59/5854/585397/585397_42.png

可耕种 发表于 2025-3-29 00:01:45

http://reply.papertrans.cn/59/5854/585397/585397_43.png

不容置疑 发表于 2025-3-29 04:43:12

Safe Autonomous Transport Vehicles in Heterogeneous Outdoor Environmentsy concept and extends it to vehicles driving at higher speeds in outdoor environments. Technically, the additional safety level is achieved by integrating information from stationary sensors in order to increase the perception of the vehicles.

走调 发表于 2025-3-29 08:41:58

http://reply.papertrans.cn/59/5854/585397/585397_45.png

鉴赏家 发表于 2025-3-29 12:36:52

Representing Knowledge in Robotic Systems with KnowLanging. Such components encapsulate rules, constraints and mechanisms for self-adaptation and acquire and process knowledge about themselves, other service components and their environment. In this paper,a brief KnowLang case study of knowledge representation for a robotic system is presented.

冷淡一切 发表于 2025-3-29 16:13:09

Object Detection and Classification for Domestic Robotsiderably improves robustness in combination with a histogram approach over patches in the disparity image. We then show that stereo data can be used for localisation and eventually for object detection classification and that this system approach improves object detection and classification rates considerably.

Erythropoietin 发表于 2025-3-29 20:15:33

http://reply.papertrans.cn/59/5854/585397/585397_48.png

FLIRT 发表于 2025-3-30 00:51:25

http://reply.papertrans.cn/59/5854/585397/585397_49.png

vasospasm 发表于 2025-3-30 07:03:59

http://reply.papertrans.cn/59/5854/585397/585397_50.png
页: 1 2 3 4 [5] 6
查看完整版本: Titlebook: Leveraging Applications of Formal Methods, Verification, and Validation; International Worksh Reiner Hähnle,Jens Knoop,Bernhard Steffen Con