標(biāo)題: Titlebook: Logic-Based Program Synthesis and Transformation; 24th International S Maurizio Proietti,Hirohisa Seki Conference proceedings 2015 Springer [打印本頁(yè)] 作者: 有作用 時(shí)間: 2025-3-21 18:18
書(shū)目名稱Logic-Based Program Synthesis and Transformation影響因子(影響力)
書(shū)目名稱Logic-Based Program Synthesis and Transformation影響因子(影響力)學(xué)科排名
書(shū)目名稱Logic-Based Program Synthesis and Transformation網(wǎng)絡(luò)公開(kāi)度
書(shū)目名稱Logic-Based Program Synthesis and Transformation網(wǎng)絡(luò)公開(kāi)度學(xué)科排名
書(shū)目名稱Logic-Based Program Synthesis and Transformation被引頻次
書(shū)目名稱Logic-Based Program Synthesis and Transformation被引頻次學(xué)科排名
書(shū)目名稱Logic-Based Program Synthesis and Transformation年度引用
書(shū)目名稱Logic-Based Program Synthesis and Transformation年度引用學(xué)科排名
書(shū)目名稱Logic-Based Program Synthesis and Transformation讀者反饋
書(shū)目名稱Logic-Based Program Synthesis and Transformation讀者反饋學(xué)科排名
作者: 我就不公正 時(shí)間: 2025-3-21 23:30 作者: 充滿人 時(shí)間: 2025-3-22 02:29
Exhaustive Execution of CHR Through Source-to-Source Transformationnt programs. The proposed transformation is performed as a source-to-source transformation from any CHR program to one utilizing disjunction to force an exhaustive explorative execution strategy. The work is complemented by formal arguments to prove the correctness and completeness of the transformation.作者: 背帶 時(shí)間: 2025-3-22 07:13
CHRAnimation: An Animation Tool for Constraint Handling Ruleshis paper continues upon the efforts made to have a generic visualization platform for . using source-to-source transformation. It also provides a new visualization feature that enables viewing all the possible solutions of a . program instead of the don’t care nondeterminism used in most . implementations.作者: Ankylo- 時(shí)間: 2025-3-22 12:16 作者: dialect 時(shí)間: 2025-3-22 13:49
A Hybrid Method for the Verification and Synthesis of Parameterized Self-Stabilizing Protocolstabilizing protocols. Then, we reuse the proof of correctness of the synthesis algorithm to establish the correctness of the generalized versions of synthesized protocols for an arbitrary number of processes. We demonstrate the proposed approach in the context of an agreement and a coloring protocol on the ring topology.作者: itinerary 時(shí)間: 2025-3-22 17:25 作者: 飛行員 時(shí)間: 2025-3-22 21:52
0302-9743 ransformation, constraint handling rules, termination analysis, security, program testing and verification, program synthesis, program derivation, semantic issues in logic programming and program transformation and optimization.978-3-319-17821-9978-3-319-17822-6Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: FLINT 時(shí)間: 2025-3-23 05:19 作者: Sedative 時(shí)間: 2025-3-23 07:24 作者: 退出可食用 時(shí)間: 2025-3-23 12:32 作者: 異端邪說(shuō)下 時(shí)間: 2025-3-23 16:22 作者: 仲裁者 時(shí)間: 2025-3-23 20:17
Confluence Modulo Equivalence in Constraint Handling Rulesams with extra-logical and incomplete built-in predicates. Proofs of confluence are demonstrated for programs with redundant data representation, e.g., sets-as-lists, for dynamic programming algorithms with pruning as well as a Union-Find program, which are not covered by previous confluence notions for CHR.作者: 抒情短詩(shī) 時(shí)間: 2025-3-23 23:08 作者: 惡臭 時(shí)間: 2025-3-24 05:08 作者: 大量殺死 時(shí)間: 2025-3-24 07:37
978-3-319-17821-9Springer International Publishing Switzerland 2015作者: 交響樂(lè) 時(shí)間: 2025-3-24 13:12
Logic-Based Program Synthesis and Transformation978-3-319-17822-6Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: ABYSS 時(shí)間: 2025-3-24 17:10
Maurizio Proietti,Hirohisa SekiIncludes supplementary material: 作者: Reservation 時(shí)間: 2025-3-24 22:13
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/l/image/588101.jpg作者: Integrate 時(shí)間: 2025-3-25 00:20 作者: 鎮(zhèn)壓 時(shí)間: 2025-3-25 07:24 作者: 運(yùn)動(dòng)吧 時(shí)間: 2025-3-25 11:10 作者: vitrectomy 時(shí)間: 2025-3-25 12:00
J. Robert M. Cornish,Graeme Gange,Jorge A. Navas,Peter Schachte,Harald S?ndergaard,Peter J. Stuckeys to ?nd out what it was all about. I was excited because the term tends to convey a new ?eld that is in the making. I was curious because I wondered what it was doing that the other ?elds of research, such as statistics and the broad ?eld of arti?cial intelligence, were not doing. After reading up 作者: 全部 時(shí)間: 2025-3-25 17:26 作者: 怕失去錢(qián) 時(shí)間: 2025-3-26 00:03 作者: Fissure 時(shí)間: 2025-3-26 02:53
Henning Christiansen,Maja H. Kirkebyxcited because the term tends to convey a new ?eld that is in the making. I was curious because I wondered what it was doing that the other ?elds of research, such as statistics and the broad ?eld of arti?cial intelligence, were not doing. After reading up on the literature, I have come to realize t作者: Amnesty 時(shí)間: 2025-3-26 04:27 作者: 預(yù)感 時(shí)間: 2025-3-26 11:14 作者: 瑪瑙 時(shí)間: 2025-3-26 15:37 作者: seduce 時(shí)間: 2025-3-26 20:49 作者: 車(chē)床 時(shí)間: 2025-3-27 00:45 作者: 天真 時(shí)間: 2025-3-27 03:25
ue to its undeniable advantages, Distance Education is becoming strategic in many fields of daily life, and encompasses both educational as well as training applications. Present platforms suitable for the former include Moodle, ATutor and others. Coursera is a popular example of a MOOC-type (Massiv作者: 傀儡 時(shí)間: 2025-3-27 07:31
Ranjeet Singh,Andy Kingantic knowledge focuses on noun phrase appearing with the same syntactic roles in relation to a verb or its preposition combination in a sentence. The construction of this co-occurrence matrix from context helps to build feature space of noun phrases, which is then transformed to several encoding re作者: Incumbent 時(shí)間: 2025-3-27 09:31
Sandra Alves,Anatoli Degtyarev,Maribel Fernándezantic knowledge focuses on noun phrase appearing with the same syntactic roles in relation to a verb or its preposition combination in a sentence. The construction of this co-occurrence matrix from context helps to build feature space of noun phrases, which is then transformed to several encoding re作者: 滑動(dòng) 時(shí)間: 2025-3-27 17:05 作者: 文字 時(shí)間: 2025-3-27 19:58 作者: corn732 時(shí)間: 2025-3-27 22:47 作者: Gleason-score 時(shí)間: 2025-3-28 03:59
dered through manufactured products. Thus, quality checks do not only rely on technical control, but on a diversity of controls which correspond to the senses involved when interacting with a product. However, the quality specifications and in particular the vocabulary used for their description are作者: 直覺(jué)沒(méi)有 時(shí)間: 2025-3-28 09:31 作者: Systemic 時(shí)間: 2025-3-28 12:55
Remis Balaniukive to use and equipped with powerful functionalities, extracting and reusing data from them remains a cumbersome and mostly manual task. Their greatest strength, the large degree of freedom they provide to the user, is at the same time also their greatest weakness, since data can be arbitrarily str作者: 使厭惡 時(shí)間: 2025-3-28 16:12
Analyzing Array Manipulating Programs by Program Transformationquires intricate analysis machinery to reason with universally quantified statements about symbolic array segments, such as “every data item stored in the segment A to A[j] is equal to the corresponding item stored in the segment B to B[j].” We define a simple abstract machine which allows for作者: 許可 時(shí)間: 2025-3-28 22:10
Analysing and Compiling Coroutines with Abstract Conjunctive Partial Deductionams, not requiring any support for coroutines. The problem was already studied near to 30?years ago, in an analysis and transformation technique called Compiling Control. However, this technique had a strong ad hoc flavor: the completeness of the analysis was not well understood and its symbolic eva作者: BLOT 時(shí)間: 2025-3-29 00:46 作者: 冷淡一切 時(shí)間: 2025-3-29 04:28 作者: surmount 時(shí)間: 2025-3-29 11:05
A Formal Semantics for the Cognitive Architecture ACT-Rion. This enables researchers to implement and execute domain-specific cognitive models. ACT-R is implemented as a production rule system. Although its underlying psychological theory has been investigated in many psychological experiments, ACT-R lacks a formal definition from a mathematical-computa作者: objection 時(shí)間: 2025-3-29 13:16
CHRAnimation: An Animation Tool for Constraint Handling Rules Constraint Handling Rules (.) is currently used as a general purpose language. This results in having complex programs with .. Nevertheless, . is still lacking on visualization tools. With Constraint Handling Rules (.) being a high-level rule-based language, animating . programs through animation t作者: TEN 時(shí)間: 2025-3-29 17:19 作者: Fallibility 時(shí)間: 2025-3-29 22:50
Partial Evaluation for Java Malware Detectionementation. To circumvent detection by anti-virus (AV) software, obfuscation techniques are routinely applied to make an exploit more difficult to recognise. Popular obfuscation techniques for Java include string obfuscation and applying reflection to hide method calls; two techniques that can eithe作者: DEMN 時(shí)間: 2025-3-30 03:20
Access Control and Obligations in the Category-Based Metamodel: A Rewrite-Based Semanticswn access control models are instances of the CBAC metamodel, we obtain a framework for the study of the interaction between authorisation and obligation, such that properties may be proven of the metamodel that apply to all instances of it. In particular, the extended CBAC metamodel allows security作者: Cognizance 時(shí)間: 2025-3-30 06:19 作者: 極小量 時(shí)間: 2025-3-30 08:44 作者: gait-cycle 時(shí)間: 2025-3-30 15:48
A Hybrid Method for the Verification and Synthesis of Parameterized Self-Stabilizing Protocols verification techniques/tools are used hand-in-hand. The core idea behind the proposed method includes the automated synthesis of self-stabilizing protocols in a limited scope (i.e., fixed number of processes) and the use of theorem proving methods for the generalization of the solutions produced b作者: 單挑 時(shí)間: 2025-3-30 17:14
