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

8th International Conference on Theory and Applications of Satisfiability Testing, SAT 2005

作者： Bubeck, Uwe Büning, Hans Kleine Zhao, Xishun International Graduate School Dynamic Intelligent Systems Universität Paderborn 33098 Paderborn Germany Department of Computer Science Universität Paderborn 33098 Paderborn Germany Institute of Logic and Cognition Zhongshan University 510275 Guangzhou China

In this paper, quantified Horn formulas with free variables (QHORN*) are investigated. The main result is that any quantified Horn formula Φ of length |Φ| with free variables, |∀| universal quantifiers and an arbitrary number of existential quantifiers can be transformed into an equivalent formula of length O(|∀| · |Φ|) which contains only existential quantifiers. Moreover, it is shown that quantified Horn formulas with free variables have equivalence models where every existential quantifier is associated with a monotone Boolean function. The results allow a simple representation of quantified Horn formulas as purely existentially quantified Horn formulas (∃HORN*). An application described in the paper is to solve QHORN*-SAT in O(|∀| · |Φ|) by using this transformation in combination with a linear-time satisfiability checker for propositional Horn formulas. © Springer-Verlag Berlin Heidelberg 2005.

关键词： Computational complexity

来源：评论

学校读者我要写书评

暂无评论

Development of high speed PCB design techniques on industrial control computer motherboards

引用

Zhongnan Daxue Xuebao (Ziran Kexue Ban)/Journal of Central South University (science and Technology) 2005年第SUPPL.期36卷 738-742页

作者： Yang, Meng-Fei Zhou, Xin-Fa Ma, Fei Liu, Xin Sun, Zeng-Qi Laboratory of Intelligent Technology and Systems Department of Computer Science and Technology Tsinghua University Beijing 100083 China Beijing Institute of Control Engineering Beijing 100080 China

A design technique of high speed digital signal PCB and investigates simulation, and verification methods based on IBIS models for CompactPCI bus single board computers was developed. The results on real application s... 详细信息

关键词： computer motherboards High speed PCB IBIS model

来源：评论

学校读者我要写书评

暂无评论

Gesture recognition by attention control method for intelligent humanoid robot

Gesture recognition by attention control method for intellig...

引用

9th International Conference on Knowledge-Based intelligent Information and Engineering systems, KES 2005

作者： Oh, Jae Yong Lee, Chil Woo You, Bum Jae Department of Computer Engineering Chonnam National University 300 Yongbong-dong Buk-gu Gwangju 500-757 Korea Republic of Intelligent Robotics Research Center Korea Institute of Science and Technology 39-1 Hawolgok-dong Seongbuk-gu Seoul 136-791 Korea Republic of

ISBN: (纸本)3540288945

this paper, we describe an algorithm which can automatically recognize human gesture for Human-Robot interaction by utilizing attention control method. In early works, many systems for recognizing human gestures work under many restricted conditions. To solve the problem, we propose a novel model called APM(Active Plane Model), which can represent 3D and 2D gesture information simultaneously. Also we present the state transition algorithm for selection of attention. In the algorithm, first we obtain the information about 2D and 3D shape by deforming the APM, and then the feature vectors are extracted from the deformed APM. The next step is constructing a gesture space by analyzing the statistical information of training images with PCA. And then, input images are compared to the model and individually symbolized to one of the pose model in the space. In the last step, the symbolized poses are recognized with HMM as one of model gestures. The experimental results show that the proposed algorithm is very efficient to construct intelligent interface system. © Springer-Verlag Berlin Heidelberg 2005.

关键词： Gesture recognition

来源：评论

学校读者我要写书评

暂无评论

A novel approach to proactive human-robot cooperation

A novel approach to proactive human-robot cooperation

引用

IEEE International Workshop on Robot and Human Communication (ROMAN)

作者： O.C. Schrempf U.D. Hanebeck A.J. Schmid H. Worn Intelligent Sensor-Actuator-Systems Laboratory Institute of Computer Science and Engineering Universität Karlsruhe Karlsruhe Germany Institute for Process Control and Robotics Universität Karlsruhe Karlsruhe Germany

This paper introduces the concept of proactive execution of robot tasks in the context of human-robot cooperation with uncertain knowledge of the human's intentions. We present a system architecture that defines the necessary modules of the robot and their interactions with each other. The two key modules are the intention recognition that determines the human user's intentions and the planner that executes the appropriate tasks based on those intentions. We show how planning conflicts due to the uncertainty of the intention information are resolved by proactive execution of the corresponding task that optimally reduces the system's uncertainly. Finally, we present an algorithm for selecting this task and suggest a benchmark scenario.

关键词： Robot sensing systems intelligent robots Uncertainty Application software Humanoid robots Human robot interaction Bayesian methods intelligent sensors Laboratories computer science

来源：评论

学校读者我要写书评

暂无评论

Adaptive nonlinear auto-associative modeling through manifold learning

引用

9th Pacific-Asia Conference on Advances in Knowledge Discovery and Data Mining, PAKDD 2005

作者： Zhang, Junping Li, Stan Z. Intelligent Information Processing Laboratory Department of Computer Science and Engineering Fudan University Shanghai 200433 China Key Laboratory of Complex Systems and Intelligence Science Chinese Academy of Sciences China National Laboratory of Pattern Recognition Center for Biometrics and Security Research Institute of Automation Beijing 100080 China

ISBN: (纸本)3540260765

We propose adaptive nonlinear auto-associative modeling (ANAM) based on Locally Linear Embedding algorithm (LLE) for learning intrinsic principal features of each concept separately and recognition thereby. Unlike traditional supervised manifold learning algorithm, the proposed ANAM algorithm has several advantages: 1) it implicitly embodies discriminant information because the suboptimal parameters of ANAM are determined based on error rate of the validation set. 2) it avoids the curse of dimensionality without loss accuracy because recognition is completed in the original space. Experiments on character and digit databases show that the advantages of the proposed ANAM algorithm. © Springer-Verlag Berlin Heidelberg 2005.

关键词： Learning systems

来源：评论

学校读者我要写书评

暂无评论

An experimentation on creating a mental state transition network

An experimentation on creating a mental state transition net...

引用

International Conference on Information and Automation (ICIA)

作者： Hua Xiang F. Ren S. Kuroiwa Peilin Jiang Department of Information Science and Intelligent Systems University of Tokushima Tokushima Japan Institute of Artificial Intelligence and Robotics Xi''an Jiaotong University Xi'an Shanxi China

Studies on the model of artificial psychology are the first step in the development of human-computer interaction. As affective computing remains unpredictable, creating a reasonable mental model becomes the primary task for building a hybrid system. A pragmatic mental model is also the fundament of some key topics such as recognition and synthesis of emotions. In this paper a mental state transition network is presented and a psychological experiment based on the model is carried out. In this work, we hypothesize that internal mental movements of a human depend on a mental state transition network that is made up of seven discrete emotional states. And we propose a new method to predict the emotional transitional probability distribution by using psychological questionnaires. The transition probability distribution of the model is calculated through a psychological experiment and the model provided a relatively high precision rate of 0.872 for the 50 random data examples used in an experimentation.

关键词： Humans Psychology Cognitive science Hidden Markov models Artificial intelligence intelligent robots Emotion recognition Probability distribution Computational modeling computer simulation

来源：评论

学校读者我要写书评

暂无评论

Recognizing interaction from a robot's perspective

Recognizing interaction from a robot's perspective

引用

IEEE International Workshop on Robot and Human Communication (ROMAN)

作者： T. Salter F. Michaud K. Dautenhahn D. Letourneau S. Caron LABORIUS-Research Laboratory on Mobile Robotics and Intelligent Systems Department of Electrical Engineering and Computer Engineering Université de Sherbrook Sherbrooke QUE Canada Adaptive Systems Research Group School of Computer Science University of Herfordshire Hatfield UK

For meaningful interaction between a robot and a human, an autonomous robot must recognize whether the experienced situation is created by people or by the environment. Using only proprioceptive data from a mobile robotic platform, we discover that it is possible to distinguish sensory data patterns involving interaction. These patterns are obtained whilst navigating varying environments, both human populated and unpopulated. The paper reports the initial set of trials using Roball, a spherical mobile robot. Also described is the experimental methodology currently followed to validate the hypothesis that child interaction can be perceived directly from navigation sensors onboard a robotic platform.

关键词： Robot sensing systems Mobile robots Human robot interaction Navigation intelligent robots Sensor phenomena and characterization Infrared sensors Educational institutions Plastics Mobile computing

来源：评论

学校读者我要写书评

暂无评论

A mechanism for human - robot interaction through informal voice commands

A mechanism for human - robot interaction through informal v...

引用

IEEE International Workshop on Robot and Human Communication (ROMAN)

作者： S. D'Mello L. McCauley J. Markham Institute for Intelligent Systems University of Memphis Memphis TN USA Department of Computer Science University of Memphis Memphis TN USA

Interaction between humans and robots must, necessarily, be in a manner that is natural to humans, such as informal speech. While verbal command and control systems are fairly common, the human must know the exact phrases to issue in order for their robotic partner to respond appropriately. These systems define a few grammar rules that are used to match against incoming utterances. Here, we present a method of using these same grammar rules to expand the capabilities of command and control engines to include semantically similar utterances. Preliminary results from an experimental simulation are presented along with a detailed methodology of a recently completed study aimed at collecting human speech for a more rigorous analysis.

关键词： Human robot interaction Command and control systems intelligent robots Speech analysis computer science Engines Speech recognition Context Face detection Text recognition

来源：评论

学校读者我要写书评

暂无评论

Managing a relational database with intelligent agents

Managing a relational database with intelligent agents

引用

International Conference on Information Technology: Coding and Computing (ITCC)

作者： I. Rudowsky O. Kulyba M. Kunin D. Ogarodnikov T. Raphan Institute of Neural & Intelligent Systems Department of Computer & Information Science Brooklyn College of CUNY USA Department of Neurology Mount Sinai School of Medicine USA

A prototype relational database system was developed that has indexing capability, which threads into data acquisition and analysis programs used by a wide range of researchers. To streamline the user interface and table design, free-formatted table entries were used as descriptors for experiments. This approach potentially could increase data entry errors, compromising system index and retrieval capabilities. A methodology of integrating intelligent agents with the relational database was developed to cleanse and improve the data quality for search and retrieval. An intelligent agent was designed using JACK/sup /spl trade// (Agent Oriented Software Group) and integrated with an Oracle-based relational database. The system was tested by triggering agent corrective measures and was found to improve the quality of the data entries. Wider testing protocols and metrics for assessing its performance are subjects for future studies. This methodology for designing intelligent-based database systems should be useful in developing robust large-scale database systems.

关键词： Relational databases intelligent agent Information retrieval Database systems Prototypes Indexing Yarn Data acquisition Data analysis User interfaces

来源：评论

学校读者我要写书评

暂无评论

A new endoscopic microcapsule robot using beetle inspired microfibrillar adhesives

A new endoscopic microcapsule robot using beetle inspired mi...

引用

Proceedings of the 2005 IEEE/ASME International Conference on Advanced intelligent Mechatronics, AIM 2005

作者： Cheung, Eugene Karagozler, Mustafa Emre Park, Sukho Kim, Byungkyu Sitti, Metin NanoRobotics Lab. Department of Mechanical Engineering Carnegie Mellon University Pittsburgh PA 15213 United States NanoRobotics Lab. Department of Electrical and Computer Engineering Carnegie Mellon University Pittsburgh PA 15213 United States Intelligent Microsystem Center Korea Institute of Science and Technology Seoul 136-791 Korea Republic of NanoRobotics Lab. Department of Mechanical Engineering Robotics Institute Carnegie Mellon University Pittsburgh PA 15213 United States

The diagnosis of gastrointestinal diseases within the small intestine has been greatly advanced with the introduction of the endoscopic microcapsule in recent years. In an effort to increase its reliability and expand its functionality, a mechanism for stopping and locomoting the capsule within the digestive tract is proposed in this paper. This mechanism, actuated by shape memory alloy wires, utilizes a synthetic microfibrillar adhesive similar to the attachment mechanisms employed by beetles. This fibrillar attachment mechanism is a combination of molecular adhesion caused by van der Waals forces and liquid adhesion caused by capillary forces. The molecular adhesion is enhanced by the presence of microfibers, and the liquid adhesion arises from a secretion from the beetle's footpad. A synthetic version of the beetle's footpad was fabricated from PDMS using a silicon mold. Another version was created from SU-8 using photolithography. Testing revealed decent adhesion with glass and prepared pig intestine in vitro both with a silicone oil to simulate the secretion and without it A prototype robot with simple polymer adhesive pads for stopping successfully attached and detached inside a flexible vinyl tube. An inchworm locomotion mechanism is proposed and is in the preliminary stages of fabrication and testing. ©2005 IEEE.

关键词： Robots

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：