咨询与建议

限定检索结果

文献类型

  • 4 篇 期刊文献
  • 1 篇 会议

馆藏范围

  • 5 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 4 篇 工学
    • 2 篇 土木工程
    • 2 篇 船舶与海洋工程
    • 1 篇 计算机科学与技术...
    • 1 篇 软件工程
    • 1 篇 安全科学与工程
  • 2 篇 理学
    • 2 篇 海洋科学

主题

  • 1 篇 information retr...
  • 1 篇 statistics
  • 1 篇 machine vision
  • 1 篇 risk management
  • 1 篇 optical systems
  • 1 篇 measurement and ...
  • 1 篇 formal specifica...
  • 1 篇 sensors
  • 1 篇 military enginee...
  • 1 篇 integral imaging

机构

  • 1 篇 robert b. tilove...
  • 1 篇 faculty of compu...
  • 1 篇 knowledge-based ...
  • 1 篇 computational lo...
  • 1 篇 logic programmin...
  • 1 篇 knowledge based/...
  • 1 篇 computer and inf...

作者

  • 1 篇 mennicke stephan
  • 1 篇 king jf
  • 1 篇 kettmann pascal
  • 1 篇 chickering je
  • 1 篇 steven w. hollan...
  • 1 篇 pan aiqin
  • 1 篇 qualls wb
  • 1 篇 arndt dörthe
  • 1 篇 strass hannes
  • 1 篇 diller martin
  • 1 篇 robert b. tilove
  • 1 篇 gorczyca piotr
  • 1 篇 bryant barrett r...
  • 1 篇 barton de

语言

  • 5 篇 英文
检索条件"机构=Knowledge Based/Programming Systems"
5 条 记 录,以下是1-10 订阅
排序:
A Farewell to Harms: Risk Management for Medical Devices via the Riskman Ontology & Shapes
arXiv
收藏 引用
arXiv 2024年
作者: Gorczyca, Piotr Arndt, Dörthe Diller, Martin Kettmann, Pascal Mennicke, Stephan Strass, Hannes Computational Logic Group Institute of Artificial Intelligence Germany Logic Programming and Argumentation Group Institute of Artificial Intelligence Germany Knowledge-Based Systems Group Institute for Theoretical Computer Science Germany Faculty of Computer Science TU Dresden Germany
We introduce the Riskman ontology & shapes for representing and analysing information about risk management for medical devices. Risk management is concerned with taking necessary precautions so a medical device d... 详细信息
来源: 评论
Formal specification of software systems using Two-Level Grammar  15
Formal specification of software systems using Two-Level Gra...
收藏 引用
15th Annual International Computer Software and Applications Conference, CMPSAC 1991
作者: Bryant, Barrett R. Pan, Aiqin Computer and Information Sciences Dept. University of Alabama at Birmingham UAB Station Mail Stop 1170 BirminghamAL35294 United States Knowledge Based/Programming Systems IBM Santa Teresa Laboratory Department L78 555 Bailey Avenue San JoseCA95161 United States
Two-Level Grammar (TLG) is proposed for the formal specification and automatic generation of software systems. TLG specifications are unique in that they are a structured form of natural language which is executable. ... 详细信息
来源: 评论
ROLE OF SIMULATION IN RAPID PROTOTYPING FOR CONCEPT DEVELOPMENT
收藏 引用
NAVAL ENGINEERS JOURNAL 1991年 第3期103卷 204-211页
作者: KING, JF BARTON, DE J. Fred King:is the manager of the Advanced Technology Department for Unisys in Reston Virginia. He earned his Ph.D. in mathematics from the University of Houston in 1977. He has been principal investigator of research projects in knowledge engineering pattern recognition and heuristic problem-solving. Efforts include the development of a multi-temporal multispectral classifier for identifying graincrops using LANDSAT satellite imagery data for NASA. Also as a member of the research team for a NCI study with Baylor College of Medicine and NASA he helped develop techniques for detection of carcinoma using multispectral microphotometer scans of lung tissue. He established and became technical director of the AI Laboratory for Ford Aerospace where he developed expert scheduling modeling and knowledge acquisition systems for NASA. Since joining Unisys in 1985 he has led the development of object-oriented programming environments blackboard architectures data fusion techniques using neural networks and intelligent data base systems. Douglas E. Barton:is manager of Logistics Information Systems for Unisys in Reston Virginia. He earned his B.A. degree in computer science from the College of William and Mary in 1978 and did postgraduate work in London as a Drapers Company scholar. Since joining Unisys in 1981 his work has concentrated on program management and software engineering of large scale data base management systems and design and implementation of knowledge-based systems in planning and logistics. As chairman of the Logistics Data Subcommittee of the National Security Industrial Association (NSIA) he led an industry initiative which examined concepts in knowledge-based systems in military logistics. His responsibilities also include evaluation development and tailoring of software engineering standards and procedures for data base and knowledge-based systems. He is currently program manager of the Navigation Information Management System which provides support to the Fleet Ballistic Missile Progr
A valuable technique during concept development is rapid prototyping of software for key design components. This approach is particularly useful when the optimum design approach is not readily apparent or several know... 详细信息
来源: 评论
TECHNICAL DOCUMENTATION MANAGEMENT IN THE ERA OF THE PAPERLESS SHIP
收藏 引用
NAVAL ENGINEERS JOURNAL 1989年 第3期101卷 61-72页
作者: CHICKERING, JE QUALLS, WB John E. Chickering:is a systems analyst with American Management Systems Inc. in Arlington Virginia. Mr. Chickering received his BS degree in marine engineering from the U.S. Merchant Marine Academy in Kings Point New York in 1981 and his MBA degree in operations research and statistics from the University of Maryland in 1985. He is a licensed third assistant engineer of steam and motor vessels and a member of the Naval Reserve. Mr. Chickering's work includes the design and specification of several management information systems for the U.S. Navy including one that will automate the Navy's engineering drawing management system. Most recently Mr. Chickering has helped develop a workstation for the Navy's Paperless Ship Initiative. William B. Quails:is a management consultant with American Management Systems Inc. in Arlington Virginia. Mr. Quails received his BA degree in English from the Tulane University in New Orleans Louisiana in 1977 and his MPA degree in management science from the University of Georgia in 1982. Mr. Quails participated in the design and development of the U.S. Navy's Shipboard Non-tactical ADP Program II (SNAP II). Recently Mr. Quails has participated in the design and development of several knowledge-based computer systems using artificial intelligence programming technologies. Mr. Quails is a member of Pi Alpha Alpha an honorary public affairs and administration society.
The U.S. Navy relies heavily on advanced technology to carry out its missions. As a consequence, today's sailors are spending increasing amounts of time maintaining and repairing complex systems and equipment. In ... 详细信息
来源: 评论
Industrial machine vision: lessons and challenges
收藏 引用
Optics News 1987年 第2期13卷 12-17页
作者: Steven W. Holland Robert B. Tilove STEVEN W. HOLLAND is an assistant department head in the Computer Science Dept. of General Motors Research Laboratories (GMR). He is responsible for research projects involving computer vision robotics mobile robotics process planning knowledge systems natural language advanced programming environments parallel processing and statistics. ROBERT B. TILOVE is senior staff research scientist and project leader of the machine perception project at GMR. His research interests include geometric modeling model-based programming and control of intelligent automation systems.
No abstract available.
来源: 评论