標(biāo)題: Titlebook: Logic-Based Program Synthesis and Transformation; 27th International S Fabio Fioravanti,John P. Gallagher Conference proceedings 2018 Sprin [打印本頁(yè)] 作者: 太平間 時(shí)間: 2025-3-21 20:05
書(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é)科排名
作者: Compassionate 時(shí)間: 2025-3-21 23:42 作者: Myosin 時(shí)間: 2025-3-22 03:57
Deadlock Detection of Java Bytecode the dependencies among the components of the . intermediate language – the . bytecode. Models are subsequently analysed by means of an extension of a solver that we have defined for detecting deadlocks in process calculi. Our technique is complemented by a prototype verifier that also covers most o作者: 溫和女孩 時(shí)間: 2025-3-22 07:29
Inferring Energy Bounds via Static Program Analysis and Evolutionary Modeling of Basic Blocks) pose an important challenge on techniques to optimize their energy consumption and to verify that they will perform their function within the available energy budget. In this work we address this challenge from the software point of view and propose a novel approach to estimating accurate parametr作者: deviate 時(shí)間: 2025-3-22 09:13
CARET Analysis of Multithreaded Programsd, CARET is a temporal logic that allows to write linear temporal formulas while taking into account the matching between calls and returns. We consider in this paper the model-checking problem of DPNs against CARET formulas. We show that this problem can be effectively solved by a reduction to the 作者: Vulnerary 時(shí)間: 2025-3-22 13:08 作者: Diastole 時(shí)間: 2025-3-22 20:34 作者: 的事物 時(shí)間: 2025-3-22 21:57
Erlang Code Evolution Controlbscure function, etc. These code changes often involve several functions or modules, so it can be difficult to know whether the correct behaviour of the previous releases has been preserved in the new release. Most developers rely on a previously defined test suite to check this behaviour preservati作者: Latency 時(shí)間: 2025-3-23 04:55
Justifications in Constraint Handling Rules for Logical Retraction in Dynamic Algorithmsuage. Then a scheme of two rules suffices to allow for logical retraction (deletion, removal) of constraints during computation. Without the need to recompute from scratch, these rules remove not only the constraint but also undo all consequences of the rule applications that involved the constraint作者: 放逐某人 時(shí)間: 2025-3-23 06:08 作者: 征兵 時(shí)間: 2025-3-23 11:25 作者: AGATE 時(shí)間: 2025-3-23 14:08 作者: FUSC 時(shí)間: 2025-3-23 21:01
Fuzzy Unification and Generalization of First-Order Terms over Similar Signaturesquasi-ordered by subsumption up?to variable renaming (., . iff . for some variable substitution .). When term signatures are such that distinct functor symbols may be related with a fuzzy equivalence (called a .), these operations can be formally extended to tolerate mismatches on functor names and/作者: 官僚統(tǒng)治 時(shí)間: 2025-3-24 00:45 作者: 翻布尋找 時(shí)間: 2025-3-24 06:22 作者: 污點(diǎn) 時(shí)間: 2025-3-24 09:25
h less time, transforming the way researchers work [1]. Yet, for those seeking to develop new drugs to treat human disease, the task of assembling a coherent picture of existing knowledge from molecular biology to clinical investigation, can be daunting and frustrating. Individual electronic resourc作者: chandel 時(shí)間: 2025-3-24 13:16
h less time, transforming the way researchers work [1]. Yet, for those seeking to develop new drugs to treat human disease, the task of assembling a coherent picture of existing knowledge from molecular biology to clinical investigation, can be daunting and frustrating. Individual electronic resourc作者: TEM 時(shí)間: 2025-3-24 18:07
Elvira Albert,Miguel Gómez-Zamalloa,Miguel Isabelnale for e-commerce systems from the business point of view. However, how an e-business model must be defined and specified is a largely open issue. Business decision makers tend to use the notion in a highly informal way, and usually there is a big gap between the business view and that of IT devel作者: vibrant 時(shí)間: 2025-3-24 22:20 作者: maudtin 時(shí)間: 2025-3-25 01:59
Cosimo Laneve,Abel Garciaystems and Knowledge Engineering (ISKE 2012), held on December 15-17 in Beijing. The aim of this conference is to bring together experts from different fields of expertise to discuss the state-of-the-art in Intelligent Systems and Knowledge Engineering, and to present new findings and perspectives o作者: 哪有黃油 時(shí)間: 2025-3-25 03:45
Umer Liqat,Zorana Bankovi?,Pedro Lopez-Garcia,Manuel V. Hermenegildo11, held December 15-17 in Shanghai, China. This proceedings doesn’t only examine original research and approaches in the broad areas of intelligent systems and knowledge engineering, but also present new methodologies and practices in intelligent computing paradigms. The book introduces the current作者: 慟哭 時(shí)間: 2025-3-25 10:13 作者: Diatribe 時(shí)間: 2025-3-25 13:01
11, held December 15-17 in Shanghai, China. This proceedings doesn’t only examine original research and approaches in the broad areas of intelligent systems and knowledge engineering, but also present new methodologies and practices in intelligent computing paradigms. The book introduces the current作者: arthrodesis 時(shí)間: 2025-3-25 18:48 作者: 建筑師 時(shí)間: 2025-3-25 22:49 作者: Gudgeon 時(shí)間: 2025-3-26 01:04 作者: 通知 時(shí)間: 2025-3-26 07:10 作者: Epithelium 時(shí)間: 2025-3-26 09:41
Thom Frühwirthtage. Hence, being able to identify, locate, measure, and assess competence occupants can be a decisive competitive edge. In this work, we introduce a framework that assists with performing such tasks. To achieve this, NLP-, rule-based, and machine learning techniques are employed to process raw dat作者: 無(wú)思維能力 時(shí)間: 2025-3-26 12:47 作者: FAWN 時(shí)間: 2025-3-26 19:09 作者: 常到 時(shí)間: 2025-3-27 00:33 作者: CAND 時(shí)間: 2025-3-27 03:06 作者: 健壯 時(shí)間: 2025-3-27 07:40 作者: 來(lái)就得意 時(shí)間: 2025-3-27 12:20 作者: commonsense 時(shí)間: 2025-3-27 17:02 作者: genuine 時(shí)間: 2025-3-27 20:11
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/l/image/588106.jpg作者: heartburn 時(shí)間: 2025-3-27 23:15
978-3-319-94459-3Springer International Publishing AG, part of Springer Nature 2018作者: 施魔法 時(shí)間: 2025-3-28 05:47
Logic-Based Program Synthesis and Transformation978-3-319-94460-9Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: foliage 時(shí)間: 2025-3-28 07:08
Deadlock Detection of Java Bytecode the dependencies among the components of the . intermediate language – the . bytecode. Models are subsequently analysed by means of an extension of a solver that we have defined for detecting deadlocks in process calculi. Our technique is complemented by a prototype verifier that also covers most of the . features.作者: 來(lái)這真柔軟 時(shí)間: 2025-3-28 14:03 作者: 放肆的我 時(shí)間: 2025-3-28 15:08
https://doi.org/10.1007/978-3-319-94460-9artificial intelligence; codes; computer architecture; constraint programming; deadlock; formal logic; for作者: Legend 時(shí)間: 2025-3-28 21:59
different resources. Often the result of this is to simply abandon the enquiry, significantly diminishing the value to be gained from existing knowledge. Within pharmaceutical companies, such concerns have led to majorprogrammes in data integration; downloading, parsing, mapping, transforming and p作者: GEN 時(shí)間: 2025-3-29 00:02
different resources. Often the result of this is to simply abandon the enquiry, significantly diminishing the value to be gained from existing knowledge. Within pharmaceutical companies, such concerns have led to majorprogrammes in data integration; downloading, parsing, mapping, transforming and p作者: 慎重 時(shí)間: 2025-3-29 03:58
Elvira Albert,Miguel Gómez-Zamalloa,Miguel Isabelinterpreted and exchanged within a multi-party stakeholder network. Our e-business model ontology is part of a wider methodology for ebusiness modelling, called e. -value, that is currently under development. It is based on a variety of industrial applications we are involved in, and it is illustrat作者: Aspiration 時(shí)間: 2025-3-29 08:36 作者: carbohydrate 時(shí)間: 2025-3-29 11:41 作者: 聯(lián)合 時(shí)間: 2025-3-29 19:08 作者: FLEET 時(shí)間: 2025-3-29 20:02
Michele Alberti,Julien Signolesal with inaccurate words segmentation, especially for academic-specific words. Through evaluating tests, we choose the optimum feature templates and input to CRF++ model to label trunk words of the sentences. The transaction information extraction of academic activities is implemented. Experimental 作者: PHON 時(shí)間: 2025-3-30 01:27
Gerg? Baranyto obtain answers to user queries by composing information across semantic sources and Linked Data, even in its current form, where the strength of Linked Data is more a by-product of its size than its quality. We believe our experiences can be extrapolated to a variety of end-user applications that作者: 吞下 時(shí)間: 2025-3-30 07:17
David Insa,Sergio Pérez,Josep Silva,Salvador Tamaritng complex business queries, and in particular, to analyze and evaluate competences on multiple aggregation levels (i.e., single vs. collective) and dimensions (e.g., region, technological field of interest, time). In order to prove the general applicability of the framework and to illustrate how to作者: 能量守恒 時(shí)間: 2025-3-30 10:18
ng complex business queries, and in particular, to analyze and evaluate competences on multiple aggregation levels (i.e., single vs. collective) and dimensions (e.g., region, technological field of interest, time). In order to prove the general applicability of the framework and to illustrate how to作者: 消音器 時(shí)間: 2025-3-30 12:45 作者: 颶風(fēng) 時(shí)間: 2025-3-30 17:01
Maja H. Kirkeby,Henning Christiansenng complex business queries, and in particular, to analyze and evaluate competences on multiple aggregation levels (i.e., single vs. collective) and dimensions (e.g., region, technological field of interest, time). In order to prove the general applicability of the framework and to illustrate how to作者: Consensus 時(shí)間: 2025-3-30 22:20
