標題: Titlebook: GWAI-81; German Workshop on A J?rg H. Siekmann Conference proceedings 1981 Springer-Verlag Berlin Heidelberg 1981 Künstliche Intelligenz.ar [打印本頁] 作者: GUST 時間: 2025-3-21 18:57
書目名稱GWAI-81影響因子(影響力)
書目名稱GWAI-81影響因子(影響力)學科排名
書目名稱GWAI-81網(wǎng)絡公開度
書目名稱GWAI-81網(wǎng)絡公開度學科排名
書目名稱GWAI-81被引頻次
書目名稱GWAI-81被引頻次學科排名
書目名稱GWAI-81年度引用
書目名稱GWAI-81年度引用學科排名
書目名稱GWAI-81讀者反饋
書目名稱GWAI-81讀者反饋學科排名
作者: GLARE 時間: 2025-3-21 21:55 作者: 野蠻 時間: 2025-3-22 00:44 作者: 諄諄教誨 時間: 2025-3-22 07:25 作者: 向下五度才偏 時間: 2025-3-22 12:49 作者: patella 時間: 2025-3-22 13:10 作者: patella 時間: 2025-3-22 19:01 作者: 鞠躬 時間: 2025-3-23 01:14
An Expert System for Implementing Abstract Sorting Algorithms on Parameterized Abstract Data Typesethods for codifying a rather broad extent of programming knowledge required to construct implementations of data types and algorithms..For data type specifications, the APE admits hidden operations, conditional axioms, and parameterized data types. The APE automatically implements algebraic specifi作者: reserve 時間: 2025-3-23 02:32
Context Directed Translational representation language KS. Some general problems with natural language translation, mainly word ambiguity, are discussed and the solutions for them within the PLIDIS translator are described. Suggestions for further improvements are made.作者: 我怕被刺穿 時間: 2025-3-23 05:44
GLP: A Linguistic Processor GLP is an extension of the General Syntactic Processor .3., which implements a multiprocessing scheme. To quote Kay, it uses two central data structures, an . of tasks to be carried out, and a .. The chart is a directed graph consisting of . and . which represents the utterance being analyzed or ge作者: 音樂戲劇 時間: 2025-3-23 20:29 作者: 全國性 時間: 2025-3-23 23:41
Elimination of Redundant Links in Extended Connection Graphs which contains a literal which is not connected to any other literal in the graph..This clause deletion rule can be transferred to links if we view a link as a potential clause: each link represents a potential factor, resolvent or paramodulant. Links which generate tautologies or pure clauses are 作者: 有組織 時間: 2025-3-24 04:57
Models and Structures in Image Processingspace, to the interpretation of a noisy signal (image or speech waveform). AI systems which solve vision and speech problems differ from purely symbolic problem solving systems since they must explicitly deal with errors, noise, and uncertainty in the input data.” [REDDY ROSENFELD 79]作者: 裂縫 時間: 2025-3-24 08:09 作者: CAB 時間: 2025-3-24 12:20
Natürlichsprachliche KI-Systeme: Entwicklungsstand und Forschungsperspektivering discipline for natural language interfaces is emerging. The paper surveys the state-of-the-art in natural language Al systems with special emphasis on the situation in Germany and discusses future directions for basic and applied research. Hot topics in current natural language processing research are identified and illustrated with examples.作者: Aprope 時間: 2025-3-24 15:36 作者: CHOIR 時間: 2025-3-24 21:42
STS-3: Realtime Flight Planning,space, to the interpretation of a noisy signal (image or speech waveform). AI systems which solve vision and speech problems differ from purely symbolic problem solving systems since they must explicitly deal with errors, noise, and uncertainty in the input data.” [REDDY ROSENFELD 79]作者: white-matter 時間: 2025-3-25 02:41
https://doi.org/10.1007/978-1-4419-5971-3oving cars in consecutive TV-frames. Our experience forced us to modify the relaxation approach of Barnard and Thompson 79+80 [1] in order to obtain acceptable results. These modifications are described and discussed.作者: 細微差別 時間: 2025-3-25 06:43 作者: 場所 時間: 2025-3-25 08:03
Ambigapathy Pandian,Shanthi Balraj Babooicomputer is not available yet, the CCP has been realized in a simplified CSSA-version which is executed on a sequential system simulating multicomputer structures. The simulation system permits performance measurements allowing to draw rough conclusions about favorable multicomputer architectures for doing concurrent chart parsing.作者: 貪心 時間: 2025-3-25 14:18
https://doi.org/10.1007/978-1-4471-1774-2ribed, how representations of natural language inputs and pictorial input are computed and tied together. At present, the system is focussed on the processing of natural language queries containing vague descriptors and imprecise quantifiers. The answers of SWYSS are in elaborate German as well as the questions.作者: 分解 時間: 2025-3-25 19:01 作者: 無底 時間: 2025-3-25 20:24
The Surgical Treatment of OSAS,cations of all commonly known data types in terms of clusters of INTERLISP-functions. The APE constructs executable implementations of a variety of sorting and searching algorithms..As an experimental prototype, the APE demonstrates that a . provides a useful tool for partially automating an important phase of software development.作者: BIAS 時間: 2025-3-26 02:11
SWYSS — A Natural Language question-answering System for Scene-Analysisribed, how representations of natural language inputs and pictorial input are computed and tied together. At present, the system is focussed on the processing of natural language queries containing vague descriptors and imprecise quantifiers. The answers of SWYSS are in elaborate German as well as the questions.作者: condone 時間: 2025-3-26 07:00
Natural Language Inquiries about Motion in an Automatically Analyzed Traffic Scenerom domain specific parameters, the context of the dialogue, the tense of the verbs and time adverbials. For checking the correspondence between a verbally specified motion and a trajectory, predicates are evaluated which can be deduced from the verb’s case-frame.作者: 丑惡 時間: 2025-3-26 11:44
An Expert System for Implementing Abstract Sorting Algorithms on Parameterized Abstract Data Typescations of all commonly known data types in terms of clusters of INTERLISP-functions. The APE constructs executable implementations of a variety of sorting and searching algorithms..As an experimental prototype, the APE demonstrates that a . provides a useful tool for partially automating an important phase of software development.作者: 放肆的你 時間: 2025-3-26 15:44 作者: 鐵塔等 時間: 2025-3-26 20:37 作者: Brain-Waves 時間: 2025-3-26 21:52 作者: Locale 時間: 2025-3-27 01:55
The 2010s: A Decade of Riot and Protest,The personal computer of the future will offer its user an .nformation .anipulation .ystem (.). An . will allow the user to do almost all of his work (design specifications, plans, programs, documentations, reports, memos, reference notes as well as communication with others) on-line (FISCHER and LAUBSCH 1980).作者: 偶然 時間: 2025-3-27 07:31
Characteristics of Casino Finance,This report presents a quick overview of the Markgraf Karl Refutation Procedure, an automated theorem prover (TP) currently under development at the University of Karlsruhe, and then concentrates in detail on those parts of the system, which presently determine the choice of the deduction steps to be performed by the system.作者: evasive 時間: 2025-3-27 12:13
Expert Systems: State of the Art and Future ProspectsKnowledge-based systems, and expert systems in particular, have recently. gained significant economic and scientific importance because of作者: adduction 時間: 2025-3-27 16:42
AI Languages and AI Machines: An OverviewAn overview of programming languages and machine architectures for artificial intelligence is given. Five key very-high-level features of AI languages are described in their relation to underlying high-level features. The realization of these language features by corresponding modules of AI machines is discussed.作者: onlooker 時間: 2025-3-27 19:29
A Parallel Connection Graph Proof ProcedureA parallel connection graph proof procedure is described which is going to be implemented in CSSA, a new language for asynchronous multiprocessor systems.作者: 幻影 時間: 2025-3-27 22:24
Integrated, Knowledge-based Information Manipulation SystemsThe personal computer of the future will offer its user an .nformation .anipulation .ystem (.). An . will allow the user to do almost all of his work (design specifications, plans, programs, documentations, reports, memos, reference notes as well as communication with others) on-line (FISCHER and LAUBSCH 1980).作者: 苦惱 時間: 2025-3-28 04:09
Selection Heuristics, Deletion Strategies and N-Level Terminator Configurations for the Connection GThis report presents a quick overview of the Markgraf Karl Refutation Procedure, an automated theorem prover (TP) currently under development at the University of Karlsruhe, and then concentrates in detail on those parts of the system, which presently determine the choice of the deduction steps to be performed by the system.作者: 直覺沒有 時間: 2025-3-28 09:28
978-3-540-10859-7Springer-Verlag Berlin Heidelberg 1981作者: SNEER 時間: 2025-3-28 11:36
GWAI-81978-3-662-02328-0Series ISSN 0343-3005 作者: 大罵 時間: 2025-3-28 16:09
0343-3005 Overview: 978-3-540-10859-7978-3-662-02328-0Series ISSN 0343-3005 作者: 朝圣者 時間: 2025-3-28 21:06
STS-3: Realtime Flight Planning, speech are two problems which require the application of diverse sources of knowledge, including both symbolic knowledge and knowledge of the signal space, to the interpretation of a noisy signal (image or speech waveform). AI systems which solve vision and speech problems differ from purely symbol作者: 音樂會 時間: 2025-3-29 01:30 作者: countenance 時間: 2025-3-29 05:57
A Path to Combinatorics for Undergraduatesecorative, astonishing, and amusing. Today, there is a strong interest in applying robots to practical tasks, particularly in manufacturing..Modern robotics has its roots in teleoperators, NC machine tools, and Artificial Intelligence. Main developments that have led to present day industrial robots作者: Neolithic 時間: 2025-3-29 07:25 作者: 天氣 時間: 2025-3-29 14:18 作者: HUSH 時間: 2025-3-29 17:32 作者: 外形 時間: 2025-3-29 22:28 作者: VAN 時間: 2025-3-30 02:39
The Surgical Treatment of OSAS,ethods for codifying a rather broad extent of programming knowledge required to construct implementations of data types and algorithms..For data type specifications, the APE admits hidden operations, conditional axioms, and parameterized data types. The APE automatically implements algebraic specifi作者: 卵石 時間: 2025-3-30 07:50 作者: Functional 時間: 2025-3-30 09:34
,Conclusion to ‘A Pedagogy of Cinema’, GLP is an extension of the General Syntactic Processor .3., which implements a multiprocessing scheme. To quote Kay, it uses two central data structures, an . of tasks to be carried out, and a .. The chart is a directed graph consisting of . and . which represents the utterance being analyzed or ge作者: 開始沒有 時間: 2025-3-30 14:14 作者: Abnormal 時間: 2025-3-30 18:10 作者: judicial 時間: 2025-3-30 21:25 作者: 故意 時間: 2025-3-31 02:03 作者: 流出 時間: 2025-3-31 07:28
https://doi.org/10.1007/978-3-662-02328-0Künstliche Intelligenz; artificial intelligence; cognition; expert system; heuristics; image processing; i作者: overbearing 時間: 2025-3-31 12:58 作者: Type-1-Diabetes 時間: 2025-3-31 16:01 作者: pulmonary-edema 時間: 2025-3-31 17:48 作者: 小臼 時間: 2025-3-31 22:28
Context Directed Translational representation language KS. Some general problems with natural language translation, mainly word ambiguity, are discussed and the solutions for them within the PLIDIS translator are described. Suggestions for further improvements are made.作者: TEN 時間: 2025-4-1 02:24 作者: 革新 時間: 2025-4-1 09:38 作者: 貿易 時間: 2025-4-1 11:39
Robotics Research: From Toy Worlds to Industrial Applicationsround the world, in particular in USA and Japan. The paper summarizes the efforts that are being made in manipulator design, development of sensory equipment, and design and implementation of robot control languages. It is noted that, despite all the progress that has been achieved, much remains to 作者: 聚集 時間: 2025-4-1 17:08
Aspekte der rechnergestützten Generierung von Inferenzregeln durch Regelschemataencies) are described. The problem is discussed from different viewpoints: the system designer’s developing an AI-system and the cognitive scientist’s interested in the basic cognitive concepts of humans.作者: lymphoma 時間: 2025-4-1 22:32 作者: Density 時間: 2025-4-2 00:48 作者: GLIB 時間: 2025-4-2 04:57 作者: insipid 時間: 2025-4-2 11:01
