作者: llibretto 時(shí)間: 2025-3-21 23:56 作者: Psa617 時(shí)間: 2025-3-22 03:56
The RQA/FQI Strategy — Some Thoughts on the Evaluation of Recursive Queries in Knowledge Base Manage figures from operating plants.Includes description of all tThis book provides a detailed examination of how two key concerns in many communities across the globe- power and water- can be simultaneously addressed through the coupling of Concentrating Solar Power and Desalination (CSP+D) plants. It u作者: 恫嚇 時(shí)間: 2025-3-22 05:24
Towards Automatic Semantic Classification for a Natural Language Understanding System — and in many cases it cannot be more than an attempt — to throw light on their genesis. The changes shown may be purely habitual for a certain person who was ‘a(chǎn)lways’ like this; they can have occurred quite independently of the captivity in the concentration camp (and of the persecutions of which 作者: Indurate 時(shí)間: 2025-3-22 12:24
Parsing Phonetic Segments into Syllablesexpansion and explanation in at least four directions. First, what are the units in which economic activity is measured — sales, assets, employment or something else? Second, what is the area in which control is exercised — the industry, the region, the economy as a whole? Third, do we mean large in作者: Munificent 時(shí)間: 2025-3-22 16:26
Knowledge Engineering mit KNOPF.-tests performed on the same data set increase likelihood of falsely reporting a significant difference. For testing the significance of means of several independent groups of observations, a powerful parametric statistical approach is analysis of variance (ANOVA). It was developed by one of the fo作者: Abrupt 時(shí)間: 2025-3-22 19:39
PAMELA — Eine Deklarative Programmiersprache für Echtzeit-Anwendungen knowledge representations. Since the proper choice of suchrepresentations is a difficult task that fundamentally affects thecapabilities of a system, the problem of automatic.representation. .change. is an important topic in currentresearch..Concept Formation. .and Knowledge Revision.focuses on rep作者: 認(rèn)為 時(shí)間: 2025-3-22 23:01
Ein Werkzeug zum Wissenserwerbanalytical process but a synthetic process which has yet to be clarified. Furthermore, new research methods for investigating the concept generation process—a very difficult task since the concept generation process is driven by inner feelings deeply etched in the mind—are necessary to establish its作者: 擦掉 時(shí)間: 2025-3-23 02:55 作者: deriver 時(shí)間: 2025-3-23 09:21 作者: 保存 時(shí)間: 2025-3-23 12:57 作者: vector 時(shí)間: 2025-3-23 14:08
VIP — eine integrierte Programmierumgebung für Prologhers understand knowledge creation”? The focus of this chapter is on knowledge creation as a general phenomenon; the understanding of knowledge creation within education context will be presented in the next chapter. The phenomenographic outcome space representing the qualitatively different ways of作者: LUDE 時(shí)間: 2025-3-23 18:55
On The Integration of Equality, Sorts, and Logic Programming A scientific conception of space depends on how space and its properties are thought to be interrelated with the physical categories of substance and time in the context of laws and theories. These interrelationships, although more or less agreed upon by physics for activities at the geographic sca作者: 充氣女 時(shí)間: 2025-3-24 02:08 作者: 的是兄弟 時(shí)間: 2025-3-24 02:59
Synthesis of Specifications from Programsrs 36 6. A Diophantine Equation and its Solutions 46 7. Enantiomorphy. . . . . . . . 57 8. Symmetry Elements in the Plane 77 9. Pentagonal Tessellations . 89 10. Hexagonal Tessellations 101 11. Dirichlet Domain 106 12. Points and Regions 116 13. A Look at Infinity . 122 14. An Irrational Number 128 作者: avenge 時(shí)間: 2025-3-24 10:24
Reasoning about Theories with a Finite Modelenerate toxins which may be exotoxins (generated and actively secreted) or endotoxins (remain part of the bacteria). An endotoxin is part of the bacterial outer membrane, and it is not released until the bacterium is killed by the immune system. Blue-green algae produce toxins from cyanobacteria. Th作者: 呼吸 時(shí)間: 2025-3-24 11:27
Automatisches Beweisen für Logiksysteme, in Denen Widersprüche Behandelt Werden K?nnen of forest planning and management strategy which requires gathering of data about forest resources at the national level for the development of strategic policy. In order to characterise accurately both quantity and quality of the forest resources, enhanced information is required. Remote sensing t作者: Hamper 時(shí)間: 2025-3-24 17:27
Back Matterionary epistemology. It comprises ten papers, dealing with the basic concepts, approaches and data in evolutionary epistemology and discussing some of their most important consequences. Because I am convinced that criticism, if not confused with mere polemics, is apt to stimulate the maturation of a作者: amplitude 時(shí)間: 2025-3-24 20:54
Probabilistic formulation of the problem,dung einer inkrementellen Erkennungsstrategie wird das prototypische Auftreten eines Ereignisses durch ein Ablaufschema beschrieben. Ausgehend von einem diskreten Zeitmodell werden spezielle Pr?dikate definiert, mit deren Hilfe auch die zum Beobachtungszeitpunkt gerade auftretenden Ereignisse in ein作者: Admire 時(shí)間: 2025-3-25 00:59 作者: Chauvinistic 時(shí)間: 2025-3-25 05:52 作者: 四目在模仿 時(shí)間: 2025-3-25 08:06 作者: 不整齊 時(shí)間: 2025-3-25 12:45 作者: Enervate 時(shí)間: 2025-3-25 19:26
The existence of a non-trivial fixed point,dende Ger?te machen es für den Benutzer zunehmend schwieriger, diese zu bedienen und Fehler zu beheben. Mangels eigenen Wissens ist er auf die Hilfe eines Experten angewiesen, der das n?tige Wissen über Aufbau und Funktion sowie genügend Erfahrung in der Bedienung des Ger?tes besitzt, um Routine- un作者: 詩集 時(shí)間: 2025-3-25 23:42 作者: 大酒杯 時(shí)間: 2025-3-26 00:13 作者: Filibuster 時(shí)間: 2025-3-26 06:57
Discussion of the thermodyamic limit,nterstützen, indem es durch geeignete Konsistenzüberprüfun gen ein falsches Ausfüllen der Formulare verhindert und ihn beim Geltendmachen von Absetzposten ber?t. LST-1 bietet dem Benutzer wahlweise eine freie Eingabe in das auf dem Bildschirm dargestellte Formular oder eine rechnergestützte Formular作者: Gossamer 時(shí)間: 2025-3-26 08:54 作者: Expurgate 時(shí)間: 2025-3-26 13:02 作者: 不能約 時(shí)間: 2025-3-26 20:16 作者: craving 時(shí)間: 2025-3-26 23:21
A Report on China’s Administration Reformdata types: equations and a type concept. In this paper we consider many-sorted logic programs with equality. Besides the model-theoretic semantics based on initial models we investigate the operational semantics based on resolution and unification modulo a set of conditional equations. We define a 作者: forecast 時(shí)間: 2025-3-27 01:58
A Report on China’s Administration Reform. and ., is strictly distinguished from the program. Nonetheless, declarative semantics and related properties can be expressed within the framework of untyped definite clauses. Our Extended Prolog with Order-Sorted resolution (EPOS) supports data abstraction and inheritance mechanisms and offers an作者: 畏縮 時(shí)間: 2025-3-27 09:11
Jorg Kustermans,Tom Sauer,Barbara Segaertlüsse zu ziehen, so kann aus einer einzigen widersprüchlichen Information jede Aussage gefolgert werden. Will man diese Wirkung von Widersprüchen verhindern kann man 1. den Beweisbegriff einschr?nken oder 2. die zugrundeliegende Logik ver?ndern. Die erste M?glichkeit wird einem Gedanken Wittgenstein作者: 反抗者 時(shí)間: 2025-3-27 10:57
https://doi.org/10.1007/978-3-030-78631-1The automatic synthesis of program methods [Manna & Waldinger, 1980; Kodratoff & Picard, 1983; Franova, 1985],..., etc, allow an automatic generation of programs from their specifications. As interesting as it is, this approach comes up against a usual problem: to define a good specification is very difficult in itself.作者: 幸福愉悅感 時(shí)間: 2025-3-27 14:55 作者: intolerance 時(shí)間: 2025-3-27 20:45 作者: 大吃大喝 時(shí)間: 2025-3-27 23:50
0343-3005 Overview: 978-3-540-18384-6978-3-642-46620-5Series ISSN 0343-3005 作者: LIKEN 時(shí)間: 2025-3-28 03:29
Crossover Part II. B) Two phase region,tructures using a deterministic parser. Our goals are to study the role of timing information in speech recognition and to design structures appropriate for the task of parsing segments into syllables and syllables into words.作者: 流逝 時(shí)間: 2025-3-28 07:52
A Report on China’s Administration Reformmemory located near the CPU, which is almost as fast as the CPU’s registers. This architecture assumes that a high percentage of memory accesses can be directly satisfied by the cache, and that this in total saves more time than is lost due to paging between cache and main memory.作者: 保守黨 時(shí)間: 2025-3-28 10:50 作者: 惡名聲 時(shí)間: 2025-3-28 15:04
https://doi.org/10.1007/978-3-642-46620-5Beweisen; Expertensystem; Logik; Modellierung; Probleml?sen; Prolog; Wissen; Wissensbank; Wissensdatenbank; l作者: 易于出錯(cuò) 時(shí)間: 2025-3-28 18:52 作者: multiply 時(shí)間: 2025-3-29 02:13 作者: 美麗的寫 時(shí)間: 2025-3-29 03:09 作者: aquatic 時(shí)間: 2025-3-29 10:46
,Linear problems and the existence of ?ε,eaning of such a probability according to the circumstances of its use is performed. Secondly, several devices and methods used in game-playing programs are examined. Their benefits and shortcomings are discussed, with emphasis on a comparison of the intended meaning and the application of the probability.作者: NEEDY 時(shí)間: 2025-3-29 11:26
https://doi.org/10.1007/BFb0017107uch strategies. Then we describe the RQA/FQI Strategy which is complete over the domain of function-free Horn clauses and uses a two step architecture for evaluating a recursive query. We further compare our strategy to other query processing strategies and also discuss related concepts from the area of theorem proving.作者: esoteric 時(shí)間: 2025-3-29 17:57 作者: PRISE 時(shí)間: 2025-3-29 20:38 作者: 討好美人 時(shí)間: 2025-3-30 00:02
Discussion of the critical indices, beim Aufbau und beim Einsatz eines Expertensystems wird üblicherweise gemeinsam von einem (oder mehreren) “Knowledge Engineers” und dem (den) Experten des jeweiligen Anwendungsgebietes bearbeitet. Grob gegliedert teilt sich die Aufgabe des Wissenserwerbs in folgende fünf Schritte (vgl.Buchanan et al., 1982):作者: jeopardize 時(shí)間: 2025-3-30 06:33 作者: Leaven 時(shí)間: 2025-3-30 10:46
Probabilistic formulation of the problem,herangezogen werden, andererseits erscheint uns die in propositionaler Form gegebene Information über gerade auftretende Ereignisse als eine geeignete Schnittstelle zwischen Ereigniserkennung und anderen Komponenten eines Systems zur natürlichsprachlichen Beschreibung zeitver?nderlicher Realweltszenen.作者: 單調(diào)性 時(shí)間: 2025-3-30 15:39
Crossover, Part II. A) Single phase region,ty. This is done experimentally on a ‘skeleton-system’, implemented in INTERLISP. The heuristic rules are implemented declaratively and thus are decoupled from the program to aid easy modification. Concepts developed in linguistics regarding word formation play an extensive role in the classification heuristics used.
