標(biāo)題: Titlebook: ALPUK91; Proceedings of the 3 Geraint A. Wiggins,Chris Mellish,Tim Duncan Conference proceedings 1992 Springer-Verlag London 1992 Databases [打印本頁] 作者: 獨(dú)裁者 時間: 2025-3-21 18:11
書目名稱ALPUK91影響因子(影響力)
書目名稱ALPUK91影響因子(影響力)學(xué)科排名
書目名稱ALPUK91網(wǎng)絡(luò)公開度
書目名稱ALPUK91網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱ALPUK91被引頻次
書目名稱ALPUK91被引頻次學(xué)科排名
書目名稱ALPUK91年度引用
書目名稱ALPUK91年度引用學(xué)科排名
書目名稱ALPUK91讀者反饋
書目名稱ALPUK91讀者反饋學(xué)科排名
作者: antipsychotic 時間: 2025-3-21 23:11
Nonna P. Finogenova,Nina R. Arkhipovaages, but indicate that in the current state of these languages they are unsatisfactory as they do not allow us to express priority between computations. We propose a simple priority operator which overcomes this problem.作者: Affiliation 時間: 2025-3-22 02:58 作者: Abbreviate 時間: 2025-3-22 07:08
https://doi.org/10.1007/978-3-476-05175-2t of previous theoretical work by Kirschenbaum, Lakhotia and Sterling. Details are supplied of a mechanism for using these techniques to provide guidance during program construction and an example is provided of the system in operation. I conclude by suggesting the extensions needed in order to make the prototype useful for practical applications.作者: Alopecia-Areata 時間: 2025-3-22 12:44 作者: FEAS 時間: 2025-3-22 15:11 作者: 宇宙你 時間: 2025-3-22 19:05 作者: GULP 時間: 2025-3-23 01:11 作者: pulse-pressure 時間: 2025-3-23 02:25 作者: BABY 時間: 2025-3-23 05:55
Stuart R. Gelder,Susan M. Petersontion where time is implicit. The other end is a set of time-stamped events, which is a Fregean representation with explicit time. Two exam?ples which exploit the Fregean representations are described: an event-driven simulator and a test vector generator.作者: 碎石 時間: 2025-3-23 11:25
https://doi.org/10.1007/978-3-030-54157-6ments of interface development with the benefits of logic programming. The extended logic is termed “interaction logic”. An interaction logic program describes how the user is able to navigate an otherwise passive application domain theory.作者: keloid 時間: 2025-3-23 16:23 作者: Anticlimax 時間: 2025-3-23 18:12
Speculative Computation and Priorities in Concurrent Logic Languages, visualization, but there are always risks associated with any procedure that processes or transforms data. Richard Hamming famously said, “The purpose of computing is insight not numbers,” but trouble lies in wait for us as soon as the numbers leave the safety of their data file to be turned into a作者: coddle 時間: 2025-3-23 23:22
Distributed Logic Programming, action with greater speeds than humans. Loops perform exactly this task. Using a condition to check the start and termination rules, users can perform repetitive parts of a process as desired. Different programming languages and environments have different rules for defining loops. Scilab provides 作者: 小蟲 時間: 2025-3-24 05:45
A General Computational Scheme for Constraint Logic Programming,ngine marketing and AdWords that can help readers get intervUse Google‘s AdWords to create your ads. Each chapter goes beyond the tool itself, discussing helpful resources and important issues to keep in mind. ?If you are completely new to search engine marketing and AdWords and you want to learn th作者: Neolithic 時間: 2025-3-24 08:06 作者: Rct393 時間: 2025-3-24 12:09 作者: 微不足道 時間: 2025-3-24 17:35
Can Filters do Magic for Deductive Databases?,nts to enter burgeoning quantum industries. Unlike other textbooks on semiconductor device physics, it provides a brief but comprehensive introduction to quantum physics and statistical physics, with derivations and explanations of the key facts that are suitable for second-year undergraduates, rath作者: 慢慢沖刷 時間: 2025-3-24 21:08 作者: Focus-Words 時間: 2025-3-24 23:23 作者: Obliterate 時間: 2025-3-25 07:13 作者: ARK 時間: 2025-3-25 09:30 作者: 暗語 時間: 2025-3-25 12:19
978-3-540-19734-8Springer-Verlag London 1992作者: 聾子 時間: 2025-3-25 17:10
Workshops in Computinghttp://image.papertrans.cn/a/image/142928.jpg作者: 壓迫 時間: 2025-3-25 20:31
László Molnár,Gábor Kiszler,Edit Pollákture of the target MAPMAS (a DAP/Multi-Transputer system) is described. A generalised dataflow model for transforming Prolog programs into the Dataflow Search Graph (DSG) and executing them based on the DSG is shortly overviewed and illustrated with simple examples. In the paper an informal descript作者: 玩笑 時間: 2025-3-26 04:05
Nonna P. Finogenova,Nina R. Arkhipova possibly be required (we “speculate” that they will be required). We show how speculative computations may be expressed in the concurrent logic languages, but indicate that in the current state of these languages they are unsatisfactory as they do not allow us to express priority between computatio作者: 小臼 時間: 2025-3-26 04:24
Enrique Martínez-Ansemil,Rut Colladols, without centralised con?trol, using term unification as a basic processing mechanism. The main feature of NCL is distributed and data-driven control, which in turn allows the implementation of data-driven logical inference. The NCL logical inference is applicable to a more general form of formul作者: 天賦 時間: 2025-3-26 11:09
https://doi.org/10.1007/978-94-010-0597-5xecuting CLP programs by exploiting constraint satis?faction as a means for both solving constraints and controlling the whole computation. In the model, we separate constraint solving from the de-duction procedure. Deductions over constraints are extracted from the source program and represented as作者: Irascible 時間: 2025-3-26 16:16 作者: antecedence 時間: 2025-3-26 18:14 作者: 女歌星 時間: 2025-3-26 21:36
P. R. Almeida,B. R. Quintella,N. M. Diasanguages). It then investigates the . of queries and answers: given a complex query, what is the relation between the set of answers to the complex query and the sets of answers to the components of complex query, themselves viewed as queries. Again both the definite clause case and the full first o作者: Ethics 時間: 2025-3-27 03:31
A. Koed,N. Jepsen,K. Aarestrup,C. Nielsenn a process interpretation of logic program computation, and is written in Milner’s Calculus of Communicating Systems (CCS) [Milner 89]. This semantics uses a simpler domain than meta-interpretive and denotational semantics, that being streams of answer substitutions, which makes it more suitable as作者: Fantasy 時間: 2025-3-27 08:54 作者: 婚姻生活 時間: 2025-3-27 12:12 作者: 單獨(dú) 時間: 2025-3-27 14:28
https://doi.org/10.1007/978-3-476-05175-2timately intended for use by novice programmers. A notation for representing techniques, based on Definite Clause Grammars, is described in the context of previous theoretical work by Kirschenbaum, Lakhotia and Sterling. Details are supplied of a mechanism for using these techniques to provide guida作者: SOW 時間: 2025-3-27 17:50
https://doi.org/10.1007/978-1-4615-1953-9e consult/1 which reads a file and loads the predicates defined there into the database. Although the definition of consult/l was initially simple, implementers have extended and changed its meaning and effect. This paper identifies the requirements for consult/l and poses several questions which mu作者: saturated-fat 時間: 2025-3-27 22:48
ALPUK91978-1-4471-3546-3Series ISSN 1431-1682 作者: probate 時間: 2025-3-28 03:09 作者: hemorrhage 時間: 2025-3-28 06:14 作者: Incorruptible 時間: 2025-3-28 13:44 作者: HAVOC 時間: 2025-3-28 15:52 作者: 舊石器 時間: 2025-3-28 21:57 作者: 偶像 時間: 2025-3-29 02:48 作者: ALE 時間: 2025-3-29 03:33
Deriving Answers to Logical Queries Via Answer Composition,978-3-0348-5283-8作者: 比喻好 時間: 2025-3-29 09:51 作者: 脫落 時間: 2025-3-29 14:29 作者: placebo-effect 時間: 2025-3-29 18:05
https://doi.org/10.1007/978-3-476-05175-2spective. We show that under certain conditions, which depend on the structure of the rules, it is possible to use filters which are much less in size than magic predicates, while preserving the effectiveness of magic predicates. Thus, our filters are smaller than magic predicates, while the restric作者: LAY 時間: 2025-3-29 19:53 作者: 蔓藤圖飾 時間: 2025-3-30 03:12 作者: commute 時間: 2025-3-30 05:57 作者: Basal-Ganglia 時間: 2025-3-30 10:10
Accessing Relational and NF2 Databases Through Database Set Predicates,fers a balance of relevant optoelectronic topics, with specific attention given to distributed feedback lasers, growth techniques and waveguide cavity design .Provides a summary of every chapter, worked examples, and problems for readers to solve .Incorporates and explains recent breakthroughs in laser design.978-1-4939-4052-3978-1-4614-9341-9作者: gerontocracy 時間: 2025-3-30 12:39 作者: nullify 時間: 2025-3-30 19:24
A Simple Prolog Techniques Editor for Novice Users,o see that singularities are interesting and can be handled by human beings. This bookis a handy introduction to singularities for anyone interested in singularities. The focus is on an isolated singularity in an algebraic variety. After preparation of varieties, sheaves, and homological algebra, so
