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

13th international Conference on Pattern Recognition, iCPR 1996

作者： Erenshteyn, Roman Laskov, Pavel Foulds, Richard Messing, Lynn Stern, Garland Center for Applied Science and Engineering in Rehabilitation Alfred I. DuPont Institute University of Delaware P.O. Box 269 Wilmington DE 19899 United States Delaware State University Department of Mathematics and Computer Science United States

ISBN: (纸本)081867282X

We explore recognition implications of understanding gesture communication, having chosen American sign language as an example of a gesture language. An instrumented glove and specially developed software have been used for data collection and labeling. We address the problem of recognizing dynamic signing, i.e. signing performed at natural speed. Two neural network architectures have been used for recognition of different types of finger-spelled sentences. Experimental results are presented suggesting that two features of signing affect recognition accuracy: signing frequency which to a large extent can be accounted for by training a network on the samples of the respective frequency;and coarticulation effect which a network fails to identify. As a possible solution to coarticulation problem two post-processing algorithms for temporal segmentation are proposed and experimentally evaluated. © 1996 iEEE.

关键词： Network architecture

来源：评论

学校读者我要写书评

暂无评论

The intelligent Parser Generator: An intelligent Language Aid for People with Cognitive impairments

The Intelligent Parser Generator: An Intelligent Language Ai...

引用

1996 AAAi Fall Symposium

作者： McCoy, Kathleen F. Demasco, Patrick Gray, John Pennington, Christopher A. Cedilnik, Marjeta Badman, Arlene Luberoff Kushler, Clifford Applied Science and Engineering Laboratories Computer and Infoimation Sciences Department University of Delaware / A.I.duPont Institute NewarkDE19716 United States Prentke Romich Company 1022 Heyl Road WoosterOH44691 United States

in this paper we describe an ongoing collaborative project that seeks to develop an intelligent language aid for people who use augmentative communication devices and have expressive language difficulties due to cognitive impairments. The integration of natural language processing technology will provide expanded grammatical output from telegraphic input in a practical communication system. © 1996 Ai Access Foundation. All rights reserved.

关键词： Natural language processing systems

来源：评论

学校读者我要写书评

暂无评论

A Writing Tool for Users of American Sign Language

A Writing Tool for Users of American Sign Language

引用

1996 AAAi Fall Symposium

作者： McCoy, Kathleen F. Pennington, Christopher A. Suri, Linda Z. Applied Science and Engineering Laboratories Computer and Infonnation Sciences Department University of Delaware / A.I.duPont Institute NewarkDE19716 United States Central Institute for Deaf 818 S. Euclid Avenue St. LouisMO63110 United States

in this paper we briefly describe a project whose long term goal is the development of a "writing tutor" for deaf people who use American Sign Language (ASL). We envision a system that will take an essay written by a user, analyze that essay for errors, and then engage the user in a tutorial dialogue. We describe the overall design of the project, and then focus on one aspect which we feel is crucial for effectively tailoring corrective responses to the user: a model of the process of second language acquisition. We describe why such a model is crucial for effective tutoring, and briefly describe our model of the process. © 1996 Ai Access Foundation. All rights reserved.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Recognition approach to gesture language understanding

Recognition approach to gesture language understanding

引用

international Conference on Pattern Recognition

作者： R. Erenshteyn P. Laskov R. Foulds L. Messing G. Stern Department of Mathematics and Computer Science Delaware State University USA Center for Applied Science & Engineering in Rehabilitation Alfred I. duPont Institute University of Delaware Wilmington DE USA

We explore recognition implications of understanding gesture communication, having chosen American sign language as an example of a gesture language. An instrumented glove and specially developed software have been used for data collection and labeling. We address the problem of recognizing dynamic signing, i.e. signing performed at natural speed. Two neural network architectures have been used for recognition of different types of finger-spelled sentences. Experimental results are presented suggesting that two features of signing affect recognition accuracy: signing frequency which to a large extent can be accounted for by training a network on the samples of the respective frequency; and coarticulation effect which a network fails to identify. As a possible solution to coarticulation problem two post-processing algorithms for temporal segmentation are proposed and experimentally evaluated.

关键词： Neural networks Labeling Speech Handicapped aids instruments Frequency Natural languages Deafness Workstations Encoding

来源：评论

学校读者我要写书评

暂无评论

Learning augmented recursive estimation for uncertain nonlinear dynamical systems

Learning augmented recursive estimation for uncertain nonlin...

引用

iEEE international Symposium on intelligent Control (iSiC)

作者： S.C. Draper R.S. Mangoubi W.L. Baker Department of Electrical Engineering and Computer Science M.I.T. Cambridge MA USA Control and Dynamical Systems Division C. S. Draper Laboratories Inc. Cambridge MA USA Division of Engineering and Applied Sciences Harvard University Cambridge MA USA

This paper describes a learning augmented recursive estimation approach for nonlinear dynamical systems having unmodeled nonlinearities. Utilizing a passive spatially-localized learning system, an approximation of the unknown nonlinearity is synthesized online, based on state and parameter estimates from a nonlinear recursive estimator (an adaptive form of the extended Kalman filter). The learned model of the nonlinearity is used, in turn, to improve the performance of the recursive estimator. We demonstrate the approach on a second-order, mass-spring-damper system, where the spring stiffness is a nonlinear function of position. Simulation results indicate that, relative to more traditional adaptive estimation schemes, markedly improved estimation performance can be achieved.

关键词： Recursive estimation Nonlinear dynamical systems State estimation Learning systems Function approximation Filters Parameter estimation Springs Adaptive estimation Uncertainty

来源：评论

学校读者我要写书评

暂无评论

Problem resolution during life cycle maintenance: A case study

引用

NAVAL ENGiNEERS JOURNAL 1996年第3期108卷 171-177页

作者： Kerchner, RJ Bailey, J McCarthy, M Seegal, RH Warpinski, J Wilson, J Robert Kerchner:is currently working as a senior test engineer on the Surface Ship Torpedo Defense System and the AN/SQQ-89 ASW Combat System for Signal Corporation. Previously he was working as a system test engineer on the AN/SQQ-89 and AN/BSY-2 Combat Systems for GE Aerospace based in Syracuse N. Y. He received his B.S. degree in Physics from Westminster College. John Bailey:is currently working as a software engineer for the Multi-Sensor Torpedo Recognition and Alertment Processor and the AN/SQS-53C subsystem for Westinghouse Electric Corp. Previously he was working as an electrical engineer on the Longbow and APG-66 Mid Life Update programs. He received his B.S. degree in Electrical Engineering degree from Virginia Tech in 1987. He is currently working on his M.S. degree in Computer Science at Johns Hopkins University. Mike McCarthy:is currently working as a system test engineer for the passive subsystem COTS replacement for the AN/SQS-53C. Previously he was working as a system test engineer developing integration and functional tests for the MK116 Mod 7 and AN/SQS-53C subsystems for GE Aerospace based in Syracuse N. Y. He received his B.S. degree in Electrical & Computer Engineering from Clarkson University. Bob Seegal:is currently working as a systems engineer for the AN/SQQ-89 Combat System for Westinghouse Electric Corp. He has spent the past thirty years as a systems engineer working on various active and passive sonars which include the BQS-6 SQS-56 SQQ-32 and AN/SQS-53C systems. He received his B.S. degree in Applied Math from Brown University and an M.A. degree in Physics from Columbia University. Jeanne Warpinski:is currently working as a lead software engineer for the AN/SQQ-89 Combat System at the Naval Undersea Warfare Center at New London CT. She has spent the last ten years as a software engineer and configuration management specialist for the AN/SQR-19 AN/SQQ-28 and AN/SQS-53C subsystems. She received her B.S. degree in Computer Science from the University of Wisconsin. Jerry Wilson:is c

This paper is a case study of how problem resolution can operate in the life cycle maintenance stage of a large tactical sonar system. Here, the system design agent is not the original designer, so the principles of operation, hardware and software architecture, and test tools need to be learned. To deal with this challenge, the system design agent evolved a team approach that integrates the talents of a program manager, a system engineer, a test engineer, and a software engineer to analyze fleet problems. This team has proven effective at localizing problems for repair. Lessons are drawn to further improve maintenance efficiency.

关键词： Electronic ship equipment

来源：评论

学校读者我要写书评

暂无评论

Steady‐state security evaluation of electrical power systems by means of artificial neural network

引用

European Transactions on Electrical Power 1995年第2期5卷 91-97页

作者： Chiodo, E. Menniti, D. Testa, A. Picardi, C. Elio Chiodo (1959) received the degree in Electronics Engineering in 1985 and the Ph.D. degree in Computational Statistics both from the University of Naplefltaly. He is a Researcher at the Department of Electrical Engineering of the University of Naples and a member of the Italian Statistical Society. His areas of interest include probabilistic methods applied to electric power systems analysis. (University of Naples Fedrrico 11. Electrical Engineering Dept.via Claudio 21 1-80125 Naplefltaly T +3981/7683226 Fax+3981/2396897) Daniele Menniti (1958) received the degree in Electrical Engineering from the University of Calabria. Cosenzataly and the Ph.D. degree in Electrical Engineering from the University of NapleslItaly in 1984 and 1989 respectively. He is a researcher at the Electronic. Computer and Systems Science Department of the University of Calabria. Italy. Hiscurrent research interests concern electric power system analysis real-time control and automation. (University of Calabria Electronic Computer and Systems Science Dep. Arcavacataji Rende (CS). 1-87036 CosenzdItaly T +39984/494707. Fax +39984/4947 13) Alfredo Testa (1950) received the degree in Electrical Engineering from the University of Naples/Italy in 1975. He is an Associate Professor in Electrical Power Systems at the Department of Electrical Engineering of the University of Naples. He is engaged in researches on electrical power systems reliability and harmonic analysis. (University of Naples Federico 11. Electrical Engineering Dep. via Claudio '2 1 1-80 I25 NapleslItaly T + 39 8 I/7 68 3'2 11. Fax+3981/2396897) Ciro Picardi (1949) received the degree in Electronics Engineering from the University of Naples/Italy in 1975. He is currently Associate Professor in Process Control at the Department of Electronic Computer and System Science of the University of Calabria. Italy. His current research interests are in the area of electrical drives robotics neural networks and fuzzy control. (University of Calabria Electronic. Compu

An artificial‐neural‐network (ANN) application for steady‐state security evaluation of electrical power systems is presented. Such application is based upon a combined use of a multilayer back‐propagation neural network and of an opportune electrical system model, previously proposed by some of the authors. in the paper, the definition of steady‐state security and the problems arising from its on‐line evaluation are briefly recalled. Then, the ANN utilized is described with particular reference to the solutions adopted by the authors. Afterwards, some remarks on the system model utilized are reported. Finally, numerical applications on the AEP‐14 bus system are presented and the results obtained with different ANN configurations are analyzed. Copyright © 1995 John Wiley & Sons, Ltd.

关键词：

来源：评论

学校读者我要写书评

暂无评论

STATiSTiCAL PROCESS-CONTROL FOR software iN THE MAiNTENANCE PHASE

引用

NAVAL ENGiNEERS JOURNAL 1993年第3期105卷 192-200页

作者： LUKE, SR JACOBS, DA REED, BM Stephen R. Luke:is a registered professional engineer in the Commonwealth of Virginia. He received his B.S. in mechanical engineering from Virginia Polytechnic Institute in 1983 and is presently pursuing a master's degree in engineering management at Old Dominion University. Mr. Luke is experienced as a test engineer at the Norfolk Naval Shipyard (1978–1989) and as a reliability/quality engineer at the Naval Undersea Warfare Center Detachment Norfolk (1989-Present). Currently he is the group leader of the RMA/QA group for the AN/SQQ-89(V) Antisubmarine Warfare System at Naval Undersea Warfare Center Detachment Norfolk. Mr. Luke is a member of ASNE IEEE (Reliability Society) and ASQC and is an ASQC certified quality engineer and reliability engineer. Derya Alasya Jacobs:is an assistant professor in the Engineering Management Department at Old Dominion University (ODU). She has a B.S. in computer science and an M.S. and Ph.D in engineering management from the University of Missouri-Rolla. Prior to joining ODU Dr. Jacobs worked as a research engineer at the Center for Technology Transfer and Economic Development at the University of Missouri-Rolla. During the same period she served as a consultant in software development for Missouri Enterprise Rolla Missouri. Dr. Jacobs' research interests are in the areas of applied artificial intelligence decision support systems operations research and computer integrated manufacturing. Billie M. Reed:is an assistant professor in the Engineering Management Department at Old Dominion University. He received a B.S. degree in mechanical engineering from Auburn University in 1971. After completing undergraduate studies Dr. Reed was commissioned as an officer in the U.S. Navy where he served in the nuclear submarine force until 1982. Following his military career Dr. Reed worked for nine years as a systems engineer and human-machine interface designer of complex interactive computer based systems for use in aircraft space and ship systems. He received his M.S. and Ph

As technology advances and our dependency on software increases, the requirement to develop the correct means to improve quality in both the deveiopment phase and the maintenance phase of software life cycle support becomes increasingly significant. The focus of this paper is on the dilemma facing software engineering in maintaining quality within the constraints of the maintenance phase. The paper further proposes that the software maintenance process can also be analvzed and improved using statistical process control (SPC) techniques. The methods discussed in this paper have been proposed for use in the software Maintenance project at NUWC Detachment Norfolk. Upon successful testing at NUWC Detachment Norfolk, they will be forwarded to the AN/SQQ-89(V) (interagencv) software Quality Evaluation Committee for use by other agencies which are developing and maintaining AN/SQQ-89(V) software.

关键词：

来源：评论

学校读者我要写书评

暂无评论

REDUCTiONS TO SETS OF LOW iNFORMATiON-CONTENT 19th

引用

19TH iNTERNATiONAL COLLOQUiUM ON AUTOMATA, LANGUAGES, AND PROGRAMMiNG ( iCALP 92 )

作者： ARViND, V HAN, Y HEMACHANDRA, L KOBLER, J LOZANO, A MUNDHENK, M OGiWARA, M SCHONiNG, U SiLVESTRi, R THiERAUF, T Department of Computer Science and Engineering Indian Institute of Technology New Delhi 110016 Delhi India Department of Computer Science University of Rochester Rochester 14627 NY United States Abteilung für Theoretische Informatik Universität Uhn Oberer Eselsberg Uhn D-W-7900 Germany Department of Software (L.S.I.) Universitat Politècnica de Catalunya Pau Gargallo 5 Barcelona E-08028 Spain Department of Computer Science and Information Mathematics University of Electro-Commmfications 1-5-1 Chofngaoka Chofu-si Tokyo 182 Japan Dipartimento Di Matematica Unlversits degli Studi di Roma La Sapienza Rome 00198 Italy

ISBN: (纸本)3540557199

in this paper we study the complexity of sets that reduce to sparse sets (and tally sets), and the complexity of the simplest sparse sets to which such sets reduce. We show even with respect to very flexible reductions that NP cannot have sparse hard sets unless P = NP;an immediate consequence of our results is: if any NP-complete set conjunctively reduces to a sparse set, then P = NP. We also show that any set A that reduces to some sparse set (via various types of reductions) in fact reduces by the same type of reduction to a sparse set that is simple relative to A. We give a complete characterization of the sets of low instance complexity in terms of reductions to tally sets;it follows that if P ≠ NP, then no set of low instance complexity can be complete for NP with respect to disjunctive reductions or conjunctive reductions. © Springer-Verlag Berlin Heidelberg 1992.

关键词： Artificial intelligence

来源：评论

学校读者我要写书评

暂无评论

LPF and MPLω — A logical comparison of VDM SL and COLD-K 4th

引用

4th international Symposium of VDM on Formal software Development Methods, VDM 1991

作者： Middelburg, C.A. Renardel De Lavalette, G.R. Dept. Of Computer Science PTT Research Dr. Neher Laboratories P.O. Box 421 Leidschendam2260 AK Netherlands Software Engineering Research Centre P.O. Box 424 Utrecht3500 AK Netherlands Section Applied Logic University of Utrecht P.O. Box 80126 Utrecht3508 TC Netherlands

ISBN: (纸本)9783540548348

This paper compares the finitary three-valued logic LPF and the infinitary two-valued logic MPLω, the logics underlying VDM SL and COLD-K. These logics reflect different approaches to reasoning about partial functions and bringing recursive function definitions into proofs. The purpose of the comparison is to acquire insight into the relationship between these approaches. A natural translation from LPF to MPLω is given. it is shown that what can be proved remains the same after translation, in case strictness axioms are added to LPF or removed from MPLω. The translation from LPF to MPLω is extended to recursive function definitions and this translation is next used to justify some ways of bringing the definitions of partial functions into proofs using LPF. © Springer-Verlag Berlin Heidelberg 1991.

关键词： Recursive functions

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：