作者: Tonometry 時(shí)間: 2025-3-21 23:42
And-or queuing in Extended Concurrent Prolog, the OR-related clauses are enqueued. This scheduling method is designated “AND-OR queuing.” AND-OR queuing makes it possible to handle all kinds of AND-relations and OR-relations in a uniform manner.作者: Arable 時(shí)間: 2025-3-22 03:22 作者: 幼稚 時(shí)間: 2025-3-22 06:44 作者: 牛的細(xì)微差別 時(shí)間: 2025-3-22 11:52
Parallel Prolog machine PARK: Its hardware structure and prolog system,parallel AND constructor for AND parallelism and a mode declaration for OR parallelism. The communication among processes is performed with a special built-in predicate through a communication channel.作者: Conjuction 時(shí)間: 2025-3-22 13:54 作者: pantomime 時(shí)間: 2025-3-22 21:00 作者: pericardium 時(shí)間: 2025-3-23 01:14
Hardware simulator of Reduction-Based Parallel Inference Machine PIM-R, operate as the inference modules and the network, respectively. In order to realize high simulation rate, an event-driven method is introduced. ”Queens” program and ”Quicksort” program were executed on the simulator. The results show that a PIM-R architecture can effectivity utilize the parallelism作者: 撕裂皮肉 時(shí)間: 2025-3-23 03:31 作者: 喃喃而言 時(shí)間: 2025-3-23 08:26
Parallel Prolog machine PARK: Its hardware structure and prolog system,lled PARK-Prolog, which will be implemented on this machine. PARK is a multi-microprocessor machine connected with a common bus. PARK is divided into one host processor and several (currently 3) slave processors. Each processor is composed of a 16 bit microprocessor (Motorola MC68000), a local memor作者: Irascible 時(shí)間: 2025-3-23 11:40
Heuristics applied in tree manipulation algorithm synthesis,des Unfold/Fold transformation, some heuristic knowledge is necessary, for example avoiding re-execution of the same pattern of transformations. In this paper, we describe these heuristic knowledge in transformation. We also present B-tree insertion algorithm synthesis as a fair size example.作者: Hay-Fever 時(shí)間: 2025-3-23 14:41
Zero : Frame + prolog,is a general purpose frame-based knowledge representation language and is an extension of FMS which was developed by us. The extension is a feature to handle Prolog programs as attached procedures in the form of a set of clauses which is activated by a message sent from another frame. By combination作者: 美食家 時(shí)間: 2025-3-23 19:37 作者: 震驚 時(shí)間: 2025-3-24 00:49
,Proedit — a screen oriented Prolog programming environment, A new execution model is proposed, which is based on the box model, but has been extended so that control flow between subgoals is displayed over time. It is written for VM/Prolog which runs under the VM/CMS operating system. The system is actually being used by researchers in IBM laboratories.作者: 在駕駛 時(shí)間: 2025-3-24 02:40
Software prototyping with MENDEL,ics such as: 1) meta inference, 2) object concurrency, 3) linkage to C language, 4) propositional temporal logic, 5) Prolog predicates for performance prediction simulator. The object generation in MENDEL, that is a program tranformation of concurrency and temporal dependence requirement specificati作者: 關(guān)節(jié)炎 時(shí)間: 2025-3-24 09:50
Retrieval of software module functions using first-order predicate logical formulae,amming environment in which specifications of software modules are formalized using first-order predicate logical formulae. This method uses resolution and heuristics to determine reusability of current modules in the library. A prototype system has been developed using C-Prolog on a VAX11/780.作者: 障礙 時(shí)間: 2025-3-24 10:42 作者: insomnia 時(shí)間: 2025-3-24 14:53
Implementation of temporal logic programming language Tokio,hich are: the unification of the temporal variable, reduction including temporal operator, and interval control. The implementation of Tokio includes automatic interval length determination and stream-like temporal variable representation. At the end of this report, an abbreviated version of a Tokio作者: Collar 時(shí)間: 2025-3-24 23:00 作者: 變異 時(shí)間: 2025-3-25 02:40 作者: 調(diào)味品 時(shí)間: 2025-3-25 06:58 作者: 精美食品 時(shí)間: 2025-3-25 10:09 作者: WATER 時(shí)間: 2025-3-25 13:42
T. Hisano,M. Suwa und verletzter Kinder!.Includes supplementary material: .Kindernotf?lle sind eine Herausforderung für alle Beteiligten!..Die erfahrenen Autoren beschreiben praxisnah und leicht nachvollziebar die h?ufigsten und typischen Notfallsituationen des Kindesalters: alle wichtigen Krankheitsbilder, Tipps im作者: arousal 時(shí)間: 2025-3-25 19:32
H. Ito,H. Ueno und verletzter Kinder!.Includes supplementary material: .Kindernotf?lle sind eine Herausforderung für alle Beteiligten!..Die erfahrenen Autoren beschreiben praxisnah und leicht nachvollziebar die h?ufigsten und typischen Notfallsituationen des Kindesalters: alle wichtigen Krankheitsbilder, Tipps im作者: 追蹤 時(shí)間: 2025-3-25 22:12 作者: Fester 時(shí)間: 2025-3-26 03:45
T. Aoyagi,M. Fujita,T. Moto-okakranker und verletzter Kinder!.Orientiert an der Praxis und .Keine Angst vor Notf?llen mit Kindern! ..Kinder sind "besondere" Patienten, die einer besonderen speziellen Behandlung bedürfen...Wie unterscheidet man die unterschiedlichen respiratorischen Probleme? ...Welche Therapiestrategien wendet ma作者: 巨頭 時(shí)間: 2025-3-26 05:23 作者: Acquired 時(shí)間: 2025-3-26 10:21
K. Nakamurakranker und verletzter Kinder!.Orientiert an der Praxis und .Keine Angst vor Notf?llen mit Kindern! ..Kinder sind "besondere" Patienten, die einer besonderen speziellen Behandlung bedürfen...Wie unterscheidet man die unterschiedlichen respiratorischen Probleme? ...Welche Therapiestrategien wendet ma作者: 食品室 時(shí)間: 2025-3-26 14:28
Jiro Tanaka,Takashi Yokomori,Makoto Kishishitakranker und verletzter Kinder!.Orientiert an der Praxis und .Keine Angst vor Notf?llen mit Kindern! ..Kinder sind "besondere" Patienten, die einer besonderen speziellen Behandlung bedürfen...Wie unterscheidet man die unterschiedlichen respiratorischen Probleme? ...Welche Therapiestrategien wendet ma作者: 面包屑 時(shí)間: 2025-3-26 18:00
Kazunori Uedakranker und verletzter Kinder!.Orientiert an der Praxis und .Keine Angst vor Notf?llen mit Kindern! ..Kinder sind "besondere" Patienten, die einer besonderen speziellen Behandlung bedürfen...Wie unterscheidet man die unterschiedlichen respiratorischen Probleme? ...Welche Therapiestrategien wendet ma作者: Congruous 時(shí)間: 2025-3-26 23:08 作者: 發(fā)起 時(shí)間: 2025-3-27 02:43 作者: 爆炸 時(shí)間: 2025-3-27 05:26
978-3-540-16479-1Springer-Verlag Berlin Heidelberg 1986作者: 細(xì)節(jié) 時(shí)間: 2025-3-27 09:58
Logic Programming ‘85978-3-540-39820-2Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: Generator 時(shí)間: 2025-3-27 15:38 作者: Complement 時(shí)間: 2025-3-27 18:15
https://doi.org/10.1007/3-540-16479-0Compiler; Constraint; Debugging; Parser; Prolog; algorithms; communication; heuristics; knowledge; knowledge 作者: Banister 時(shí)間: 2025-3-27 22:18 作者: ONYM 時(shí)間: 2025-3-28 03:15 作者: 無(wú)思維能力 時(shí)間: 2025-3-28 10:21 作者: 小母馬 時(shí)間: 2025-3-28 12:20
Design and evaluation of a Prolog compiler,This paper discusses a Prolog compiler for the FACOM α, a symbolic data processing machine. The compiler includes several optimization algorithms, such as separated predicate frames, extended mode declaration, and fast goal invocation. Compiled programs run at 30 to 40 KLIPS.作者: 青少年 時(shí)間: 2025-3-28 17:23
Architecture and evaluation of a Reduction-based Parallel Inference Machine : PIM-R, simulators. Target languages of PIM-R are Prolog and Concurrent Prolog. PIM-R executes Prolog programs in OR parallel and Concurrent Prolog programs in AND parallel. The simulation results show that PIM-R is able to exploit the parallelism in Prolog and Concurrent Prolog programs.作者: incite 時(shí)間: 2025-3-28 22:19 作者: modest 時(shí)間: 2025-3-29 02:14 作者: Fillet,Filet 時(shí)間: 2025-3-29 06:08
,Proedit — a screen oriented Prolog programming environment, A new execution model is proposed, which is based on the box model, but has been extended so that control flow between subgoals is displayed over time. It is written for VM/Prolog which runs under the VM/CMS operating system. The system is actually being used by researchers in IBM laboratories.作者: 容易懂得 時(shí)間: 2025-3-29 10:23
Software prototyping with MENDEL,ics such as: 1) meta inference, 2) object concurrency, 3) linkage to C language, 4) propositional temporal logic, 5) Prolog predicates for performance prediction simulator. The object generation in MENDEL, that is a program tranformation of concurrency and temporal dependence requirement specifications, is also described.作者: refine 時(shí)間: 2025-3-29 14:52
Retrieval of software module functions using first-order predicate logical formulae,amming environment in which specifications of software modules are formalized using first-order predicate logical formulae. This method uses resolution and heuristics to determine reusability of current modules in the library. A prototype system has been developed using C-Prolog on a VAX11/780.作者: 生存環(huán)境 時(shí)間: 2025-3-29 17:38
Temporal logic programming language Tokio programming in Tokio,TL operators. We will discuss how those temporal operators work. Some simple execution examples of Tokio are also included. Finally, we compare and contrast Tokio with other logic programming languages. Tokio is especially well suited for hardware description. We are now developing a total logic design assistance system based on Tokio.作者: 錯(cuò)誤 時(shí)間: 2025-3-29 23:07 作者: 值得尊敬 時(shí)間: 2025-3-30 01:06
Heuristic prolog: Logic program execution by heuristic search,ogic programs by heuristic (best-first) search in addition to depth-first search. The user can specify both the nodes in the search tree to be executed concurrently and priority of the nodes by means of a special built-in predicate. Some example programs in Heuristic Prolog are included to show the capability of the language.作者: Bureaucracy 時(shí)間: 2025-3-30 05:08 作者: GIBE 時(shí)間: 2025-3-30 12:03 作者: Spinous-Process 時(shí)間: 2025-3-30 12:32 作者: 糾纏,纏繞 時(shí)間: 2025-3-30 19:41
H. Matsuda,M. Kohata,T. Masuo,Y. Kaneda,S. Maekawa作者: ascend 時(shí)間: 2025-3-30 23:46
Makoto Haraguchiicke und Besonderheiten.....Die 3. Auflage ist komplett aktualisiert und um die Themen typische Kinderkrankheiten und Anaphylaxie?erweitert. Das Buch richtet sich an alle Rettungsassistenten, Rettungssanit?ter und angehenden Not?rzte, die Notf?lle bei Kindern sicher und souver?n meistern wollen..978-3-642-04183-9作者: 哥哥噴涌而出 時(shí)間: 2025-3-31 04:29 作者: 刪減 時(shí)間: 2025-3-31 05:26
H. Ito,H. Uenoicke und Besonderheiten.....Die 3. Auflage ist komplett aktualisiert und um die Themen typische Kinderkrankheiten und Anaphylaxie?erweitert. Das Buch richtet sich an alle Rettungsassistenten, Rettungssanit?ter und angehenden Not?rzte, die Notf?lle bei Kindern sicher und souver?n meistern wollen..978-3-642-04183-9作者: Guaff豪情痛飲 時(shí)間: 2025-3-31 11:04
H. Yoshida,H. Kato,M. SugimotoHA, ERC und AAOP ..Typische Fallbeispiele aus der Praxis ..Medikamente und ihre Dosierungen bei Kindern .Zum schnellen Nachschlagen in der Praxis?– für alle Rettungssanit?ter, Rettungsassistenten und angehenden Not?rzte?– der unentbehrliche Begleiter für den Ernstfall bei Kindern.978-3-540-26495-8作者: MITE 時(shí)間: 2025-3-31 16:27 作者: habitat 時(shí)間: 2025-3-31 18:42
S. Kono,T. Aoyagi,M. Fujita,H. TanakaHA, ERC und AAOP ..Typische Fallbeispiele aus der Praxis ..Medikamente und ihre Dosierungen bei Kindern .Zum schnellen Nachschlagen in der Praxis?– für alle Rettungssanit?ter, Rettungsassistenten und angehenden Not?rzte?– der unentbehrliche Begleiter für den Ernstfall bei Kindern.978-3-540-26495-8作者: degradation 時(shí)間: 2025-4-1 01:10
K. NakamuraHA, ERC und AAOP ..Typische Fallbeispiele aus der Praxis ..Medikamente und ihre Dosierungen bei Kindern .Zum schnellen Nachschlagen in der Praxis?– für alle Rettungssanit?ter, Rettungsassistenten und angehenden Not?rzte?– der unentbehrliche Begleiter für den Ernstfall bei Kindern.978-3-540-26495-8作者: JECT 時(shí)間: 2025-4-1 05:04
Jiro Tanaka,Takashi Yokomori,Makoto KishishitaHA, ERC und AAOP ..Typische Fallbeispiele aus der Praxis ..Medikamente und ihre Dosierungen bei Kindern .Zum schnellen Nachschlagen in der Praxis?– für alle Rettungssanit?ter, Rettungsassistenten und angehenden Not?rzte?– der unentbehrliche Begleiter für den Ernstfall bei Kindern.978-3-540-26495-8作者: Intrepid 時(shí)間: 2025-4-1 07:52
Kazunori UedaHA, ERC und AAOP ..Typische Fallbeispiele aus der Praxis ..Medikamente und ihre Dosierungen bei Kindern .Zum schnellen Nachschlagen in der Praxis?– für alle Rettungssanit?ter, Rettungsassistenten und angehenden Not?rzte?– der unentbehrliche Begleiter für den Ernstfall bei Kindern.978-3-540-26495-8
