標(biāo)題: Titlebook: Logic-Based Program Synthesis and Transformation; 23rd International S Gopal Gupta,Ricardo Pe?a Conference proceedings 2014 Springer Intern [打印本頁] 作者: Spring 時間: 2025-3-21 18:20
書目名稱Logic-Based Program Synthesis and Transformation影響因子(影響力)
書目名稱Logic-Based Program Synthesis and Transformation影響因子(影響力)學(xué)科排名
書目名稱Logic-Based Program Synthesis and Transformation網(wǎng)絡(luò)公開度
書目名稱Logic-Based Program Synthesis and Transformation網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Logic-Based Program Synthesis and Transformation被引頻次
書目名稱Logic-Based Program Synthesis and Transformation被引頻次學(xué)科排名
書目名稱Logic-Based Program Synthesis and Transformation年度引用
書目名稱Logic-Based Program Synthesis and Transformation年度引用學(xué)科排名
書目名稱Logic-Based Program Synthesis and Transformation讀者反饋
書目名稱Logic-Based Program Synthesis and Transformation讀者反饋學(xué)科排名
作者: 遵循的規(guī)范 時間: 2025-3-21 20:22 作者: 我要威脅 時間: 2025-3-22 00:37
aspect is frequently overlooked. For instance, most prior studies use the Euclidean distance measure without explicitly stating the consequences of selecting such measure. To address this issue, we perform a comparative and explorative study on the performance of various existing proximity measures 作者: Musket 時間: 2025-3-22 07:48
Jesús Aransay,Jose Divasónaspect is frequently overlooked. For instance, most prior studies use the Euclidean distance measure without explicitly stating the consequences of selecting such measure. To address this issue, we perform a comparative and explorative study on the performance of various existing proximity measures 作者: 心痛 時間: 2025-3-22 11:21
Bernhard Beckert,Daniel Bruns,Vladimir Klebanov,Christoph Scheben,Peter H. Schmitt,Mattias Ulbrichalysis features, we prepared two datasets and applied data mining algorithms to generate classification rules. Essential features are identified by applying Weka’s J48 decision tree classifier to 1103 software samples, 582 malware and 521 benign, collected from the Internet. The performance of all c作者: separate 時間: 2025-3-22 15:40
Elvira Albert,Samir Genaim,Raúl Gutiérrezcture of the central atom shows an interesting overlap. The main features of our approach lie in the combination of state-of-the-art techniques from Natural Language Processing (NLP), Clustering and Graph Theory to develop a system and a methodology adapted to uncovering hidden sub-structures from t作者: 記成螞蟻 時間: 2025-3-22 19:06 作者: Basal-Ganglia 時間: 2025-3-23 01:14 作者: emulsify 時間: 2025-3-23 01:30 作者: Apoptosis 時間: 2025-3-23 05:34 作者: 招募 時間: 2025-3-23 09:46
Hirohisa Sekiw post in choosing the most appropriate forum into which it should be added. An implementation of the topic-driven content search and navigation and assisted posting forum enhancement approaches for the Moodle learning management system is also presented in the paper, opening to the application of t作者: 清真寺 時間: 2025-3-23 16:15
Ghada Fakhry,Nada Sharaf,Slim Abdennadherw post in choosing the most appropriate forum into which it should be added. An implementation of the topic-driven content search and navigation and assisted posting forum enhancement approaches for the Moodle learning management system is also presented in the paper, opening to the application of t作者: Prologue 時間: 2025-3-23 21:04
Neda Saeedloei values, the new incoming sample is assigned to the closest cluster. Employing the GMMs to summarize clusters offers several advantages with regards to accuracy, detection rate, memory efficiency and time complexity. We evaluate the proposed method on a variety of datasets, both synthetic dataset an作者: Ambulatory 時間: 2025-3-23 23:11 作者: Irascible 時間: 2025-3-24 05:55 作者: 憎惡 時間: 2025-3-24 09:13 作者: 艦旗 時間: 2025-3-24 11:43
rformed show only minor differences between the three sets of ontologies, therewith providing a general landscape of pitfalls in ontologies. We also propose guidelines to avoid the inclusion of such common pitfalls in new ontologies, the Typical pItfalls Prevention Scheme (TIPS), so as to increase t作者: restrain 時間: 2025-3-24 18:49 作者: 帳單 時間: 2025-3-24 19:40
978-3-319-14124-4Springer International Publishing Switzerland 2014作者: forbid 時間: 2025-3-25 00:47
Logic-Based Program Synthesis and Transformation978-3-319-14125-1Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: brassy 時間: 2025-3-25 06:30 作者: Spirometry 時間: 2025-3-25 09:52 作者: Preserve 時間: 2025-3-25 14:12 作者: 人類 時間: 2025-3-25 16:50 作者: 連鎖,連串 時間: 2025-3-25 21:25 作者: 山間窄路 時間: 2025-3-26 01:37
Conference proceedings 2014ansformation, LOPSTR 2013, held in Madrid, Spain, in September 2013..The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 21 submissions during two rounds of reviewing and improvement. LOPSTR traditionally solicits papers in the areas of specif作者: barium-study 時間: 2025-3-26 07:05 作者: allude 時間: 2025-3-26 09:43
Information Flow in Object-Oriented Software, allows using an existing tool without requiring program modification. The third contribution is a novel fine-grained specification methodology. In our approach, arbitrary . terms (read ‘side-effect-free Java expressions’) may be assigned a security level – in contrast to security labels being attached to fields and variables only.作者: abnegate 時間: 2025-3-26 16:36
A Transformational Approach to Resource Analysis with Typed-Norms,analysis with typed-norms. The analysis is based on a transformation of the program into an . in which each variable is abstracted with respect to all considered norms which are valid for its type. We also sketch a simple analysis that can be used to automatically infer the required, useful, typed-norms from programs.作者: 咽下 時間: 2025-3-26 20:29
A Finite Representation of the Narrowing Space,ational representation of the (possibly infinite) answers computed by narrowing for a given initial term. Both the finite data structure and the equational representation of the computed answers might be useful in a number of areas, like program comprehension, static analysis, program transformation, etc.作者: 無動于衷 時間: 2025-3-26 22:58 作者: 送秋波 時間: 2025-3-27 04:34
0302-9743 lications and tools, component-based software development, software architectures, agent-based software development, and program refinement..978-3-319-14124-4978-3-319-14125-1Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: forecast 時間: 2025-3-27 09:17 作者: 阻塞 時間: 2025-3-27 10:36 作者: generic 時間: 2025-3-27 13:57
A New Hybrid Debugging Architecture for Eclipse,hmic Debugging and Omniscient Debugging to produce a synergy that exploits the best properties and strong points of each technique. We describe the architecture of our hybrid debugger and our implementation that has been integrated into Eclipse as a plugin.作者: 辯論 時間: 2025-3-27 21:22 作者: 聯(lián)想 時間: 2025-3-28 01:34
0302-9743 ium on Logic-Based Program Synthesis and Transformation, LOPSTR 2013, held in Madrid, Spain, in September 2013..The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 21 submissions during two rounds of reviewing and improvement. LOPSTR tradition作者: Gleason-score 時間: 2025-3-28 02:15 作者: 歡騰 時間: 2025-3-28 10:04
Information Flow in Object-Oriented Software,nt information leakage through objects, as opposed to primitive values. We present two improvements to a popular object-sensitive non-interference property. Both reduce the burden on analysis and monitoring tools. We present a formalization of this property in a program logic – . in our case – which作者: 變形詞 時間: 2025-3-28 10:29 作者: 者變 時間: 2025-3-28 17:38 作者: glomeruli 時間: 2025-3-28 22:48
Energy Consumption Analysis of Programs Based on XMOS ISA-Level Models,en the high-level program structure and the low-level energy models needs to be bridged. Here, we describe techniques for recreating the structure of low-level programs and transforming these into Horn clauses in order to make use of a generic resource analysis framework (CiaoPP). Our analysis, whic作者: 熒光 時間: 2025-3-29 01:16 作者: CROW 時間: 2025-3-29 04:40 作者: Obloquy 時間: 2025-3-29 09:14
Extending Co-logic Programs for Branching-Time Model Checking, on predicate dependency in co-logic programs (co-LPs), a top-down procedural semantics (.) as well as an alternating fixpoint semantics has been given. In this paper, we present some extensions of co-LPs, especially focusing on the relationship with the existing alternating tree automata approaches作者: decode 時間: 2025-3-29 12:55
Towards the Implementation of a Source-to-Source Transformation Tool for CHR Operational Semantics,ions to . and variants of operational semantics were introduced. In this paper, we present a generic approach to simulate the execution of a set of different . operational semantics. The proposed approach uses source-to-source transformation to convert programs written under different . operational 作者: menopause 時間: 2025-3-29 19:14
A Logical Encoding of Timed (pi ) -Calculus, is based on . of programming languages and directly leads to an implementation for timed .-calculus. This implementation can be used for modeling and verification of real-time systems and cyber-physical.作者: 物種起源 時間: 2025-3-29 20:19 作者: 叢林 時間: 2025-3-30 03:40 作者: Leaven 時間: 2025-3-30 05:34
Generating Specialized Interpreters for Modular Structural Operational Semantics,independently, such that no reformulation of existing rules in an MSOS specification is required when a language is extended with new constructs and features..Introducing the Prolog MSOS Tool, we recall how to synthesize executable interpreters from small-step MSOS specifications by compiling MSOS r作者: 外面 時間: 2025-3-30 12:00 作者: obnoxious 時間: 2025-3-30 12:51
Jesús Aransay,Jose Divasónpplicability to a variety of data types and domains as well as the fact that they very often outperform traditional clustering algorithms. These algorithms consider the pair-wise similarity between data objects and construct a similarity matrix to group data into natural subsets, so that the objects
