標(biāo)題: Titlebook: Leveraging Applications of Formal Methods, Verification, and Validation; International Worksh Reiner H?hnle,Jens Knoop,Bernhard Steffen Con [打印本頁(yè)] 作者: trace-mineral 時(shí)間: 2025-3-21 17:43
書目名稱Leveraging Applications of Formal Methods, Verification, and Validation影響因子(影響力)
書目名稱Leveraging Applications of Formal Methods, Verification, and Validation影響因子(影響力)學(xué)科排名
書目名稱Leveraging Applications of Formal Methods, Verification, and Validation網(wǎng)絡(luò)公開度
書目名稱Leveraging Applications of Formal Methods, Verification, and Validation網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Leveraging Applications of Formal Methods, Verification, and Validation被引頻次
書目名稱Leveraging Applications of Formal Methods, Verification, and Validation被引頻次學(xué)科排名
書目名稱Leveraging Applications of Formal Methods, Verification, and Validation年度引用
書目名稱Leveraging Applications of Formal Methods, Verification, and Validation年度引用學(xué)科排名
書目名稱Leveraging Applications of Formal Methods, Verification, and Validation讀者反饋
書目名稱Leveraging Applications of Formal Methods, Verification, and Validation讀者反饋學(xué)科排名
作者: 提名 時(shí)間: 2025-3-21 21:28 作者: 圣人 時(shí)間: 2025-3-22 01:29 作者: 外露 時(shí)間: 2025-3-22 06:45 作者: AXIOM 時(shí)間: 2025-3-22 09:09
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作者: expire 時(shí)間: 2025-3-22 15:19 作者: 金桌活畫面 時(shí)間: 2025-3-22 20:58 作者: follicular-unit 時(shí)間: 2025-3-23 00:44
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作者: Dealing 時(shí)間: 2025-3-23 02:55
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作者: 紅腫 時(shí)間: 2025-3-23 09:00
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作者: 精確 時(shí)間: 2025-3-23 10:13
Cognitive Decision Unit Applied to Autonomous Robotschology as archetype for a decision making framework to control a robot. This has been achieved recently in theory and in simulation. However, when moving to a real robotic platform, additional things have to be considered. In this article we show how to fill the gap between sensing, environmental i作者: cochlea 時(shí)間: 2025-3-23 15:47
Building iRIS: A Robotic Immune Systemnments. An increase in capabilities and thus complexity consequently led to a dramatic increase in possible faults that might manifest in errors. Even worse, by applying robots with emerging behavior in non-deterministic real-world environments, faults may be introduced from external sources. Conseq作者: seroma 時(shí)間: 2025-3-23 18:26 作者: 賠償 時(shí)間: 2025-3-24 02:01 作者: disrupt 時(shí)間: 2025-3-24 06:20 作者: 高興一回 時(shí)間: 2025-3-24 07:37
Learning-Based Software Testing: A Tutoriallack-box testing using computational learning principles. It applies the principle of ., where queries are either generated by a learning algorithm or by a model checker through use of a formal requirements specification. LBT can be applied to automate black-box testing of a variety of different sof作者: Cacophonous 時(shí)間: 2025-3-24 12:33 作者: Valves 時(shí)間: 2025-3-24 18:39 作者: Banquet 時(shí)間: 2025-3-24 20:56 作者: CHASE 時(shí)間: 2025-3-24 23:56
. In engineering and the natural sciences, it is commonplace for a problem to start with a situation where something is required, such as a mechanical object or function, or a situation where the knowledge is lacking to find a solution. In the humanities and social sciences, a problem is usually def作者: intangibility 時(shí)間: 2025-3-25 06:01 作者: 連接 時(shí)間: 2025-3-25 10:53
Thomas Whelan,Sonja Stüdli,John McDonald,Richard H. Middletonearning. This is explored in terms of the four key characteristics of problem-based learning, namely: the problem, the group meeting/tutorial, the PBL process and learning. The starting point is the author’s current understanding of each of these, moving on to how her understanding has deepened from作者: 安撫 時(shí)間: 2025-3-25 13:19
Jason Kulk,James S. Welshhe context) from which the ., the force to start entrepreneurship processes, derives. Over the years, entrepreneurship scholars have proposed several approaches to investigate this topic (demand for entrepreneurship vs. supply of entrepreneurship, pull vs. push factors, the role of nature or nurture作者: FRONT 時(shí)間: 2025-3-25 17:07
Davide Brugali,Luca Gherardi,Markus Klotzbücher,Herman Bruyninckxhe context) from which the ., the force to start entrepreneurship processes, derives. Over the years, entrepreneurship scholars have proposed several approaches to investigate this topic (demand for entrepreneurship vs. supply of entrepreneurship, pull vs. push factors, the role of nature or nurture作者: Institution 時(shí)間: 2025-3-25 23:14 作者: FILLY 時(shí)間: 2025-3-26 02:28
Franz Wotawa makes some remarks on the changing role of technology in society. Then I make some remarks about models of political democracy and consequent preferred ways of organising cognition. This section also introduces the claim for “technological citizenship” as a normative political consideration for app作者: Narcissist 時(shí)間: 2025-3-26 05:58
Emil Vassev,Mike Hincheyeral aspects of this approach to Technology Assessment have been published in the meantime (Decker 2000, Grunwald 1999, Grunwald/Saupe 1999, Grunwald 2000a, Grunwald 2000b). While Rational Technology Assessment is, up to now, mainly focussed on conceptual and methodological questions (in order to cl作者: 禁止 時(shí)間: 2025-3-26 10:17
Markus Vincze,Walter Wohlkinger,Sven Olufs,Peter Einramhof,Robert Schwarz,Karthik Varadarajan makes some remarks on the changing role of technology in society. Then I make some remarks about models of political democracy and consequent preferred ways of organising cognition. This section also introduces the claim for “technological citizenship” as a normative political consideration for app作者: Femish 時(shí)間: 2025-3-26 15:32 作者: 玷污 時(shí)間: 2025-3-26 17:29
Martin Pongratz,Klaus Pollhammer,Alexander Szepthose present, this question may certainly appear to be somewhat out-dated. Since, after all, it presupposes that TA is connected, or at least that essential parts of it are connected, with (scientific) disciplines. By this it is presupposed that TA as a whole, or at least in its essential parts, is作者: 打谷工具 時(shí)間: 2025-3-26 23:25 作者: 毀壞 時(shí)間: 2025-3-27 01:21 作者: ANTIC 時(shí)間: 2025-3-27 05:34
Amel Bennaceur,Valérie Issarny,Richard Johansson,Alessandro Moschitti,Daniel Sykes,Romina Spalazzeseevelopment (environmental, economic, educational, social), and consequently students’ sustainable consumption practices. The present study used a quantitative approach based on cross-sectional data to estimate the proposed conceptual model and test formulated research hypotheses. Participants were s作者: MELON 時(shí)間: 2025-3-27 13:23
Falk Howar,Oliver Bauer,Maik Merten,Bernhard Steffen,Tiziana MargariaWarszawa, 2020 [.]). Consequently, areas for creating and enlarging public spaces in cities shrink. Such conditions do not favour the challenges and aims of a resilient city/neighbourhood, such as social pluralism and universal participation in culture. One way to solve this problem is a comprehensi作者: 侵略 時(shí)間: 2025-3-27 14:34 作者: 無(wú)脊椎 時(shí)間: 2025-3-27 19:35 作者: Pepsin 時(shí)間: 2025-3-28 01:11
Communications in Computer and Information Sciencehttp://image.papertrans.cn/l/image/585397.jpg作者: pantomime 時(shí)間: 2025-3-28 05:13 作者: 錢財(cái) 時(shí)間: 2025-3-28 08:51
Leveraging Applications of Formal Methods, Verification, and Validation978-3-642-34781-8Series ISSN 1865-0929 Series E-ISSN 1865-0937 作者: Surgeon 時(shí)間: 2025-3-28 14:29
https://doi.org/10.1007/978-3-642-34781-8Web services; automata learning; autonomous robots; knowledge management; software engineering作者: 轉(zhuǎn)折點(diǎn) 時(shí)間: 2025-3-28 17:51
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作者: 個(gè)阿姨勾引你 時(shí)間: 2025-3-28 18:53 作者: 可耕種 時(shí)間: 2025-3-29 00:01 作者: 不容置疑 時(shí)間: 2025-3-29 04:43
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.作者: 走調(diào) 時(shí)間: 2025-3-29 08:41 作者: 鑒賞家 時(shí)間: 2025-3-29 12:36
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.作者: 冷淡一切 時(shí)間: 2025-3-29 16:13
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 時(shí)間: 2025-3-29 20:15 作者: FLIRT 時(shí)間: 2025-3-30 00:51 作者: vasospasm 時(shí)間: 2025-3-30 07:03 作者: 河流 時(shí)間: 2025-3-30 11:18 作者: MARS 時(shí)間: 2025-3-30 15:43 作者: aristocracy 時(shí)間: 2025-3-30 19:28 作者: 仲裁者 時(shí)間: 2025-3-30 21:47
Automata Learning with On-the-Fly Direct Hypothesis Construction issue, e.g., in embedded networked systems. It is also well-suited as educational tool to teach the underlying well-established theoretical methods in a totally unbiased fashion, without cluttering the view onto the actual idea of the learning process with aspects only relevant to internal bookkeeping.作者: 用不完 時(shí)間: 2025-3-31 02:37
Leveraging Applications of Formal Methods, Verification, and ValidationInternational Worksh作者: PATHY 時(shí)間: 2025-3-31 05:28 作者: SMART 時(shí)間: 2025-3-31 12:01 作者: 啪心兒跳動(dòng) 時(shí)間: 2025-3-31 15:04
Matthias Gander,Michael Felderer,Basel Katt,Ruth Breu作者: 方便 時(shí)間: 2025-3-31 17:39 作者: pulse-pressure 時(shí)間: 2025-4-1 00:19
Service Component Architectures in Robotics: The SCA-Orocos Integration Orocos. We first highlight a set of architectural mismatches that have to be faced for allowing this integration and then we introduce a java-based library, called JOrocos, that represents our solution to these mismatches. Finally we describe a case study in which SCA and Orocos components cooperat
