標(biāo)題: Titlebook: Logic-Based Program Synthesis and Transformation; 19th International S Danny Schreye Conference proceedings 2010 Springer-Verlag Berlin Hei [打印本頁(yè)] 作者: 脾氣好 時(shí)間: 2025-3-21 19:32
書(shū)目名稱(chēng)Logic-Based Program Synthesis and Transformation影響因子(影響力)
書(shū)目名稱(chēng)Logic-Based Program Synthesis and Transformation影響因子(影響力)學(xué)科排名
書(shū)目名稱(chēng)Logic-Based Program Synthesis and Transformation網(wǎng)絡(luò)公開(kāi)度
書(shū)目名稱(chēng)Logic-Based Program Synthesis and Transformation網(wǎng)絡(luò)公開(kāi)度學(xué)科排名
書(shū)目名稱(chēng)Logic-Based Program Synthesis and Transformation被引頻次
書(shū)目名稱(chēng)Logic-Based Program Synthesis and Transformation被引頻次學(xué)科排名
書(shū)目名稱(chēng)Logic-Based Program Synthesis and Transformation年度引用
書(shū)目名稱(chēng)Logic-Based Program Synthesis and Transformation年度引用學(xué)科排名
書(shū)目名稱(chēng)Logic-Based Program Synthesis and Transformation讀者反饋
書(shū)目名稱(chēng)Logic-Based Program Synthesis and Transformation讀者反饋學(xué)科排名
作者: 安撫 時(shí)間: 2025-3-21 22:32 作者: Acquired 時(shí)間: 2025-3-22 03:55 作者: 埋葬 時(shí)間: 2025-3-22 05:04 作者: Ambulatory 時(shí)間: 2025-3-22 12:25 作者: MURKY 時(shí)間: 2025-3-22 14:42
Goal-Directed and Relative Dependency Pairs for Proving the Termination of Narrowing, powerful approach to analyzing the termination of ., an extension of rewriting that replaces matching with unification in order to deal with logic variables. Our approach could also be useful in other contexts where considering termination w.r.t. a given set of terms is also natural (e.g., proving the termination of functional programs).作者: CLAMP 時(shí)間: 2025-3-22 17:54 作者: reflection 時(shí)間: 2025-3-23 00:05 作者: colony 時(shí)間: 2025-3-23 03:17 作者: Phenothiazines 時(shí)間: 2025-3-23 08:20
On Inductive and Coinductive Proofs via Unfold/Fold Transformations,ble by the coinductive proof rules by Jaffar et al. To this end, we propose a new replacement rule, called . replacement, which is not necessarily equivalence-preserving, but is essential to perform a reasoning step corresponding to coinduction.作者: Malcontent 時(shí)間: 2025-3-23 10:05
Program Parallelization Using Synchronized Pipelining,elying on a minimal number of synchronization events to ensure semantics preservation. The practical benefits of synchronized pipelining are demonstrated through experimental results on common algorithms such as sorting and Fourier transforms.作者: monochromatic 時(shí)間: 2025-3-23 15:17
978-3-642-12591-1Springer-Verlag Berlin Heidelberg 2010作者: 復(fù)習(xí) 時(shí)間: 2025-3-23 21:14 作者: Atmosphere 時(shí)間: 2025-3-23 23:14
0302-9743 Overview: 978-3-642-12591-1978-3-642-12592-8Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: Cytokines 時(shí)間: 2025-3-24 03:48 作者: overreach 時(shí)間: 2025-3-24 09:56 作者: 落葉劑 時(shí)間: 2025-3-24 13:16
Towards a Framework for Constraint-Based Test Case Generation,standard CP search strategies in order to express preferences on the generated test cases and to obtain the desired degree of coverage. We develop our framework in the concrete context of an imperative language and show that the technique is sufficiently powerful to deal with arbitrary pointer-based data-structures allocated on the heap.作者: ALE 時(shí)間: 2025-3-24 17:32 作者: 背帶 時(shí)間: 2025-3-24 20:06 作者: Legend 時(shí)間: 2025-3-25 01:13
Towards Scalable Partial Evaluation of Declarative Programs,—a partial evaluator returns a new, . program which is specialized for the given data. The residual program is then used for performing the remaining computations—those that depend on the so-called . data.作者: DEMN 時(shí)間: 2025-3-25 06:15
Deciding Full Branching Time Logic by Program Transformation,e finite state systems and the CTL. properties we want to verify, are encoded as logic programs on infinite lists. Our verification method consists of two steps. In the first step we transform the logic program that encodes the given system and the given property, into a .., that is, a stratified pr作者: 逃避現(xiàn)實(shí) 時(shí)間: 2025-3-25 11:33 作者: 分解 時(shí)間: 2025-3-25 12:14
The Dependency Triple Framework for Termination of Logic Programs,ctly on LPs and the . approach which transforms LPs to term rewrite systems (TRSs) and tries to prove termination of the resulting TRSs. To this end, we adapt the well-known . from TRSs to LPs. With the resulting method, one can combine arbitrary termination techniques for LPs in a completely modula作者: ellagic-acid 時(shí)間: 2025-3-25 16:17 作者: CLAIM 時(shí)間: 2025-3-25 23:18 作者: 蘆筍 時(shí)間: 2025-3-26 03:36
On Inductive and Coinductive Proofs via Unfold/Fold Transformations,s. The new condition of negative unfolding is a natural one, since it is considered as a special case of replacement rule. The correctness of our unfold/fold transformation system in the sense of the perfect model semantics is proved. We then consider the coinductive proof rules proposed by Jaffar e作者: Cardioversion 時(shí)間: 2025-3-26 07:18
Coinductive Logic Programming with Negation,-SLDNF resolution and present their equivalence under the restriction of rationality. Co-LP with co-SLDNF resolution provides a powerful, practical and efficient operational semantics for Fitting’s Kripke-Kleene three-valued logic with restriction of rationality. Further, applications of co-SLDNF re作者: Dissonance 時(shí)間: 2025-3-26 10:41 作者: TOXIC 時(shí)間: 2025-3-26 14:17
Towards a Framework for Constraint-Based Test Case Generation,standard CP search strategies in order to express preferences on the generated test cases and to obtain the desired degree of coverage. We develop our framework in the concrete context of an imperative language and show that the technique is sufficiently powerful to deal with arbitrary pointer-based作者: 榨取 時(shí)間: 2025-3-26 19:00
Using Rewrite Strategies for Testing BUpL Agents,ists of two main steps. We first define a formal language for the specification of test cases with respect to BUpL. We then implement test cases written in the formal language by means of a general method based on rewrite strategies. Testing an agent program with respect to a given test case corresp作者: 狂怒 時(shí)間: 2025-3-26 21:46
Towards Just-In-Time Partial Evaluation of Prolog,PE) and just-in-time (JIT) compilation. It is a variant of PE that occurs purely at runtime, which lazily generates residual code and is constantly driven by runtime feedback..Our prototype is an on-line just-in-time partial evaluator. A major focus of our work is to remove the overhead incurred whe作者: Ergots 時(shí)間: 2025-3-27 01:07
Program Parallelization Using Synchronized Pipelining,posals that support parallel execution of a sequence of loops or nested loops in the case where such loops have dependencies among them. This paper introduces a refined notion of independence, called ., that in its simplest form considers two loops, say loop. and loop., and captures the idea that fo作者: MELD 時(shí)間: 2025-3-27 08:26 作者: FLINT 時(shí)間: 2025-3-27 12:26 作者: 嬉耍 時(shí)間: 2025-3-27 13:42 作者: Dorsal 時(shí)間: 2025-3-27 20:36
Paolo Pilozzi,Tom Schrijvers,Maurice Bruynooghe strengthening international relations. The author proposes the concept of knowledge diplomacy and carefully examines its fundamental rationales, actors, principles, instruments, and strategies. This is the first book that compares the similarities and differences between knowledge diplomacy and rel作者: HEW 時(shí)間: 2025-3-28 01:13 作者: 灰心喪氣 時(shí)間: 2025-3-28 05:36
José Iborra,Naoki Nishida,Germán Vidallinformation objects. The automation of the annotation process facilitates the transition from the current state-of-the-art architectures towards semantically-enabled architectures. We see the annotation process as the task of matching an arbitrary word or term with the most appropriate concept in t作者: Acupressure 時(shí)間: 2025-3-28 06:55 作者: 縮短 時(shí)間: 2025-3-28 11:08 作者: 包裹 時(shí)間: 2025-3-28 16:38
Richard Min,Gopal Guptaogy. Data Mining (DM) is the science of modelling and generalizing common patterns from large sets of multi-type data. DM is a part of KDD, which is the overall process for Knowledge Discovery in Databases. The accessibility and abundance of information today makes this a topic of particular importa作者: correspondent 時(shí)間: 2025-3-28 20:39
Susumu Nishimuraogy. Data Mining (DM) is the science of modelling and generalizing common patterns from large sets of multi-type data. DM is a part of KDD, which is the overall process for Knowledge Discovery in Databases. The accessibility and abundance of information today makes this a topic of particular importa作者: 歡呼 時(shí)間: 2025-3-29 00:02
Fran?ois Degrave,Tom Schrijvers,Wim VanhoofMining (DM) is the science of modelling and generalizing common patterns from large sets of multi-type data. DM is a part of KDD, which is the overall process for Knowledge Discovery in Databases. The accessibility and abundance of information today makes this a topic of particular importance and ne作者: 大氣層 時(shí)間: 2025-3-29 03:05
L?cr?mioara A?tef?noaei,Frank S. de Boer,M. Birna van Riemsdijkogy. Data Mining (DM) is the science of modelling and generalizing common patterns from large sets of multi-type data. DM is a part of KDD, which is the overall process for Knowledge Discovery in Databases. The accessibility and abundance of information today makes this a topic of particular importa作者: 蝕刻 時(shí)間: 2025-3-29 09:53
Carl Friedrich Bolz,Michael Leuschel,Armin Rigoogy. Data Mining (DM) is the science of modelling and generalizing common patterns from large sets of multi-type data. DM is a part of KDD, which is the overall process for Knowledge Discovery in Databases. The accessibility and abundance of information today makes this a topic of particular importa作者: 歪曲道理 時(shí)間: 2025-3-29 12:57
Leonardo Scandolo,César Kunz,Manuel Hermenegildoe VAT, consumption-based VAT has many advantages, such as stimulating investment, reducing the burden of enterprises. In addition, production-type VAT has not suited to China’s economic development. In September 2004, the State Council required the implementation of VAT reform in Northeast China, al作者: 量被毀壞 時(shí)間: 2025-3-29 18:20
M. Alpuente,M. A. Feliú,C. Joubert,A. Villanuevaithms in the literature are sensitive to largeness or high-dimensionality or both. Different features affect clusters differently, some are important for clusters while others may hinder the clustering task. An efficient way of handling it is by selecting a subset of important features. It helps in 作者: Hallowed 時(shí)間: 2025-3-29 22:18
2006), held at the University of Ghent, Belgium, May 10, 2006. In February 1943, the Austrian physicist Erwin Schrodi ¨ nger, one of the founding fathers of quantum mechanics, gave a series of lectures at Trinity College in Dublin titled “What Is Life? The Physical Aspect of the Living Cell and Mind作者: 極小 時(shí)間: 2025-3-29 23:59
Germán Vidalse needs to be widened into social life in order to be able to identify the emerging issues among the public. The new research agendas may very well be found among some of the tensions and frictions in our societies, for example social problems, health challenges and work life balance, and the citiz作者: 胰島素 時(shí)間: 2025-3-30 05:13
Paolo Pilozzi,Tom Schrijvers,Maurice Bruynoogheower. It brings together the latest thinking and trends in the study of contemporary diplomacy and international higher education. The author is well known for the clarity and perspicacity of her definitions and analysis and this applies to her in-depth examination of knowledge diplomacy which she c作者: 薄膜 時(shí)間: 2025-3-30 11:15
Peter Schneider-Kamp,Jürgen Giesl,Manh Thang Nguyeny concepts. Apart from text mining approaches, we also present an alternative technique, namely Google Distance, which proves less suitable for our task. The paper also presents the results of an extensive evaluation of the presented term matching methodswhich shows that these methodswork best on sy作者: Pudendal-Nerve 時(shí)間: 2025-3-30 16:09 作者: Wordlist 時(shí)間: 2025-3-30 17:06
Marcin Czenko,Sandro Etalley concepts. Apart from text mining approaches, we also present an alternative technique, namely Google Distance, which proves less suitable for our task. The paper also presents the results of an extensive evaluation of the presented term matching methodswhich shows that these methodswork best on sy作者: metropolitan 時(shí)間: 2025-3-31 00:26 作者: 變形詞 時(shí)間: 2025-3-31 01:14
Fran?ois Degrave,Tom Schrijvers,Wim Vanhooforithms. Part II (Chapters 5-6) discusses the methodology of application and includes case studies. Then in Part III (Chapters 7-9) a comparative study is presented, concluding with some advanced methods and open problems. The IFN, being a generic methodology, applies to a variety of fields, such as作者: Hla461 時(shí)間: 2025-3-31 08:30
