作者: INCUR 時(shí)間: 2025-3-21 21:29 作者: 光亮 時(shí)間: 2025-3-22 01:25 作者: 不朽中國 時(shí)間: 2025-3-22 06:56 作者: 充氣球 時(shí)間: 2025-3-22 11:24
Conference proceedings 1988ure Notes in Computer Science volumes 221 and 264. The contents cover foundations, programming, architecture and applications. Topics of particular interest are constraint logic programming and parallelism. The effort to apply logic programming to large-scale realistic problems is another important subject of these proceedings.作者: 蛙鳴聲 時(shí)間: 2025-3-22 14:55
978-3-540-19426-2Springer-Verlag Berlin Heidelberg 1988作者: Mucosa 時(shí)間: 2025-3-22 20:06
Logic Programming ‘87978-3-540-39267-5Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 騙子 時(shí)間: 2025-3-23 00:32
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/l/image/587900.jpg作者: gain631 時(shí)間: 2025-3-23 01:51 作者: 征兵 時(shí)間: 2025-3-23 05:39 作者: 流利圓滑 時(shí)間: 2025-3-23 17:33 作者: Mosaic 時(shí)間: 2025-3-23 22:05
,Update propagation network — A framework for constraint programming, on top of the network. The model is used both to describe description of constraint programming and to offer a graphic model for logic programming. An update propagation mechanism, which is useful for on-line interactive systems, is selected as a constraint propagation mechanism. To deal with many-作者: 使厭惡 時(shí)間: 2025-3-24 00:58 作者: Interferons 時(shí)間: 2025-3-24 05:57
Deriving a compilation method for parallel logic languages,in Prolog, we converted Concurrent Prolog programs step by step to compiled codes in Prolog. Each conversion step was successfully executed on a Prolog language processor. We examined how each conversion step contributed to performance improvement, using sample Concurrent Prolog programs such as a m作者: 致詞 時(shí)間: 2025-3-24 09:17 作者: GLEAN 時(shí)間: 2025-3-24 11:26 作者: 名字 時(shí)間: 2025-3-24 18:15 作者: construct 時(shí)間: 2025-3-24 21:09 作者: 音樂等 時(shí)間: 2025-3-25 01:02
Inductive inference of regular languages based on model inference,ased on the model inference algorithm given by Shapiro. In our setting, however, a given first order language for describing a target logic program has countably many unary predicate symbols: .0, .1, .2, ....On the other hand, the oracle which gives information about the unknown regular language to 作者: circuit 時(shí)間: 2025-3-25 04:04 作者: Gerontology 時(shí)間: 2025-3-25 11:13
Proving partial correctness of guarded horn clauses programs,rams is discussed here. The author investigated a Hoare-like axiomatic system for proving partial correctness of GHC programs. This paper presents fragments of the axiomatic system. Programs which generate processes dynamically during the execution or which contain control of nondeterminism by the g作者: 不要不誠實(shí) 時(shí)間: 2025-3-25 12:37 作者: 跳動(dòng) 時(shí)間: 2025-3-25 16:49
Manipulation of embedded context using the multiple world mechanism,edded sentence differs when it is extracted to the outside of the context of the attitude verb. Furthermore, some verbs enable certain kind of reasoning available within the context..We use the multiple world mechanism of Uranus to implement the reasoning in embedded context.作者: eustachian-tube 時(shí)間: 2025-3-25 20:56
Generating natural language responses appropriate to conversational situations - in the case of Japral language sentences which are understood by users most easily. And it is important for this understandability that each sentence is appropriate to the conversational situation at the time of its utterance. In this paper, we will shed light on this appropriateness and consider how we can formalize作者: BUCK 時(shí)間: 2025-3-26 00:44
An approach to speeding up the Prolog-based inference engine KORE/IE,res of the Prolog-based system. The main features provided by KORE/IE are (1)a mechanism of an inference engine on KORE, (2)cooperative problem solving among rule bases, and (3)a speedy inference mechanism. On Prolog, it is important to speed up inference engines without sacrificing flexible power f作者: Resign 時(shí)間: 2025-3-26 06:32
Test generation for large-scale combinational circuits by using Prolog,strict the area where the 4-valued unification will be performed and exploit the knowledge of tests for component modules of large circuits. Examples are given to demonstrate the improvement achieved by this method.作者: 保留 時(shí)間: 2025-3-26 10:31
Toshio Kawamura,Hayato Ohwada,Fumio Mizoguchien, hypertrofi?ren en verbenen. Deze groeischijven liggen aan beide kanten van het pijpbeen. De snelheid van de groei varieert, is het grootst intra-uterien, neemt vanaf de geboorte (eigenlijk vanaf de conceptie) voortdurend af, en stijgt nog één keer tijdens de groeispurt van de puberteit. Groeien 作者: habile 時(shí)間: 2025-3-26 16:01
Masayuki Numaoen, hypertrofi?ren en verbenen. Deze groeischijven liggen aan beide kanten van het pijpbeen. De snelheid van de groei varieert, is het grootst intra-uterien, neemt vanaf de geboorte (eigenlijk vanaf de conceptie) voortdurend af, en stijgt nog één keer tijdens de groeispurt van de puberteit. Groeien 作者: debris 時(shí)間: 2025-3-26 18:20
Martin Nilsson,Hidehiko Tanaka Merks?tze.Includes supplementary material: ."Gerade erziehen" bedeutet der von Nicolas Andry vor mehr als 250 Jahren gepr?gte Begriff "Orthop?die". Was aber machen "Gerade-Erzieher" mit den krummen Kindern? Darf man die Entwicklung der Natur überlassen, oder braucht man zur Begradigung Schienen, Ap作者: 危機(jī) 時(shí)間: 2025-3-26 23:22 作者: LAITY 時(shí)間: 2025-3-27 04:18
Kiyoshi Shibayama,Masaaki Yamamoto,Hiroaki Hirata,Yasushi Kanoh,Takanori Sanetoh,Hiroshi Hagiwara Merks?tze.Includes supplementary material: ."Gerade erziehen" bedeutet der von Nicolas Andry vor mehr als 250 Jahren gepr?gte Begriff "Orthop?die". Was aber machen "Gerade-Erzieher" mit den krummen Kindern? Darf man die Entwicklung der Natur überlassen, oder braucht man zur Begradigung Schienen, Ap作者: ARK 時(shí)間: 2025-3-27 09:14
Toshiaki Tarui,Tsutomu Maruyama,Hidehiko Tanaka Merks?tze.Includes supplementary material: ."Gerade erziehen" bedeutet der von Nicolas Andry vor mehr als 250 Jahren gepr?gte Begriff "Orthop?die". Was aber machen "Gerade-Erzieher" mit den krummen Kindern? Darf man die Entwicklung der Natur überlassen, oder braucht man zur Begradigung Schienen, Ap作者: fallible 時(shí)間: 2025-3-27 11:11
Hayato Ohwada,Fumio Mizoguchi Merks?tze.Includes supplementary material: ."Gerade erziehen" bedeutet der von Nicolas Andry vor mehr als 250 Jahren gepr?gte Begriff "Orthop?die". Was aber machen "Gerade-Erzieher" mit den krummen Kindern? Darf man die Entwicklung der Natur überlassen, oder braucht man zur Begradigung Schienen, Ap作者: Chronological 時(shí)間: 2025-3-27 13:56 作者: 心胸開闊 時(shí)間: 2025-3-27 18:37 作者: 和平 時(shí)間: 2025-3-27 22:30
Naoshi Uchihira,Kazunori Matsumoto,Shinichi Honiden,Hideo Nakamura作者: 裝飾 時(shí)間: 2025-3-28 05:48
Naohiko Noguchi,Masanori Takahashi,Hideki Yasukawa作者: Rct393 時(shí)間: 2025-3-28 08:57
KPR: A logic programming language-oriented parallel machine,stream-pipeline processing method; (iii) ‘Database-process’ for managing an assertion database..KPR is a heterogeneous-function distributed-processing system, where each process is executed on the specialized processor. The inter-processor network of KPR is realized by a tree-structured topology, ea作者: 過份艷麗 時(shí)間: 2025-3-28 12:38 作者: 誹謗 時(shí)間: 2025-3-28 18:27 作者: 有助于 時(shí)間: 2025-3-28 21:05
Hiroaki Etoh,Naoyuki Tamura,Yasuo Asakawa,Toshiyuki Hama,Hideaki Komatsuraxis UND Theorie Spa?....Das versammelte Expertenwissen der Kinderorthop?dischen Universit?tsklinik am?UKBB (Prof. Hefti unter Mitarbeit von Prof. Brunner, Dr. Freuler, Dr. Hasler und Prof. Jundt)..Mit?neuen lustigen Cartoons von F. Freuler??.978-3-540-34400-1作者: 行為 時(shí)間: 2025-3-29 02:52
Kiyoshi Shibayama,Masaaki Yamamoto,Hiroaki Hirata,Yasushi Kanoh,Takanori Sanetoh,Hiroshi Hagiwararaxis UND Theorie Spa?....Das versammelte Expertenwissen der Kinderorthop?dischen Universit?tsklinik am?UKBB (Prof. Hefti unter Mitarbeit von Prof. Brunner, Dr. Freuler, Dr. Hasler und Prof. Jundt)..Mit?neuen lustigen Cartoons von F. Freuler??.978-3-540-34400-1作者: 的事物 時(shí)間: 2025-3-29 03:52 作者: chapel 時(shí)間: 2025-3-29 08:26 作者: Embolic-Stroke 時(shí)間: 2025-3-29 11:47 作者: 是貪求 時(shí)間: 2025-3-29 16:11 作者: FLEET 時(shí)間: 2025-3-29 23:10 作者: APO 時(shí)間: 2025-3-30 01:07
Toshio Kawamura,Hayato Ohwada,Fumio Mizoguchi voornamelijk de onderste extremiteiten is anders. De eerste jaren van de basisschool komt de endorotatiegang veel voor, maar op de middelbare school is deze vrijwel verdwenen. Ook zijn kinderen anders als het gaat om de laxiteit van gewrichten. Kinderen zijn veel soepeler en leniger dan volwassenen作者: duplicate 時(shí)間: 2025-3-30 05:53 作者: Carcinogen 時(shí)間: 2025-3-30 09:14 作者: Phagocytes 時(shí)間: 2025-3-30 15:54 作者: Pessary 時(shí)間: 2025-3-30 17:21
Polymorphic type inference in Prolog by abstract interpretation,sary and relevant information without waste. The monomorphic type inference method is extended to polymorphic types by introducting parameterized type definitions and generalizing operations for manipulating type information accordingly.作者: Hearten 時(shí)間: 2025-3-30 21:33 作者: COWER 時(shí)間: 2025-3-31 02:59
Generating natural language responses appropriate to conversational situations - in the case of Japse sentences and consider how people decide to add such features to their sentences depending on situational factors. Then we will show brief methods of deciding how to add suitable surface features to sentences in suitable situations. Finally, we will show an implementation of a conversational system which adopts these methods.作者: Limousine 時(shí)間: 2025-3-31 08:43
An approach to speeding up the Prolog-based inference engine KORE/IE,d realize the flexible rule expressions, we take advantage of a speedy refutation mechanism, partial evaluation techniques and fast searching for heads of clauses. At present, KORE/IE is implemented on C-Prolog and Quintus Prolog, and its efficiency of inferences is comparable with that of OPS5 on Franz Lisp.作者: encyclopedia 時(shí)間: 2025-3-31 09:15 作者: AORTA 時(shí)間: 2025-3-31 17:21 作者: 跟隨 時(shí)間: 2025-3-31 17:49 作者: 珍奇 時(shí)間: 2025-3-31 22:07 作者: Notorious 時(shí)間: 2025-4-1 04:49 作者: 獨(dú)白 時(shí)間: 2025-4-1 09:10 作者: contradict 時(shí)間: 2025-4-1 13:08
A preliminary evaluation of a parallel inference machine for stream parallel languages,tion results, it is confirmed that the main problem is the existence of frequent access to remote memories through the network. It is also determined that it is necessary to introduce a cluster configuration if the system is to consist of more than 64 processors.作者: thrombus 時(shí)間: 2025-4-1 17:53
0302-9743 ticular interest are constraint logic programming and parallelism. The effort to apply logic programming to large-scale realistic problems is another important subject of these proceedings.978-3-540-19426-2978-3-540-39267-5Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 貝雷帽 時(shí)間: 2025-4-1 19:56 作者: 無可非議 時(shí)間: 2025-4-1 23:53 作者: Custodian 時(shí)間: 2025-4-2 06:11
