作者: 逗它小傻瓜 時(shí)間: 2025-3-21 23:48
Gottfried Schweiger,Gunter Grafaccordingly in order to gain full advantage from our framework. Finally we outline how this method can be extended in order to automatically transform a given “fair” presentation into another equivalent one.作者: 吹牛需要藝術(shù) 時(shí)間: 2025-3-22 01:32
Wolfgang Wahlster (Vorsitzender des Programmkomite作者: 金盤(pán)是高原 時(shí)間: 2025-3-22 06:16
Some fundamental issues in knowledge representationsued or adopted: the philosophically profound investigation of epistemological primitives, the elaboration of model-theoretic semantics, and the investigation of organisational and engineering principles of database and language design.作者: 榨取 時(shí)間: 2025-3-22 11:53
Proofs by Induction in “Fairly” Specified Equational Theoriesaccordingly in order to gain full advantage from our framework. Finally we outline how this method can be extended in order to automatically transform a given “fair” presentation into another equivalent one.作者: ENDOW 時(shí)間: 2025-3-22 15:40 作者: ENDOW 時(shí)間: 2025-3-22 17:15
,Benevolent Attention: Blinded by?Judgment,h wird eine weitgehend einheitliche Behandlung von definit und indefinit deskribierten Objekten moeglich. Der hier vorgeschlagenen Loesungsansatz kann im Gegensatz zum klassischen Ansatz der Darstellung durch existentielle Quantifikation als ”expliziter Deskriptoren-Ansatz“ bezeichnet werden.作者: cogent 時(shí)間: 2025-3-22 21:44 作者: Urgency 時(shí)間: 2025-3-23 02:41
Zur Repraesentation indefinit deskribierter Objekte in KI-Systemenh wird eine weitgehend einheitliche Behandlung von definit und indefinit deskribierten Objekten moeglich. Der hier vorgeschlagenen Loesungsansatz kann im Gegensatz zum klassischen Ansatz der Darstellung durch existentielle Quantifikation als ”expliziter Deskriptoren-Ansatz“ bezeichnet werden.作者: 業(yè)余愛(ài)好者 時(shí)間: 2025-3-23 09:31
Knowledge Sources for Understanding and Describing Image Sequencesons about the real world and the image formation process. In the second part object recognition is discussed. Shape knowledge must be augmented by special knowledge which supports the recognition process. Finally, work on motion understanding is reviewed with respect to the knowledge required for recognizing higher-level concepts.作者: 宴會(huì) 時(shí)間: 2025-3-23 11:09 作者: Figate 時(shí)間: 2025-3-23 17:38 作者: groggy 時(shí)間: 2025-3-23 18:40 作者: 我吃花盤(pán)旋 時(shí)間: 2025-3-24 00:18
The Fight Against Infectious Disease,ons about the real world and the image formation process. In the second part object recognition is discussed. Shape knowledge must be augmented by special knowledge which supports the recognition process. Finally, work on motion understanding is reviewed with respect to the knowledge required for recognizing higher-level concepts.作者: Ptsd429 時(shí)間: 2025-3-24 06:21
Evaluation of Economic Policies,ing pragmatic situations with observations of motion, are shown to determine the applicability of verbs. The selection of a verb out of several applicable verbs for a given image sequence is discussed.作者: GLIB 時(shí)間: 2025-3-24 06:30
Kazuhiro Sugiyama,Yuichi Hamabeescriptions. The same technique of inexact matching can be applied to the synthesis of objects from prototypes which are composed as relational structures. The common formalism, presented here, is an attempt to unify the essential steps of object instantiation and object correspondence in the analysis of image sequences.作者: jungle 時(shí)間: 2025-3-24 14:15
Towards a Teleonomic Philosophy of Biologyen Relationen spezifizieren. Eine zus?tzliche Technik verhindert endlose Rekursion selbst dann, wenn das Netzwerk Zyklen enth?lt. Die vorgestellte Methode wird aufgrund von Erfahrungen bei ihrer Verwendung in HAM-ANS evaluiert und es werden m?gliche Erweiterungen diskutiert.作者: Obedient 時(shí)間: 2025-3-24 15:09 作者: Absenteeism 時(shí)間: 2025-3-24 19:13 作者: CURL 時(shí)間: 2025-3-25 01:54 作者: 使腐爛 時(shí)間: 2025-3-25 05:44
Symbolic Description and Matching of Image Sequencesescriptions. The same technique of inexact matching can be applied to the synthesis of objects from prototypes which are composed as relational structures. The common formalism, presented here, is an attempt to unify the essential steps of object instantiation and object correspondence in the analysis of image sequences.作者: 功多汁水 時(shí)間: 2025-3-25 10:10 作者: cauda-equina 時(shí)間: 2025-3-25 12:37
Inductive Inference in Finite Algebraic Structuresecial “evidence measure”. Although consistent with the original function values, a model with insufficient “evidence measure” is rejected..An implementation of the algorithm for the special case of a single binary func tion was constructed.作者: 抑制 時(shí)間: 2025-3-25 19:47
Rekonstruktion aufgabenorientierter Dialoge mit einem mehrstufigen Parsing-Algorithmus auf der Grundaktueilen Zustand des Dialogs ziehen, in einem Dialogmodell kategorisiert. Die ?u?erungen in einem Dialog werden innerhalb eines kommunikativen Kontextes analysiert, so da? unter ‘Parsing’ die ‘Anwendung von Erkennungsprozeduren’ und nicht ‘Erkennung syntaktischer Satzstrukturen’ zu verstehen ist.作者: 充足 時(shí)間: 2025-3-25 21:06
ATN — Steuerung Durch Kasusrahmenlicher Verarbeitungsstrategien ist, da? verschiedene ?u?erungstypen mit Hilfe von Information aus unterschiedlichen Wissensquellen (z.B. syntaktische Regeln, semantische Relationen zwischen Begriffen) effizient analysiert werden k?nnen.作者: maculated 時(shí)間: 2025-3-26 01:04 作者: 大看臺(tái) 時(shí)間: 2025-3-26 06:00
On the Selection of Verbs for Natural Language Description of Traffic ScenesDifferent knowledge sources like knowledge about trajectories, special places in the domain, standard properties and situations and knowledge associating pragmatic situations with observations of motion, are shown to determine the applicability of verbs. The selection of a verb out of several applic作者: Debate 時(shí)間: 2025-3-26 09:02
Symbolic Description and Matching of Image Sequencesampled intensity or colour measurements. Relational structures are the mathematical formulation of such descriptions. To establish correspondence relations between symbols of an image sequence, mappings between image descriptions can be generated by searching for cliques in a compatibility graph. Di作者: creditor 時(shí)間: 2025-3-26 14:37
Some fundamental issues in knowledge representationuter science involved, namely Artificial Intelligence, Date Bases, and Programming Languages. Accordingly, the different understanding of “knowledge representation” in these areas is investigated resulting in an explanation proposal for the heading term: knowledge reconstruction and its organisation作者: 藐視 時(shí)間: 2025-3-26 16:53
Konsistenzüberprüfungen bei sich ver?ndernden Wissensbasenr inkrementellen Ver?nderung des deklarativen Wissens durch einen Systementwickler verwendet werden kann. Die Methode wird in einer Anwendung auf Wissensbasen des Systems HAM-ANS beschrieben, die als assoziative Netzwerke in FUZZY realisiert sind. Die Konsistenzregeln sind als voneinander unabh?ngig作者: Atrium 時(shí)間: 2025-3-27 00:02 作者: arboretum 時(shí)間: 2025-3-27 03:30
Zur Repraesentation indefinit deskribierter Objekte in KI-Systemen..Aufbauend auf einem speziellen Referenz-Modell wird an Hand von Beispielen aus den Bereichen natuerlich-sprachliche Systeme und Plan-Generierung dafuer plaediert, indefinite Deskriptionen (analog zu Vagheitsphaenomenen) durch spezielle unterdeterminierte Stellvertreter zu repraesentieren. Hierdurc作者: 希望 時(shí)間: 2025-3-27 05:44 作者: 預(yù)兆好 時(shí)間: 2025-3-27 09:36
Proofs by Induction in “Fairly” Specified Equational Theoriesnd requires simpler, less constraining hypotheses. As a matter of fact, a specification of an equational theory would be said “fair” if it can be structured into smaller, one-sorted presentations, each of them partitioned in two : the first part expresses the relations between the data type generato作者: 涂掉 時(shí)間: 2025-3-27 14:08
Inductive Inference in Finite Algebraic Structuresial list of their values, the task of the algorithm is to hypothesize a “reasonable model” and to infer from it the “missing” function values. The model is constructed stepwise in evolutionary fashion..A new method is developed in which the consistency of the evolving model is guaranteed at all time作者: Facilities 時(shí)間: 2025-3-27 18:14 作者: FELON 時(shí)間: 2025-3-27 22:25 作者: alleviate 時(shí)間: 2025-3-28 03:05
ATN — Steuerung Durch Kasusrahmensammen mit umfangreichen Grammatiken neue Analyseverfahren erprobt (vgl. GROSZ et al. 1982). Andererseits wird, insbesondere in anwendungsorientierten Systemen, von einer einheitlichen Verarbeitungsstrategie für alle Eingabes?tze abgegangen; statt dessen werden mehrere spezielle Mechanismen eingeset作者: 尾巴 時(shí)間: 2025-3-28 09:00
Natural Language Access to Prolog Database Systemstem which is entirely described in logic and implemented in PROLOG. Our system consists of the knowledge base, of a natural language access module and of an inference component for the deduction of answers to questions.作者: 連鎖,連串 時(shí)間: 2025-3-28 11:31 作者: 破譯 時(shí)間: 2025-3-28 16:47 作者: 地牢 時(shí)間: 2025-3-28 20:46 作者: Myelin 時(shí)間: 2025-3-28 23:04 作者: carbohydrate 時(shí)間: 2025-3-29 04:54 作者: phlegm 時(shí)間: 2025-3-29 07:33
GWAI-82978-3-642-68826-3Series ISSN 0343-3005 作者: cylinder 時(shí)間: 2025-3-29 12:25 作者: Jejune 時(shí)間: 2025-3-29 16:31
Meaning in Life: Confronted by Suffering,This article surveys what is presently known about first order unification theory.作者: insert 時(shí)間: 2025-3-29 20:25
https://doi.org/10.1007/978-981-15-8399-5Der vorliegende .-Beweiser wurde aus dem .-Konzept entwickelt {.}.作者: conquer 時(shí)間: 2025-3-30 02:05 作者: Hiatus 時(shí)間: 2025-3-30 07:50
Making Israel Education Happen,Cotextual ellipses are characterized as being reconstructable in the context consisting of a previous utterance. In this paper, some constraints imposed upon an ellipsis resolution component for cotextual ellipsis are explored and illustrated by a description of the approach employed in the natural language dialogue system SWYSS.作者: absorbed 時(shí)間: 2025-3-30 11:06
Universal UnificationThis article surveys what is presently known about first order unification theory.作者: 無(wú)情 時(shí)間: 2025-3-30 15:08 作者: airborne 時(shí)間: 2025-3-30 20:24 作者: 畸形 時(shí)間: 2025-3-30 21:38 作者: 松軟 時(shí)間: 2025-3-31 03:42 作者: labyrinth 時(shí)間: 2025-3-31 07:43 作者: adipose-tissue 時(shí)間: 2025-3-31 09:28
Evaluation of Economic Policies,Different knowledge sources like knowledge about trajectories, special places in the domain, standard properties and situations and knowledge associating pragmatic situations with observations of motion, are shown to determine the applicability of verbs. The selection of a verb out of several applic作者: 傳授知識(shí) 時(shí)間: 2025-3-31 15:38 作者: cardiopulmonary 時(shí)間: 2025-3-31 18:06
A Petrographic Atlas of Ophioliteuter science involved, namely Artificial Intelligence, Date Bases, and Programming Languages. Accordingly, the different understanding of “knowledge representation” in these areas is investigated resulting in an explanation proposal for the heading term: knowledge reconstruction and its organisation作者: 發(fā)芽 時(shí)間: 2025-3-31 23:49
Towards a Teleonomic Philosophy of Biologyr inkrementellen Ver?nderung des deklarativen Wissens durch einen Systementwickler verwendet werden kann. Die Methode wird in einer Anwendung auf Wissensbasen des Systems HAM-ANS beschrieben, die als assoziative Netzwerke in FUZZY realisiert sind. Die Konsistenzregeln sind als voneinander unabh?ngig
