標(biāo)題: Titlebook: Implementations of Logic Programming Systems; Evan Tick,Giancarlo Succi Book 1994 Springer Science+Business Media New York 1994 C programm [打印本頁] 作者: Maudlin 時間: 2025-3-21 16:46
書目名稱Implementations of Logic Programming Systems影響因子(影響力)
書目名稱Implementations of Logic Programming Systems影響因子(影響力)學(xué)科排名
書目名稱Implementations of Logic Programming Systems網(wǎng)絡(luò)公開度
書目名稱Implementations of Logic Programming Systems網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Implementations of Logic Programming Systems被引頻次
書目名稱Implementations of Logic Programming Systems被引頻次學(xué)科排名
書目名稱Implementations of Logic Programming Systems年度引用
書目名稱Implementations of Logic Programming Systems年度引用學(xué)科排名
書目名稱Implementations of Logic Programming Systems讀者反饋
書目名稱Implementations of Logic Programming Systems讀者反饋學(xué)科排名
作者: BRACE 時間: 2025-3-21 23:45 作者: HAVOC 時間: 2025-3-22 00:27 作者: 萬神殿 時間: 2025-3-22 07:35
Implementing Sets with Hash Tables in Declarative Languages, First a brief overview about the SEL language, the SAM and the general architecture of a ., chosen for a parallel implementation of the abstract machine, is presented, then . and its use in the sequential SAM will be detailed. Eventually the extension of hashing to the parallel implementation of SAM is outlined and some conclusions are drawn.作者: 抗體 時間: 2025-3-22 09:27 作者: 碎片 時間: 2025-3-22 15:57 作者: 語源學(xué) 時間: 2025-3-22 20:26 作者: voluble 時間: 2025-3-22 23:58
Implementing Logic Programming Systems: The Quiche-Eating Approach,uential implementations of committed choice languages: QD-Janus, which translates to Prolog, and FCP(:), which compiles to a low-level byte-coded instruction set. Even though QD-Janus took significantly less time to implement, its performance is significantly better than that of FCP(:).作者: 觀察 時間: 2025-3-23 01:35
To Trim or Not to Trim?, lazy strategy delaying trimming until garbage collection. We also briefly discuss three ways of removing unsafe variables: delayed trimming, global analysis, and eager globalization of unbound variables. The paper includes data on the reduction of stack size enabled by trimming and on the cost of a higher number of unsafe variables in trimming.作者: Fester 時間: 2025-3-23 08:32 作者: AER 時間: 2025-3-23 11:44 作者: 兩棲動物 時間: 2025-3-23 15:06 作者: 懸崖 時間: 2025-3-23 18:52 作者: disrupt 時間: 2025-3-23 23:46
?eld. It offers scienti?c monographs, graduate-level textbooks, and reference materials in such areas as architectural acoustics, structural sound and vibration, musical acoustics, noise, bioac978-1-4757-7906-6978-0-387-21550-1Series ISSN 2364-4915 Series E-ISSN 2364-4923 作者: 維持 時間: 2025-3-24 04:08
Jim Crammond,Tim Lindholmand will be discussed in details. Last but not least, the balance and vestibular function research of CCD patients before and after surgery is also thoroughly reviewed. It will be a good reference for otologist and practitioners in related field to understand more about CCD.978-981-16-8219-3978-981-16-8217-9作者: Spirometry 時間: 2025-3-24 07:38 作者: START 時間: 2025-3-24 12:11
Saumya K. Debrayin cases with modiolus deficiency cochlea. This chapter presents cases with or without modiolus deficiency, depending on the severity of cochlear nerve deficiency, and describes their EABR characteristics. Vestibular simulated EABR is also shown, demonstrating the interactions between vestibular and作者: Magnificent 時間: 2025-3-24 15:37
Saumya K. Debray,Koen De Bosschere,David Gudemanin cases with modiolus deficiency cochlea. This chapter presents cases with or without modiolus deficiency, depending on the severity of cochlear nerve deficiency, and describes their EABR characteristics. Vestibular simulated EABR is also shown, demonstrating the interactions between vestibular and作者: Delectable 時間: 2025-3-24 22:52 作者: 使聲音降低 時間: 2025-3-25 01:27 作者: Subjugate 時間: 2025-3-25 06:55
Andy Kingodern Acoustics and Signal P- cessing (MASP), covers all areas of today’s acoustics as an interdisciplinary?eld. It offers scienti?c monographs, graduate-level textbooks, and reference materials in such areas as architectural acoustics, structural sound and vibration, musical acoustics, noise, bioac作者: Commentary 時間: 2025-3-25 11:07 作者: 工作 時間: 2025-3-25 15:31 作者: 清洗 時間: 2025-3-25 17:32
Fernando M. A. Silvaodern Acoustics and Signal P- cessing (MASP), covers all areas of today’s acoustics as an interdisciplinary?eld. It offers scienti?c monographs, graduate-level textbooks, and reference materials in such areas as architectural acoustics, structural sound and vibration, musical acoustics, noise, bioac作者: flaggy 時間: 2025-3-25 23:15
Evan Tick,Bart Massey,Ferenc Rakoczi,Putthi Tulayathunodern Acoustics and Signal P- cessing (MASP), covers all areas of today’s acoustics as an interdisciplinary?eld. It offers scienti?c monographs, graduate-level textbooks, and reference materials in such areas as architectural acoustics, structural sound and vibration, musical acoustics, noise, bioac作者: 過分自信 時間: 2025-3-26 02:55
I.C. Prolog II: a Multi-threaded Prolog System,offers greater expressive power than simply the sum of the two since different components of the same application may use either Parlog or Prolog or both. The high-level communication primitives provide the means for independent IC-Prolog II processes on different machines on a network to communicat作者: drusen 時間: 2025-3-26 05:50
Moving Prolog Toward Objects,tion or computational overhead with respect to standard (SICStus) Prolog programs, and allows users to exploit open, evolving software components at a cost comparable with that of more static approaches to program composition.作者: abject 時間: 2025-3-26 10:20 作者: 死亡率 時間: 2025-3-26 16:14 作者: Palter 時間: 2025-3-26 19:36
I.C. Prolog II: a Multi-threaded Prolog System,ributed logic programming, we do not aim to improve the raw performance of a logic program nor do we require multiprocessor machines or specialised hardware. Instead, our aim is to widen the applicability of logic programming to encompass new classes of practical applications which require the co-or作者: 錫箔紙 時間: 2025-3-27 00:45 作者: Predigest 時間: 2025-3-27 01:23 作者: 問到了燒瓶 時間: 2025-3-27 08:15
Implementing Logic Programming Systems: The Quiche-Eating Approach, Instead, implementors appear, more and more, to be designing their own abstract instruction sets and indulging in a great deal of slow and painful low-level hacking. This paper argues that in many cases, it is preferable to build systems by translating programs to Prolog, using a good underlying Pr作者: Fibrillation 時間: 2025-3-27 12:33 作者: Melanocytes 時間: 2025-3-27 16:01
Moving Prolog Toward Objects,which aims at supporting evolutive software development methodologies in logic programming. Rather than fixing a set of policies, CSM provides mechanisms for the (dynamic) configuration of structured theories, handled as first class objects. CSM mechanisms allow code reusability and sharing, and pro作者: 鴿子 時間: 2025-3-27 21:13 作者: 陰謀 時間: 2025-3-27 22:59
Turbo Erlang: Approaching the Speed of C,deas from concurrent logic programming languages. Erlang is used in a number of experimental telephony applications both within and outside Ericsson [1]. In this paper we describe a very efficient and portable sequential implementation of Erlang where Erlang programs are compiled into the C language作者: Ceremony 時間: 2025-3-28 04:24
A Framework for Sharing Analysis,sharing in a very conservative way. Accurate variable sharing information, however, is crucial both in the automatic parallelisation and in the optimisation of sequential logic programs. Analysis for variable sharing and term-dependence is thus an importance topic and the more recent and promising a作者: Vulnerable 時間: 2025-3-28 07:57 作者: DECRY 時間: 2025-3-28 11:33 作者: 無可非議 時間: 2025-3-28 16:56 作者: 最低點 時間: 2025-3-28 21:43 作者: browbeat 時間: 2025-3-29 02:58
Implementing Sets with Hash Tables in Declarative Languages,ields, in representing problems as relations between sets and then sets are a suit structure for exploiting .. This paper presents a technique for implementing sets in a Logic Programming System. It is based on hash-tables and is aimed to a Subset Abstract Machine for the Subset Equational Language.作者: liaison 時間: 2025-3-29 03:59 作者: 緊張過度 時間: 2025-3-29 11:05
Jim Crammond,Tim Lindholmrmity.Includes details in electrode array design for common The common cavity deformity (CCD) of the inner ear is characterized by cochlea and vestibule forming a single cavity. It indicates cochlear implantation (CI) and about 15% to 25% of inner ear malformation. However, complications such as fac作者: 收養(yǎng) 時間: 2025-3-29 14:54
Grzegorz Czajkowski,Krzysztof Zielińskirmity.Includes details in electrode array design for common The common cavity deformity (CCD) of the inner ear is characterized by cochlea and vestibule forming a single cavity. It indicates cochlear implantation (CI) and about 15% to 25% of inner ear malformation. However, complications such as fac作者: 無節(jié)奏 時間: 2025-3-29 18:35
Saumya K. Debrayical measurements of the cochlear implant. The inner ear malformations can be divided into categories according to the observation of modiolus deficiency and/or cochlear nerve deficiency (CND). CND severity can be categorized in one of three ways, according to the MRI findings: (1) a hypoplastic coc作者: 無所不知 時間: 2025-3-29 21:01 作者: 窩轉(zhuǎn)脊椎動物 時間: 2025-3-29 23:58
Enrico Denti,Antonio Natali,Andrea Omicinis. In the twentieth century, the ?eld has broadened considerably and become - creasingly interdisciplinary. At the present time, specialists in modern acoustics can be encountered not only in physics departments, but also in electrical and mechanical engineering departments, as well as in mathematic作者: Muffle 時間: 2025-3-30 05:45
Zsuzsa Farkas,Péter K?ves,Péter Szeredis. In the twentieth century, the ?eld has broadened considerably and become - creasingly interdisciplinary. At the present time, specialists in modern acoustics can be encountered not only in physics departments, but also in electrical and mechanical engineering departments, as well as in mathematic作者: Heretical 時間: 2025-3-30 08:12
Bogumi? Hausmand one of the fundamental branches of physics. In the twentieth century, the ?eld has broadened considerably and become - creasingly interdisciplinary. At the present time, specialists in modern acoustics can be encountered not only in physics departments, but also in electrical and mechanical engine作者: DIS 時間: 2025-3-30 13:26 作者: glomeruli 時間: 2025-3-30 16:51
Micha Meiers. In the twentieth century, the ?eld has broadened considerably and become - creasingly interdisciplinary. At the present time, specialists in modern acoustics can be encountered not only in physics departments, but also in electrical and mechanical engineering departments, as well as in mathematic作者: 鑒賞家 時間: 2025-3-30 21:14 作者: 引水渠 時間: 2025-3-31 04:15
Kish Shen,Manuel Hermenegildod one of the fundamental branches of physics. In the twentieth century, the ?eld has broadened considerably and become - creasingly interdisciplinary. At the present time, specialists in modern acoustics can be encountered not only in physics departments, but also in electrical and mechanical engine作者: invert 時間: 2025-3-31 09:00
Fernando M. A. Silvas. In the twentieth century, the ?eld has broadened considerably and become - creasingly interdisciplinary. At the present time, specialists in modern acoustics can be encountered not only in physics departments, but also in electrical and mechanical engineering departments, as well as in mathematic作者: 周興旺 時間: 2025-3-31 12:14
Giancarlo Succi,Giuseppe Marino,Cristina Dondina,Angelo Bergaminid one of the fundamental branches of physics. In the twentieth century, the ?eld has broadened considerably and become - creasingly interdisciplinary. At the present time, specialists in modern acoustics can be encountered not only in physics departments, but also in electrical and mechanical engine作者: 為寵愛 時間: 2025-3-31 14:27
Evan Tick,Bart Massey,Ferenc Rakoczi,Putthi Tulayathuns. In the twentieth century, the ?eld has broadened considerably and become - creasingly interdisciplinary. At the present time, specialists in modern acoustics can be encountered not only in physics departments, but also in electrical and mechanical engineering departments, as well as in mathematic
