標題: Titlebook: Inductive Logic Programming; 22nd International C Fabrizio Riguzzi,Filip ?elezny Conference proceedings 2013 Springer-Verlag Berlin Heidelb [打印本頁] 作者: papyrus 時間: 2025-3-21 16:59
書目名稱Inductive Logic Programming影響因子(影響力)
書目名稱Inductive Logic Programming影響因子(影響力)學科排名
書目名稱Inductive Logic Programming網(wǎng)絡公開度
書目名稱Inductive Logic Programming網(wǎng)絡公開度學科排名
書目名稱Inductive Logic Programming被引頻次
書目名稱Inductive Logic Programming被引頻次學科排名
書目名稱Inductive Logic Programming年度引用
書目名稱Inductive Logic Programming年度引用學科排名
書目名稱Inductive Logic Programming讀者反饋
書目名稱Inductive Logic Programming讀者反饋學科排名
作者: opprobrious 時間: 2025-3-21 22:14 作者: 天然熱噴泉 時間: 2025-3-22 01:43 作者: incubus 時間: 2025-3-22 05:23 作者: HEPA-filter 時間: 2025-3-22 12:03 作者: altruism 時間: 2025-3-22 13:56 作者: Enliven 時間: 2025-3-22 17:37
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/i/image/463889.jpg作者: 沒有貧窮 時間: 2025-3-22 22:33
Topic Models with Relational Features for Drug Design,general-purpose ILP system to incorporate complex relational information into topic models for drug-like molecules. Our main interest in this paper is to describe computational tools to assist the discovery of drugs for malaria. To this end, we describe the construction of topic models using the Gla作者: 冷淡一切 時間: 2025-3-23 04:58 作者: crucial 時間: 2025-3-23 09:01 作者: Brain-Waves 時間: 2025-3-23 10:43
ack surface it may introduce. For this paper, the basic taxonomy of dependable and secure computing is used to conduct a dependability analysis of the AFDX frame management design. An OMNeT++ model simulation of an AFDX network is used to demonstrate potential attacks. Considerations for solutions f作者: 使隔離 時間: 2025-3-23 14:18 作者: CRASS 時間: 2025-3-23 21:08 作者: 爭吵 時間: 2025-3-23 23:07
Soufiane El Jelali,Agnès Braud,Nicolas Lachichee used in order to both increase safety and reliability of a neural network in a medical device. We use a combination of online and offline tests to detect undesired behavior. Online tests are performed in regular intervals during therapy and offline tests are performed when the device is not perfor作者: 壓倒性勝利 時間: 2025-3-24 02:40
Tanveer A. Faruquie,Ashwin Srinivasan,Ross D. Kinge used in order to both increase safety and reliability of a neural network in a medical device. We use a combination of online and offline tests to detect undesired behavior. Online tests are performed in regular intervals during therapy and offline tests are performed when the device is not perfor作者: 令人心醉 時間: 2025-3-24 07:38
Daan Fierens,Kristian Kersting,Jesse Davis,Jian Chen,Martin Mladenovtracts. The proposed safety-case architecture is analyzed against possible product-line changes and it is shown that it is robust both with respect to fine and coarse-grained, and also product and implementation-level changes. The proposed modular safety case is exemplified on a simplified, but real作者: nettle 時間: 2025-3-24 14:27
Tiago Gomes,Vítor Santos Costa..Our approach of using BaCs to identify recoverable states is computationally cheaper and potentially more accurate (less conservative) than existing approaches based on state-space exploration. We apply our technique to two hybrid systems: a water tank pump and a stop-sign-obeying controller for a作者: HILAR 時間: 2025-3-24 15:34
Takahiro Hino,Yusuke Suzuki,Tomoyuki Uchida,Yuko Itokawasafety properties, a design-time method to automatically generate schedules for different modes of operations from declaratively defined requirements is established. To cope with the inherent computational complexity, heuristics are developed to effectively narrow the problem space. Subsequently, th作者: 江湖騙子 時間: 2025-3-24 21:48 作者: 代理人 時間: 2025-3-25 01:54
Ond?ej Ku?elka,Andrea Szabóová,Filip ?eleznysafety properties, a design-time method to automatically generate schedules for different modes of operations from declaratively defined requirements is established. To cope with the inherent computational complexity, heuristics are developed to effectively narrow the problem space. Subsequently, th作者: Factorable 時間: 2025-3-25 06:32
Dhafer Lahbib,Marc Boullé,Dominique Laurent..Our approach of using BaCs to identify recoverable states is computationally cheaper and potentially more accurate (less conservative) than existing approaches based on state-space exploration. We apply our technique to two hybrid systems: a water tank pump and a stop-sign-obeying controller for a作者: PON 時間: 2025-3-25 08:06
Francesca Alessandra Lisisafety properties, a design-time method to automatically generate schedules for different modes of operations from declaratively defined requirements is established. To cope with the inherent computational complexity, heuristics are developed to effectively narrow the problem space. Subsequently, th作者: 演講 時間: 2025-3-25 14:53
Fumio Mizoguchi,Hayato Ohwada,Hiroyuki Nishiyama,Hirotoshi Iwasakiatforms, such as motor-drive applications. We outline current industrial practices and describe common toolsets, workflows and techniques used in the aerospace domain. Then our discussion focus on formal verification techniques that could provide efficient solutions for verifying power control algor作者: 修飾語 時間: 2025-3-25 17:37 作者: CAND 時間: 2025-3-25 23:36 作者: 雕鏤 時間: 2025-3-26 02:11
Amrita Saha,Ashwin Srinivasan,Ganesh Ramakrishnanatforms, such as motor-drive applications. We outline current industrial practices and describe common toolsets, workflows and techniques used in the aerospace domain. Then our discussion focus on formal verification techniques that could provide efficient solutions for verifying power control algor作者: outrage 時間: 2025-3-26 06:30 作者: FLORA 時間: 2025-3-26 09:30 作者: output 時間: 2025-3-26 14:21
Yuta Yoshimura,Takayoshi Shoudaire and methods to ensure the accuracy of models derived from sensors whose interpretation uses AI and ML. Rather than derive the model from sensors bottom-up, we reverse the process and use the model to predict sensor interpretation. Small prediction errors indicate the world is evolving as expected作者: Trypsin 時間: 2025-3-26 18:45 作者: B-cell 時間: 2025-3-27 00:02 作者: recede 時間: 2025-3-27 03:12
Pairwise Markov Logic, inference methods can be employed for pairwise MLNs without the overhead of devising or implementing high-order variants. Experiments on two relational datasets confirm the usefulness of this reduction approach.作者: Charlatan 時間: 2025-3-27 05:51
,Identifying Driver’s Cognitive Load Using Inductive Logic Programming,le for rule verification and are actively employed for user-oriented interface design. Realistic experiments were conducted to demonstrate the learning performance of this approach. Reasonable accuracy was achieved for an appropriate service providing safe driving.作者: 表示向前 時間: 2025-3-27 13:27 作者: conference 時間: 2025-3-27 17:41
Conference proceedings 2013Dubrovnik, Croatia, in September 2012. The 18 revised full papers were carefully reviewed and selected from 41 submissions. The papers cover the following topics: propositionalization, logical foundations, implementations, probabilistic ILP, applications in robotics and biology, grammatical inferenc作者: ordain 時間: 2025-3-27 20:14
A Relational Approach to Tool-Use Learning in Robots,rates informative experiments while containing the search space to a practical number of experiments. Relational learning generalises across objects and tasks to learn the spatial and structural constraints that describe useful tools and how they should be employed. The system is evaluated in a simulated robot environment.作者: 恃強凌弱的人 時間: 2025-3-27 22:50
Polynomial Time Pattern Matching Algorithm for Ordered Graph Patterns,whether or not a given ordered graph is contained in the ordered graph language for a given ordered graph pattern. We also implement the proposed algorithm on a computer and evaluate the algorithm by reporting and discussing experimental results.作者: mechanism 時間: 2025-3-28 04:07 作者: 笨拙的你 時間: 2025-3-28 08:40
Itemset-Based Variable Construction in Multi-relational Supervised Learning,in a parameter-free criterion to assess the relevance of the constructed variables. A greedy algorithm is then proposed in order to explore the space of the considered itemsets. Experiments on multi-relationalal datasets confirm the advantage of the approach.作者: Muffle 時間: 2025-3-28 13:31 作者: indigenous 時間: 2025-3-28 17:48 作者: Arrhythmia 時間: 2025-3-28 22:24 作者: Immunoglobulin 時間: 2025-3-29 00:02
A Refinement Operator for Inducing Threaded-Variable Clauses,defines a search space that only includes Horn clauses that conform to this pattern of input/output variable threads, dramatically narrowing the search space and ILP run times. We further support our theoretical justification of the new operator with experimental results over a variety of datasets.作者: 珠寶 時間: 2025-3-29 05:33 作者: MURKY 時間: 2025-3-29 08:41 作者: 使聲音降低 時間: 2025-3-29 14:52 作者: CANT 時間: 2025-3-29 15:56 作者: 向下五度才偏 時間: 2025-3-29 22:55
tions for data exchange between Computer Systems. AFDX implements extensions on standard Ethernet to achieve a deterministic and fault-tolerant network, which is demonstrated through its frame management design. AFDX, like other emerging time-critical Ethernet-based standards, has potential for use 作者: visual-cortex 時間: 2025-3-30 02:58 作者: 痛打 時間: 2025-3-30 04:39
Angelos Charalambidis,Stasinos Konstantopoulosetworks are used to detect certain medical/decease indications. For example, a potential imminent asthma insult is detected based e.g. on breathing pattern, heart rate, and a few optional additional parameters. The patient receives a warning message and can either change his behavior and/or take som作者: 能夠支付 時間: 2025-3-30 08:17 作者: 阻塞 時間: 2025-3-30 12:45
Tanveer A. Faruquie,Ashwin Srinivasan,Ross D. Kingetworks are used to detect certain medical/decease indications. For example, a potential imminent asthma insult is detected based e.g. on breathing pattern, heart rate, and a few optional additional parameters. The patient receives a warning message and can either change his behavior and/or take som作者: 發(fā)炎 時間: 2025-3-30 17:53 作者: GLUT 時間: 2025-3-30 23:28
Tiago Gomes,Vítor Santos Costa control of a plant over to a provably safe Baseline Controller when a safety violation is imminent under the control of an unverified Advanced Controller. A key step of determining the switching condition is identifying a ., where the Baseline Controller guarantees recovery and keeps the plant inva作者: echnic 時間: 2025-3-31 04:36
Takahiro Hino,Yusuke Suzuki,Tomoyuki Uchida,Yuko Itokawaomate road transportation. Here, the driver is not obligated to be part of the control loop, thereby requiring the underlying system to remain operational even after a critical component failure. Advances in the field of mixed-criticality research have allowed to address this topic of fail-operation作者: 脫落 時間: 2025-3-31 06:45
Hassan Khosravi control of a plant over to a provably safe Baseline Controller when a safety violation is imminent under the control of an unverified Advanced Controller. A key step of determining the switching condition is identifying a ., where the Baseline Controller guarantees recovery and keeps the plant inva作者: Annotate 時間: 2025-3-31 12:28
Ond?ej Ku?elka,Andrea Szabóová,Filip ?eleznyomate road transportation. Here, the driver is not obligated to be part of the control loop, thereby requiring the underlying system to remain operational even after a critical component failure. Advances in the field of mixed-criticality research have allowed to address this topic of fail-operation作者: excrete 時間: 2025-3-31 13:59 作者: conservative 時間: 2025-3-31 20:03
Francesca Alessandra Lisiomate road transportation. Here, the driver is not obligated to be part of the control loop, thereby requiring the underlying system to remain operational even after a critical component failure. Advances in the field of mixed-criticality research have allowed to address this topic of fail-operation作者: biopsy 時間: 2025-3-31 22:59
Fumio Mizoguchi,Hayato Ohwada,Hiroyuki Nishiyama,Hirotoshi Iwasakibsence for the proposed artifact. Meanwhile, advances in the embedded systems domain push for rapid architecture product changes based on current state-of-the-art solutions. Multicore systems have exhibit enormous benefits due to parallelization of task execution, increasing availability of resource作者: ILEUM 時間: 2025-4-1 02:19
Bogdan Moldovan,Laura Antanas,McElory Hoffmann in a uniform way at runtime based on the combination of environmental threats and the conditions of subordinated system modules. To guarantee a safe motion based on autonomous decisions we have introduced a universal and transparent certification process which not only takes functional aspects like作者: GRAIN 時間: 2025-4-1 09:42 作者: Scintigraphy 時間: 2025-4-1 11:08 作者: 大炮 時間: 2025-4-1 17:24
Chiaki Sakamahed in 1979 by the European Workshop on Industrial Computer Systems, Technical Committee 7 on Safety, Reliability and Security (EWICS TC7), SAFECOMP has continuously contributed to the progress in high integrity applications of information technologies. The conference focuses on the state of the art作者: Bumble 時間: 2025-4-1 21:15
Yoshitaka Yamamoto,Katsumi Inoue,Koji Iwanumarification methodology for highly parametrizable, continuously operating, safety-critical real-time systems implemented in FPGAs. It is compliant to IEC 61508 and extends it in several ways. We focus on independence between design and verification. Natural language properties and the functional cove
