GWAI-87 : 11th German Workshop on Artificial Intelligence, Geseke, September 28-October 2, 1987 : proceedings
著者
書誌事項
GWAI-87 : 11th German Workshop on Artificial Intelligence, Geseke, September 28-October 2, 1987 : proceedings
(Informatik-Fachberichte, 152)
Springer-Verlag, c1987
- : gw
- : us
大学図書館所蔵 全3件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
注記
Includes bibliographical references
内容説明・目次
内容説明
Es wurde gezeigt, dass das Bootstrap-Problem bei der geometrischen Szenenrekonstruktion eine wichtige Rolle spielt und dass das Problem der physikalischen Korrespondenz als eine spezielle Sichtweise des Rekonstruktionsproblems gesehen werden kann. Weiterhin wurde ein wissensbasier- ter Ansatz vorgestellt, um das Bootstrap-Problem zu umgehen. Literatur Bajcsy + Lieberman 76 : Texture Gradient as a Depth Cue, R. Bajcsy und L.1. Lieberman, Computer Graphics and Image Processing 5, 52-67 (1976). Bartsch u.a. 86 : Merkmalsdetektion in Farbbildern als Grundlage zur Korrespondenzanalyse in Stereo-Bildfolgen, Thomas Bartsch, Leonie S. Dreschler-Fischer und Carsten Schroder, DAGM-86, pp. 94-97. Binford 81 : Inferring Surfaces /rom Images, Thomas O. Binford, Artificial Intelligence 17, 205-244 (1981) siehe auch: Brady 81, pp. 75-116. Blostein + Ahuja 87 : Representation and Three-Dimensional Interpretation of Image Texture: An Integrated Approach, Dorothea Blostein und Narendra Ahuja, ICCV-87, pp. 444-449. Brady 81 : Computer Vision, J.M. Brady (Rrsg.), North Holland Publ. Comp. Amsterdam 1981, reprinted /rom Artificial Intelligence 17 (1981).
Clocksin 78 : Determining the Orientation of Surfaces /rom Optical Flow, W.F. Clocksin, Proc. AISB/GI-78 on Artificial Intelligence, Hamburg, July 18-20, 1978, pp. 73-102. Crowley 84a: A Computational Paradigm for Three Dimensional Scene Analysis, James 1. Crowley, Technical Report CMU-RI-TR-84-11 The Robotics Institute, Carnegie- Mel10n University, Pittburgh, PA (April 1984). Dreschler + Nagel 82b : Volumetrie Model and 3D-Trajectory of a Moving Car Derived /rom Monocular TV Frame Sequences of aStreet Scene, L. Dreschler und H.-H. Nagel, Computer Graphics and Image Processing 20, 199--228 (1982).
目次
Bildverstehen.- Das 'Bootstrap-Problem' bei der geometrischen Szenenrekonstruktion - eine Ubersicht.- Konfliktloesung auf statistischer Basis bei der Bildanalyse mit Produktionsregeln.- EPEX: Bildfolgendeutung auf Episodenebene.- On Modelling Events with an 'Analogical' Representation.- Naturlichsprachliche Systeme und die Verarbeitung gesprochener Sprache.- KI-Methoden in der Maschinellen UEbersetzung?.- Generierung aus f-Strukturen als strukturgesteuerte Ableitung.- FREGE - Ein objektorientierter FRont-End-Generator.- Concretion Inferences in Natural Language Understanding.- Modelling Heuristic Parsing Strategies.- Deeper Reasons for Shallow Processing.- An Organization of Lexical Knowledge for Generation.- A Knowledge-Based Framework for Effective Probabilistic Control Strategies in Signal Understanding.- Wissensreprasentation und KI-Programmierung.- Issues of Integration and Balancing in Hybrid Knowledge Representation Systems.- Der Aspekt der Zeitstruktur in zeitlogischen Formalisierungen der KI.- Higher-order Concepts in a Tractable Knowledge Representation.- Using Logic Programming for Fault Diagnosis in Digital Circuits.- Expertensysteme.- Specifying Meta-Level Architectures for Rule-Based Systems.- Guiding the Maintenance of a Model-Based Advisory System by Explanation-based Learning.- Deduktive Systeme.- An Efficient Interpreter for a Rule-Based Non-Monotonic Deduction System.- Belief Revision in Diagnosis.- Erweiterungen des Basic ATMS.- Oldy but Goody - Paramodulation Revisited.- Program Verification by Symbolic Execution and Induction.- Resolution on Formula Trees.- A Hyperresolution-based Proof Procedure and its Implementation in PROLOG.- Narrowing Techniques Applied to Idempotent Unification.- THEOPOGLES - A Theorem Prover Based on First-order Polynomials and a Special Knuth-Bendix Procedure.- Selbstreprasentierende Systeme.- Computational Reflection.- Kognitives Modellieren.- Cognitive Modelling and Education.- Spezielle Sektionen Kognition - Wissensstrukturen beim Aufgabenloesen.- Wissen und Koennen: Anmerkungen zur Wissensreprasentation beim Aufgabenloesen.- Reprasentationsformen beim menschlichen Problemloesen.- Mentale Bilder und Wegbedeutungen.- Generierung in naturlichsprachlichen Systemen.- Generation of Content vs. Generation of Form: A Review of Recent Work in the SEMSYN Project.- Ein erster Blick auf POPEL: Wie wird was gesagt?.- How to say WHAT - IT or SOMETHING.- Generierung naturlichsprachlicher AuBerungen zur simultanen Beschreibung von zeitveranderlichen Szenen.- Reprasentationssysteme fur Grammatik und Lexikon.- Endliche Automaten zur Verbflexion und ein spezielles deutsches Verblexikon.- Zur lexikalischen Wissensquelle des Generierungssystems SEMSYN.- Generierung mit GPSG.- Kunstliche Intelligenz und Datenbanksysteme - Systesarchitektur und konzeptuelle Modellierung.- Architectural Concepts for Large Knowledge Bases.- Interfacing PROLOG and External Data Management Systems: A Model.- Abbildung von Frames auf neuere Datenmodelle.
「Nielsen BookData」 より