检索结果-内蒙古大学图书馆

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

34 篇 会议

馆藏范围

34 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

10 篇 工学
- 10 篇 计算机科学与技术...
- 10 篇 软件工程
- 2 篇 控制科学与工程
- 1 篇 航空宇航科学与技...
3 篇 理学
- 3 篇 数学
- 1 篇 统计学（可授理学、...

主题

10 篇 robotics and aut...
9 篇 robot sensing sy...
8 篇 intelligent robo...
7 篇 humans
6 篇 computer science
6 篇 natural language...
6 篇 computer program...
5 篇 computer languag...
5 篇 human robot inte...
5 篇 service robots
4 篇 orbital robotics
4 篇 mobile robots
4 篇 robot control
3 篇 automation
3 篇 educational inst...
3 篇 laboratories
3 篇 robotic assembly
3 篇 robot programmin...
3 篇 speech recogniti...
3 篇 microcomputers

机构

2 篇 cybernetics rese...
2 篇 sony computer sc...
2 篇 univ of maryland...
1 篇 univ of central ...
1 篇 computer science...
1 篇 computer and aut...
1 篇 jpl pasadena ca
1 篇 coordinated scie...
1 篇 inst. of robotic...
1 篇 department of co...
1 篇 department of in...
1 篇 university of pi...
1 篇 univ of pittsbur...
1 篇 abb corporate re...
1 篇 institute for co...
1 篇 department of el...
1 篇 kitano symbiotic...
1 篇 departamento de ...
1 篇 laboratory for i...
1 篇 applied research...

作者

2 篇 h. kitano
2 篇 k. nakadai
2 篇 h.g. okuno
2 篇 p.a. ligomenides
1 篇 r. lam
1 篇 y. inagaki
1 篇 t. vamos
1 篇 k.r. dixon
1 篇 jeon gue park
1 篇 gooley markian m...
1 篇 j. rossmann
1 篇 c. moraga
1 篇 chu yaohan
1 篇 s. suzuki
1 篇 ligomenides pano...
1 篇 a. teixeira
1 篇 b.w. wah
1 篇 h. aisu
1 篇 s. yuta
1 篇 l.s. lopes

语言

34 篇 英文

检索条件"任意字段=IEEE Workshop on Languages for Automation: Symbiotic and Intelligent Robots"

共 34 条记录，以下是11-20 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

intelligent robotics: recognition and reasoning

Intelligent robotics: recognition and reasoning

引用

ieee workshop on languages for automation: symbiotic and intelligent robots

作者： P.A. Ligomenides Cybernetics Research Laboratory Electrical Engineering Department University of Maryland College Park MD USA

The functions of recognition and reasoning are examined for their fundamental importance to intelligent robotics. Pattern-based computation and inference operations are also analyzed, as they may lead to computation paradigms that have more efficient implementations than the discrete-symbol computation paradigm of serial digital computers.< >

关键词： intelligent robots Decision making Humans Cybernetics Laboratories Educational institutions Pattern analysis Context modeling Image recognition Actuators

来源：评论

学校读者我要写书评

暂无评论

Visual languages for human-machine interaction

Visual languages for human-machine interaction

引用

ieee workshop on languages for automation: symbiotic and intelligent robots

作者： S.-K. Chang University of Pittsburgh USA

Summary form only given, as follows. A survey of recent advance in visual languages and the formal theory of icons is presented, which provides a unified methodology for visual language design as well as icon-oriented... 详细信息

关键词： Man machine systems Computer languages Information processing Application software Computer vision User interfaces Software libraries Algorithms Software packages Image processing

来源：评论

学校读者我要写书评

暂无评论

Optimal collision-free path planning of two mobile robots

Optimal collision-free path planning of two mobile robots

引用

ieee workshop on languages for automation: symbiotic and intelligent robots

作者： Q. Xue P. Sheu School of Electrical Engineering Purdue University West Lafayette IN USA

An offline discrete-time collision-free path-planning scheme to allow two mobile robots to work in a common space is described. The problem is formalized as a minimax time collision-free path search problem. The degree of freedom of the problem is first reduced by applying the collision-free constraint. Subsequently, the solution is found by three levels of search. The golden-section search method is applied to reduce the amount of search required.< >

关键词： Path planning Mobile robots Orbital robotics Minimax techniques Search methods Search problems Flexible manufacturing systems Productivity Tree data structures Partitioning algorithms

来源：评论

学校读者我要写书评

暂无评论

Petri net design language

Petri net design language

引用

ieee workshop on languages for automation: symbiotic and intelligent robots

作者： Y. Chu Department of Computer Science University of Maryland College Park MD USA

A Petri net design language is presented that is based on the earlier Computer Design Language (CDL). The language should be able to handle large-scale nets with hundreds or thousands of places and transitions and to ... 详细信息

关键词： Petri nets Large-scale systems Control system synthesis Computer languages Computer science Educational institutions Computational modeling System analysis and design Mathematical analysis Debugging

来源：评论

学校读者我要写书评

暂无评论

VLP: A visual language for prototyping

VLP: A visual language for prototyping

引用

1988 ieee workshop on languages for automation, symbiotic and intelligent Robotics

作者： Fuggetta, Alfonso Ghezzi, Carlo Mandrioli, Dino Morzenti, Angelo Applied Research Group Milan Italy

Specifications of information-systems-type applications are often based on the use of entity-relationship (ER) and dataflow (DF) diagrams, which cover the conceptual modeling of data and functions, respectively. VLP, an executable visual language for formal specifications which fully integrates ER and DF diagrams in a semantically clear way, is introduced. Unlike existing commercial products (the so-called CASE tools), which can only support good-quality documentation, simple forms of consistency checking and bookkeeping, VLP supports executable specifications, which provide a prototype of the desired application. After reviewing the principles of VLP, the structure of the ECASET environment in which VLP is embedded is outlined. How the environment supports the stepwise derivation of specifications, from informal to formal, is shown, as well as how it supports specification-in-the-large.

关键词： COMPUTER PROGRAMMING languages

来源：评论

学校读者我要写书评

暂无评论

Limits of logic-computer epistemology

Limits of logic-computer epistemology

引用

ieee workshop on languages for automation: symbiotic and intelligent robots

作者： T. Vamos Computer And Automation Institute Hungarian Academy of Sciences (ATOMKI) Budapest Hungary

A discussion is presented on the issues of why the analysis of the limits in knowledge representation and world comprehension is so important in the electronic information age and how and why the ancient basic problems of philosophy are returning at a new level. The problems are divided into three related areas: uncertainty, logic, and languages, which all direct towards the complexity issue. The logic theme is discussed in more detail. Some approaches are indicated.< >

关键词： Humans automation Information analysis Knowledge representation Logic Communications technology History Power generation Large-scale systems Power system economics

来源：评论

学校读者我要写书评

暂无评论

Supervision system for conflict avoidance in multi-robot tasks

Supervision system for conflict avoidance in multi-robot tas...

引用

ieee workshop on languages for automation: symbiotic and intelligent robots

作者： A. Casals E. Montseny Departament de Enginyeria de Sistemes Automàtica i lnformàtica Industrial Universistat Politècnica de Catalunya

A system that supervises the time and space evolution of trajectories followed by all robots and other machines that share the same working area, called the supervision system, is described. The supervision system uses the information acquired by the suitable position sensors to analyze these trajectories. The incompatibility functions with respect to other machines have to be taken into account to perform this analysis. These incompatibilities are learned by the system during the training phase. In the operating phase, each trajectory is tracked by the supervision system and continuously compared with one or more functions previously memorized.< >

关键词： Robot sensing systems Robot kinematics Control systems Microcomputers Sensor systems Security Event detection Hardware Aerospace industry Service robots

来源：评论

学校读者我要写书评

暂无评论

Telerobot task planning and reasoning: integration of AI, geometric reasoning and robotic systems

Telerobot task planning and reasoning: integration of AI, ge...

引用

ieee workshop on languages for automation: symbiotic and intelligent robots

作者： R.S. Doshi R.S. Desai R. Lam J.E. White Jet Propulsion Laboratory/California Institute of Technology Pasadena CA USA

Summary form only given. The development of an autonomous, integrated artificial intelligence (AI)-based robot task planner for assembly and repair applications in space is described. Research is currently focused on AI systems, geometric-reasoning systems, trajectory-planning systems, grasp-planning systems, and real manipulators.< >

关键词： Artificial intelligence Orbital robotics Mobile robots Data structures Robotic assembly Matrices Linear matrix inequalities Search methods Propulsion Laboratories

来源：评论

学校读者我要写书评

暂无评论

The fds/sub k/-semantic language: Neural implementation

The fds/sub k/-semantic language: Neural implementation

引用

ieee workshop on languages for automation: symbiotic and intelligent robots

作者： P.A. Ligomenides Cybernetics Research Laboratory Electrical Engineering Department University of Maryland College Park MD USA

Sensor patterns in a one-dimensional (1-D) spatiotemporal measurement domain are discussed. The fds/sub k/-model of perceptual conformity assessment is examined. The interactive fds/sub k/-modeling procedures is reviews and fds/sub k/-based real-time recognition is examined. Algorithms are presented for implementation with a digital computer in sequential sampling situations, or with parallel processing and neural networks in 1-D retina data situations. The fds/sub k/-model of tolerance is also viewed as a semantic language.< >

关键词： Humans Pattern recognition Cybernetics Prototypes Q measurement Time measurement Character recognition Deconvolution Context modeling robots

来源：评论

学校读者我要写书评

暂无评论

The 'hand-eye' problem: robotics and education in computer science

The 'hand-eye' problem: robotics and education in computer s...

引用

ieee workshop on languages for automation: symbiotic and intelligent robots

作者： C. Moraga Department of Computer Science University of Dortmund Dortmund Germany

A four-term project carried out with students of computer science at the Univ. of Bremen, West Germany, as part of the degree requirements is described. The project is called ROMEO, which is a German acronym for 'robots and people: an occlusion'. The subject selected for the project is a version of the classic hand-eye problem of robotics: given a disassembled 3-D puzzle under the observation area of a small TV camera, the system to be implemented must identify the parts and determine their reference coordinates, as well as the degree of 2-D or 3-D rotations, and control a robot arm to assemble the puzzle. A term-by-term outline of ROMEO is given including both the material presented to the students, their organization into working groups, and results.< >

关键词： Educational robots Computer science education Computer science Robot kinematics Robotic assembly TV Robot vision systems Cameras Robot control Control systems

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共4页 << < 1 2 3 4 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：