用户名  找回密码
 To register

QQ登录

只需一步,快速开始

扫一扫,访问微社区

Titlebook: Leveraging Applications of Formal Methods, Verification, and Validation; International Worksh Reiner Hähnle,Jens Knoop,Bernhard Steffen Con

[复制链接]
查看: 19754|回复: 59
发表于 2025-3-21 17:43:05 | 显示全部楼层 |阅读模式
书目名称Leveraging Applications of Formal Methods, Verification, and Validation
副标题International Worksh
编辑Reiner Hähnle,Jens Knoop,Bernhard Steffen
视频videohttp://file.papertrans.cn/586/585397/585397.mp4
概述Fast-track conference proceedings.State-of-the-art research.Up-to-date results
丛书名称Communications in Computer and Information Science
图书封面Titlebook: Leveraging Applications of Formal Methods, Verification, and Validation; International Worksh Reiner Hähnle,Jens Knoop,Bernhard Steffen Con
描述This volume contains a selection of revised papers that were presented at the Software Aspects of Robotic Systems, SARS 2011 Workshop and the Machine Learning 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 workshop demonstrate the breadth and the richness of the respective fields of the two workshops stretching from robot programming to languages and compilation techniques, to real-time and fault tolerance, to dependability, software architectures, computer vision, cognitive robotics, multi-robot-coordination, and simulation to bio-inspired algorithms, and from machine learning for anomaly detection, to model construction in software product lines to classification of web service interfaces. In addition the SARS workshop hosted a special session on the recently launched KOROS project on collaborating robot systems that is borne by a consortium of researchers of the faculties of architecture and planning, computer science, electrical engineering
出版日期Conference proceedings 2012
关键词Web services; automata learning; autonomous robots; knowledge management; software engineering
版次1
doihttps://doi.org/10.1007/978-3-642-34781-8
isbn_softcover978-3-642-34780-1
isbn_ebook978-3-642-34781-8Series ISSN 1865-0929 Series E-ISSN 1865-0937
issn_series 1865-0929
copyrightSpringer-Verlag Berlin Heidelberg 2012
The information of publication is updating

书目名称Leveraging Applications of Formal Methods, Verification, and Validation影响因子(影响力)




书目名称Leveraging Applications of Formal Methods, Verification, and Validation影响因子(影响力)学科排名




书目名称Leveraging Applications of Formal Methods, Verification, and Validation网络公开度




书目名称Leveraging Applications of Formal Methods, Verification, and Validation网络公开度学科排名




书目名称Leveraging Applications of Formal Methods, Verification, and Validation被引频次




书目名称Leveraging Applications of Formal Methods, Verification, and Validation被引频次学科排名




书目名称Leveraging Applications of Formal Methods, Verification, and Validation年度引用




书目名称Leveraging Applications of Formal Methods, Verification, and Validation年度引用学科排名




书目名称Leveraging Applications of Formal Methods, Verification, and Validation读者反馈




书目名称Leveraging Applications of Formal Methods, Verification, and Validation读者反馈学科排名




单选投票, 共有 0 人参与投票
 

0票 0%

Perfect with Aesthetics

 

0票 0%

Better Implies Difficulty

 

0票 0%

Good and Satisfactory

 

0票 0%

Adverse Performance

 

0票 0%

Disdainful Garbage

您所在的用户组没有投票权限
发表于 2025-3-21 21:28:25 | 显示全部楼层
发表于 2025-3-22 01:29:32 | 显示全部楼层
发表于 2025-3-22 06:45:04 | 显示全部楼层
发表于 2025-3-22 09:09:00 | 显示全部楼层
Safe Autonomous Transport Vehicles in Heterogeneous Outdoor Environmentsor scenarios at limited speeds, but with the evolution of navigation capabilities and obstacle avoidance techniques, AGVs have reached a degree of autonomy that, from a technical perspective, allows their operation beyond closed work environments. The major hurdle to overcome is to be able to guaran
发表于 2025-3-22 15:19:07 | 显示全部楼层
发表于 2025-3-22 20:58:17 | 显示全部楼层
发表于 2025-3-23 00:44:30 | 显示全部楼层
Object Detection and Classification for Domestic Robotsbot to constrain the task of understanding the structure of its environment, i.e., ground for safe motion and walls for localisation, to simplify object detection and classification. We start from exploiting the known geometry and kinematics of the robot to obtain ground point disparities. This cons
发表于 2025-3-23 02:55:28 | 显示全部楼层
A Software Integration Framework for Cognitive Systemsus levels of abstraction, such as localisation, navigation, object detection and tracking, human robot interaction including speech and gesture recognition as well as high level reasoning and planning. The interaction between functionalities in these cognitive robotics systems not only requires inte
发表于 2025-3-23 09:00:47 | 显示全部楼层
KOROS Initiative: Automatized Throwing and Catching for Material Transportationides this academic usage also the application of throwing and catching for material transport has been proposed. Within the KOROS initiative at the Vienna University of Technology the transport-by-throwing approach will be developed further. Based on multiple cameras and advanced robotic arms a prac
 关于派博传思  派博传思旗下网站  友情链接
派博传思介绍 公司地理位置 论文服务流程 影响因子官网 吾爱论文网 大讲堂 北京大学 Oxford Uni. Harvard Uni.
发展历史沿革 期刊点评 投稿经验总结 SCIENCEGARD IMPACTFACTOR 派博系数 清华大学 Yale Uni. Stanford Uni.
QQ|Archiver|手机版|小黑屋| 派博传思国际 ( 京公网安备110108008328) GMT+8, 2025-7-13 01:15
Copyright © 2001-2015 派博传思   京公网安备110108008328 版权所有 All rights reserved
快速回复 返回顶部 返回列表