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

International Conference on computer Vision (ICCV)

作者： E. Grosso D.H. Ballard Department of Computer Science University of Rochester Rochester NY USA Department of Communication Computer and Systems Science University of Genoa Italy

The authors consider orienting, that is, establishing and maintaining a spatial relation between a motorized pair of cameras (the eye-head system) and a static or a moving object tracked over time. Motivated by physiological evidence, they propose a simple set of vision-based strategies aimed to perform head, eye, and body movements in a complex environment. Fixation is shown to be an essential feature in visual servoing, and is used to decouple control on head rotational degrees of freedom, making possible a metric-less approach to the orientation problem. An implementation of these strategies, using a binocular camera system mounted on a PUMA 700 robotic system, demontrated the effectiveness of the approach.< >

关键词： Animation Books Cameras computer science Eyes Robot kinematics Robot vision systems Councils Humans Workstations

来源：评论

学校读者我要写书评

暂无评论

Secure Environment for Information systems in Medicine

Secure Environment for Information Systems in Medicine

引用

International Conference on Image Management and communication in Patient Care

作者： A. Patel Computer Networks & Distributed Systems Research Group Department of Computer Science University College Dublin Dublin Ireland

来源：评论

学校读者我要写书评

暂无评论

Specifying reactive systems with attributed finite state machines 7

Specifying reactive systems with attributed finite state mac...

引用

7th International Workshop on Software Specification and Design, IWSSD 1993

作者： Ding, Shiyuan Katayama, Takuya Department of Computer Science Tokyo Institute of Technology Japan School of Information Science Japan Advanced Inst. of Science and Technology Japan Nippon Steel Information and Communication Systems Co. Kimitus Chiba299-11 Japan

ISBN: (纸本)0818643609

In this paper an attributed finite state machine (AFSM) model for the behavior specification of reactive systems is introduced. The basic idea is to attach attributes to the states of state machines in order to express values of system data and to define attribute computation in a functional way. An specification in AFSM consists of a collection of state transition rules. Each of these rules specifies three aspects of a reactive system: (1) the dynamic behavior, (2) the data computation and (3) the time constraints of the reactive system. The dynamic behavior is specified by state transitions responding to external stimuli, and the data computation is performed according to functional attribute definitions. The time constraints are specified operationally in terms of the temporal relations that exist between the external stimuli and the system responses. Furthermore, the hierarchy of states based on superstates and the concurrency among independent system components, are introduced after Statecharts. These mechanisms provide an effective way to decompose and specify complex systems in a structured way. To show the effectiveness of the AFSM model an assembly system is specified with respect to the above mentioned aspects. © 1993 IEEE.

关键词： Specifications

来源：评论

学校读者我要写书评

暂无评论

Reversible Letter-to-Sound Sound-to-Letter Generation Based on Parsing Word Morphology 3

Reversible Letter-to-Sound Sound-to-Letter Generation Based ...

引用

3rd European Conference on Speech communication and Technology, EUROSPEECH 1993

作者： Hunnicutt, Sheri Meng, Helen Seneff, Stephanie Zue, Victor Spoken Language Systems Group Laboratory for Computer Science M.I.T. CambridgeMA02139 United States Department of Speech Communication and Music Acoustics Royal Institute of Technology Stockholm Sweden

This paper describes a reversible letter-to-sound/sound-to-letter system based on a strategy that combines data-driven techniques with a rule-based formalism. Our approach is to provide a hierarchical analysis of a word, including information such as stress pattern, morphology and syllabification, which incorporates probabilities that are trained from a parsed lexicon. Our training and testing corpora consisted of spellings and pronunciations for the high frequency portion of the Brown Corpus (10,000 words). We augmented the phonetic labels with markers indicating morphology and stress. We report here on two distinct grammars representing a historical perspective. Our early work with the first grammar inspired us to modify the grammar formalism, leading to greater constraint with fewer rules. We evaluated our performance on letter-to-sound generation in terms of whole word accuracy as well as phoneme accuracy. For the unseen test set, we achieved a word accuracy of 69.3% and a phone accuracy of 91.7% using a set of 49 distinct phonemes. Although we have no formal results on sound-to-letter generation, we believe that this formalism will be applicable for entering unknown words orally into a recognition system. © 1993 3rd European Conference on Speech communication and Technology, EUROSPEECH 1993. All rights reserved.

关键词： Morphology

来源：评论

学校读者我要写书评

暂无评论

Gradient driven self-organizing systems

Gradient driven self-organizing systems

引用

IEEE International Workshop on Intelligent Robots and systems (IROS)

作者： G. Sandini G. Lucarini M. Varoli Department of Communication Computer Systems Science Laboratory for Integrated Advanced Robotics (LIRA-Lab) University of Genova Genoa Italy

The aim of this paper is to discuss and present some experimental data on the use of optical, chemical and ultrasound sensors to control the motion of single and cooperating robots. The distinctive feature is that in both cases the motion of the robots is not driven by a localized target (e.g. a light, or a sound) but by a concentration gradient such as the one generated by a gas leak. Experiments using a simple optical sensor reading a variable density pattern of dark spots painted on the ground plane, are presented along with experiments performed using simple chemical sensors measuring the local gradient of a substance. Different strategies are discussed based on different configurations of the sensing devices and reflexive motor controls. The goal of the experiment is to analyze the performance of simple autonomous robots in reaching the point of highest concentration (i.e. the gas leak). This performance has been analyzed for single robots and for cooperating robots using a very simple communication channel.

关键词： Robot sensing systems Optical sensors Chemical sensors Performance analysis Ultrasonic imaging Acoustic sensors Motion control Optical control Performance evaluation Density measurement

来源：评论

学校读者我要写书评

暂无评论

Active/dynamic stereo: a general framework

Active/dynamic stereo: a general framework

引用

Conference on computer Vision and Pattern Recognition (CVPR)

作者： E. Grosso M. Tistarelli Department of Communication Computer and Systems Science (DIST) Integrated Laboratory for Advanced Robotics (LIRA-Lab) University of Genoa Genoa Italy

A general framework for dynamic stereo is proposed. It is shown that a binocular system, able to actively control the gaze of the cameras, can profitably exploit stereo and motion analysis to compute the relative orientation and time-to-impact with respect to the environment. The cooperative schema, in which motion and stereo vision are combined to take under control the temporal evolution of disparity, is particularly suitable for robot navigation or for tasks involving a robotic head mounted on a mobile platform. The framework takes into account tilt and pan motion of the cameras, and generic translation of the binocular system. An experiment performed on a stereo image sequence from a prototype robotic head is presented.< >

关键词： Robot vision systems Motion control Cameras Mobile robots Head Control systems Motion analysis Stereo vision Navigation Image sequences

来源：评论

学校读者我要写书评

暂无评论

A flow control strategy for ATM networks based on a unified performance parameter

A flow control strategy for ATM networks based on a unified ...

引用

Proceedings of GLOBECOM '93. IEEE Global Telecommunications Conference

作者： D.R. Vaman Xuedao Gu S. Kumar Xiaomei Qian T.M. Oser Information Networks and Media Systems Laboratory (INMSL) Department of Electrical Engg. and Computer Science Stevens Institute of Technology Hoboken NJ USA

This paper focuses on using source rate adaption (SRA) as a viable flow control scheme. We developed a unified performance parameter, P a function of instantaneous cell loss, buffer occupancy, utilization, and user requirements. The parameter is derived from optimal control theory and is considered useful in quantifying congestion. A SRA strategy for voice services was developed using this parameter. computer simulations were performed to evaluate the control strategy. It is shown that controlling input rate using SRA based on this parameter is helpful in significantly alleviating congestion and improving the performance.< >

关键词： Asynchronous transfer mode Quality of service Optimal control communication system traffic control Control systems Performance loss communication system control Statistics Switches Telecommunication traffic

来源：评论

学校读者我要写书评

暂无评论

Specifying reactive systems with attributed finite state machines 93

Specifying reactive systems with attributed finite state mac...

引用

International Workshop on Software Specification and Design

作者： Shiyuan Ding T. Katayama Department of Computer Science Tokyo Institute of Technology Kimitsu Japan Nippon Steel Information and Communication Systems Company Kimitsu Japan School of Information Science Japan Advanced Institute of Science and Technology Japan

ISBN: (纸本)9780818643606

An attributed finite state machine (AFSM) model for the behavioral specification of reactive systems is introduced. The basic idea is to attach attributes to the states of state machines in order to express values of system data and to define attribute computation in a functional way. A specification in an AFSM consists of a collection of state transition rules. Each of these rules specifies three aspects of a reactive system: (1) the dynamic behavior, (2) the data computation and (3) the time constraints of the reactive system. The dynamic behavior is specified by state transitions responding to external stimuli, and the data computation is performed according to functional attribute definitions. The time constraints are specified operationally in terms of the temporal relations that exist between the external stimuli and the system responses. Furthermore, the hierarchy of states based on superstates and the concurrency among independent system components, are introduced according to the method of Statecharts. These mechanisms provide an effective way to decompose and specify complex systems in a structured way. To show the effectiveness of the AFSM model, an assembly system is specified with respect to the abovementioned aspects.< >

关键词： Automata Time factors Concurrent computing computer science Information science Assembly systems Steel Broadcasting Power generation economics computer languages

来源：评论

学校读者我要写书评

暂无评论

The use of preemptive priority-based scheduling for space applications

The use of preemptive priority-based scheduling for space ap...

引用

Real-Time systems Symposium (RTSS)

作者： C.M. Bailey E. Fyfe T. Vardanega A.J. Wellings Communication Satellites Division British Aerospace Space Systems Limited Stevenage UK Real-time Systems Research Group Department of Computer Science University of York York UK ESTEC European Space Agency Noordwijk Zuid-Holland Netherlands

In January 1991, the European Space Agency commissioned a study into the practicality of using process-based scheduling techniques in an on-board application environment, with Ada as the implementation language. The s... 详细信息

关键词： Application software Real time systems Processor scheduling Design methodology Artificial satellites computer science Safety Space vehicles Control systems Space missions

来源：评论

学校读者我要写书评

暂无评论

An approach to the direct analysis of transient stability

引用

European Transactions on Electrical Power 1993年第3期3卷 241-248页

作者： Djukanovic, M.B. Sobajic, D.J. Pao, Y.‐H. Miodrag B. Djukanovic (1959) received his B.S. M.Sc. and Ph.D. degrees in Electrical Engineering from the University of Belgrade/Yugoslavia in 1982 1985 and 1992 respectively specializing in electric power systems. In 1984 he joined the Electrical Engineering Institute “Nikola Tesla” in Belgrade where he was working on the scientific studies in the field of power systems planning operation and control. In 1985 and 1990 he was appointed as a research scholar at the Royal Institute of Technology Stockholm and Case Western Reserve University Cleveland Ohio. His major in- terests are in the area of power system analysis steady-state and dynamic security and application of neural networks in electric power systems. (Electrical Engineering Institute “Nicola Tesla” ul. Koste Glavinica 8A YU-11000 Belgrad T +3811/2351-619 Fax + 3811/2351-823) Dejan J. Sobajic (1949) received the B.S.E.E. and the M.S.E.E. degrees from the University of Belgrade/Yugoslavia in 1972 and 1976 respectively and the Ph.D. degree from Case Western Reserve University Cleveland Ohio in 1988. At present he is with the Department of Electrical Engineering and Applied Physics Case Western Reserve University Cleveland. He is also the Engineering Manager of A1 WARE Inc. Cleveland. His current research interests include power system operation and control neuralnet systems and adaptive control. He is a member of the IEEE Task Force on Neural-Network Applications in Power Systems and of the IEEE Intelligent Controls Committee. He is the Chairman of the International Neural-Networks Society Special Interest Group on Power Engineering. (Case Western Reserve University Department of Electrial Engineering and Computer Sciences Glennan Building Ohio 44 106 USA T + 1216/421-2380 Fax +1216/368-8776) Yoh-Han Pao (1922) has been a Professor of Electrical Engineering and Computer Science at Case Westem Reserve University (CWRU) Cleveland Ohio since 1967. He has served as chairman of the University's Electrical Engineering Department

The Transient Energy Function (TEF) method has been intensely investigated over the last decade as a reliable and accurate tool for transient stability assessment of multimachine power systems. In this paper we propose the Potential Energy Boundary Surface (PEBS) based method for direct analysis of transient stability. The critical value of transient energy and the Critical Clearing Time (T_CCT) are evaluated without the need for successive calculation and memorization of the system kinetic and potential energy values along the sustained fault trajectory. The method is used for determination of output features in the training phase of the neural‐net based transient security assessment. The proposed approach is tested on the well‐known ten‐generator New England test system demonstrating the validity and accuracy of obtained results. Copyright © 1993 John Wiley & Sons, Ltd.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：