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

IEEE International Conference on Cognitive informatics

作者： Omar A. Zatarain Yingxu Wang Laboratory for Computational Intelligence Denotational Mathematics and Software Science International Institute of Cognitive Informatics and Cognitive Computing (ICIC) Schulich School of Engineering and Hotchkiss Brain Institute University of Calgary Calgary Alberta Canada Information Systems Lab Stanford University Stanford CA USA

ISBN: (纸本)9781509038473

Concept elicitation is a fundamental methodology for knowledge extraction and representation in cognitive robot learning. Traditional machine learning technologies deal with object identification, cluster classification, functional regression, and behavior acquisition. This paper presents a supervised machine knowledge learning methodology for concept elicitation from sample dictionaries in natural languages. Formal concepts are autonomously generated based on collective intention of attributes and collective extension of objects elicited from informal definitions in dictionaries. A system of formal concept generation for a cognitive robot is implemented by the Algorithm of Machine Concept Elicitation (AMCE) in MATLAB. Experiments on machine learning for creating a set of twenty formal concepts reveal that the cognitive robot is able to learn synergized concepts in human knowledge in order to build its own cognitive knowledge base. The results of machine-generated concepts demonstrate that the AMCE algorithm can over perform human knowledge expressions in dictionaries in terms of relevance, accuracy, quantitativeness, and cohesiveness.

关键词： Algebra Handheld computers Writing Instruments Animals Semantics

来源：评论

学校读者我要写书评

暂无评论

On-line monitoring for temporal logic robustness

Lecture Notes in Computer Science (including subseries Lectu...

引用

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2014年 8734卷 231-246页

作者： Dokhanchi, Adel Hoxha, Bardh Fainekos, Georgios School of Computing Informatics and Decision Systems Engineering Arizona State University United States

In this paper, we provide a Dynamic Programming algorithm for online monitoring of the state robustness of Metric Temporal Logic specifications with past time operators. We compute the robustness of MTL with unbounded past and bounded future temporal operators (MTL+pt) over sampled traces of Cyber-Physical *** implemented our tool inMatlab as a Simulink block that can be used in any Simulink model. We experimentally demonstrate that the overhead of the MTL+pt robustness monitoring is acceptable for certain classes of practical specifications. © Springer International Publishing Switzerland 2014.

关键词： Temporal logic

来源：评论

学校读者我要写书评

暂无评论

Energy-efficient reconstruction of compressively sensed bioelectrical signals with stochastic computing circuits

Energy-efficient reconstruction of compressively sensed bioe...

引用

IEEE International Conference on Computer Design: VLSI in Computers and Processors, (ICCD)

作者： Yufei Ma Minkyu Kim Yu Cao Jae-Sun Seo Sarma Vrudhula School of Electrical Computer and Energy Engineering School of Computing Informatics and Decision Systems Engineering Arizona State University Tempe Arizona U.S.A

Compressive sensing (CS) allows acquiring sparse signals at sub-Nyquist rate, offering an energy-efficient solution to data acquisition. This is especially important to reduce communication data for mobile medical applications. However, reconstructing the signal from CS is usually left off-line due to the complex computations. In this paper, we integrate two key technologies to enable on-line energy-efficient CS signal reconstruction. These are (1) the use of Bayesian CS Belief Propagation (CS-BP) as the algorithm basis and (2) the novel design of stochastic computing (SC) circuits to efficiently map CS-BP algorithm. The overall signal reconstruction system is implemented with digital SC circuits in 65nm CMOS and recovers compressively sensed electrocardiography (ECG) and electromyography (EMG) signals with 11X to 8X data compression factor. Compared to a conventional binary design, post-layout simulation results show that the proposed stochastic design performs reconstruction with 5X energy-delay product improvement and 2X area reduction.

关键词： Convolution Yttrium Hardware Complexity theory Bayes methods Logic gates Wires

来源：评论

学校读者我要写书评

暂无评论

Learning Energy Consumption and Demand Models through Data Mining for Reverse engineering

引用

Procedia engineering 2015年 118卷 1319-1324页

作者： Hariharan Naganathan Wai K. Chong Nong Ye School of Sustainable Engineering and Built Environment Arizona State University Tempe AZ United States Professor School of Computing Informatics and Decision Systems Engineering Arizona State UniversityTempeAZUnited States

The estimation of energy demand (by power plants) has traditionally relied on historical energy use data for the region(s) that a plant produces for. Regression analysis, artificial neural network and Bayesian theory are the most common approaches for analysing these data. Such data and techniques do not generate reliable results. Consequently, excess energy has to be generated to prevent blackout; causes for energy surge are not easily determined; and potential energy use reduction from energy efficiency solutions is usually not translated into actual energy use reduction. The paper highlights the weaknesses of traditional techniques, and lays out a framework to improve the prediction of energy demand by combining energy use models of equipment, physical systems and buildings, with the proposed data mining algorithms for reverse engineering. The research team first analyses data samples from large complex energy data, and then, presents a set of computationally efficient data mining algorithms for reverse engineering. In order to develop a structural system model for reverse engineering, two focus groups are developed that has direct relation with cause and effect variables. The research findings of this paper includes testing out different sets of reverse engineering algorithms, understand their output patterns and modify algorithms to elevate accuracy of the outputs.

关键词： Reverse engineering Data mining Energy consumption Statistical Analysis Supply-Demand Characteristics

来源：评论

学校读者我要写书评

暂无评论

Antipattern and Code Smell False Positives: Preliminary Conceptualization and Classification

Antipattern and Code Smell False Positives: Preliminary Conc...

引用

IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)

作者： Francesca Arcelli Fontana Jens Dietrich Bartosz Walter Aiko Yamashita Marco Zanoni Department of Informatics Systems and Communication University of Milano-Bicocca Milano Italy School of Engineering and Advanced Technology Massey University Palmerston North New Zealand Faculty of Computing Poznań University of Technology Poznań Poland Department of Information Technology Oslo and Akershus University Oslo Norway

Anti-patterns and code smells are archetypes used for describing software design shortcomings that can negatively affect software quality, in particular maintainability. Tools, metrics and methodologies have been developed to identify these archetypes, based on the assumption that they can point at problematic code. However, recent empirical studies have shown that some of these archetypes are ubiquitous in real world programs, and many of them are found not to be as detrimental to quality as previously conjectured. We are therefore interested in revisiting common anti-patterns and code smells, and building a catalogue of cases that constitute candidates for "false positives". We propose a preliminary classification of such false positives with the aim of facilitating a better understanding of the effects of anti-patterns and code smells in practice. We hope that the development and further refinement of such a classification can support researchers and tool vendors in their endeavour to develop more pragmatic, context-relevant detection and analysis tools for anti-patterns and code smells.

关键词： Production facilities Generators Software quality Graphical user interfaces Maintenance engineering Systematics Concrete

来源：评论

学校读者我要写书评

暂无评论

Stable models of fuzzy propositional formulas

Lecture Notes in Computer Science (including subseries Lectu...

引用

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2014年 8761卷 326-339页

作者： Lee, Joohyung Wang, Yi School of Computing Informatics and Decision Systems Engineering Arizona State University Tempe United States

We introduce the stable model semantics for fuzzy propositional formulas, which generalizes both fuzzy propositional logic and the stable model semantics of Boolean propositional formulas. Combining the advantages of both formalisms, the introduced language allows highly configurable default reasoning involving fuzzy truth values. We show that several properties of Boolean stable models are naturally extended to this formalism, and discuss how it is related to other approaches to combining fuzzy logic and the stable model semantics. © Springer International Publishing Switzerland 2014.

关键词： Fuzzy logic

来源：评论

学校读者我要写书评

暂无评论

Speech Scenario Adaptation and Discourse Topic Recognition on Mobile Smart Terminal

Speech Scenario Adaptation and Discourse Topic Recognition o...

引用

International Conference on Computational Science and Computational Intelligence (CSCI)

作者： Min Huang Xuran Li Silong Wu Yinong Chen School of Software Engineering South China University of Technology Guangzhou China School of Computing Informatics and Decision Systems Engineering Arizona State University Tempe AZ

ISBN: (纸本)9781467397964

Context identifying based on speech data is important to social services and city management. In a complex application environment, a speech recognition system needs to address two main problems: background noises and large vocabulary search latency. We use the adjustment acoustic model to deal with the scenario adaptation, and we use adjustment dictionary and language module to solve the discourse topic recognition. As a case study, we design and implement a continuous language speech recognition system on a mobile smart terminal. Experiments show that the scene adaptation effectively improves the accuracy rate of speech recognition, and the discourse topic recognition verifies the recognition effectiveness of our speech recognition system.

关键词： Speech recognition Hidden Markov models Dictionaries Adaptation models Acoustics Speech Mobile communication

来源：评论

学校读者我要写书评

暂无评论

System ASPMT2SMT: computing ASPMT theories by SMT solvers

Lecture Notes in Computer Science (including subseries Lectu...

引用

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2014年 8761卷 529-542页

作者： Bartholomew, Michael Lee, Joohyung School of Computing Informatics and Decision Systems Engineering Arizona State University Tempe United States

Answer Set Programming Modulo Theories (ASPMT) is an approach to combining answer set programming and satisfiability modulo theories based on the functional stable model semantics. It is shown that the tight fragment of ASPMT programs can be turned into SMT instances, thereby allowing SMT solvers to compute stable models of ASPMT programs. In this paper we present a compiler called ASPSMT2SMT, which implements this translation. The system uses ASP grounder GRINGO and SMT solver Z3. GRINGO partially grounds input programs while leaving some variables to be processed by Z3. We demonstrate that the system can effectively handle real number computations for reasoning about continuous changes. © Springer International Publishing Switzerland 2014.

关键词： Logic programming

来源：评论

学校读者我要写书评

暂无评论

Research

Industrial Engineer

引用

Industrial Engineer 2014年第5期46卷 56-57页

作者： Askin, Ronald School of Computing Informatics and Decision Systems Engineering Arizona State University United States

An important strategic level decision in the industrial gas industry involves allocating bulk gas tanks to customer sites. For a set of customers having specified demands, the bulk tank allocation problem determines the preferred size of bulk tanks to assign to customer sites in order to minimize tank investment costs and gas distribution costs for the industrial gas distributor. The problem is modeled as a mixed- integer program and then solved using a decomposition approach. A heuristic method for clustering customers and developing routes is proposed based on a sweep algorithm. These potential routes serve as input for the bulk tank allocation problem, which selects routes and assigns tanks to customer sites. The resulting BTA tool thus analyzes strategic level decisions while incorporating operational level characteristics. This leads to improved distribution efficiency and reduced costs.

关键词： Industrial research

来源：评论

学校读者我要写书评

暂无评论

Design of threshold logic gates using emerging devices

Design of threshold logic gates using emerging devices

引用

IEEE International Symposium on Circuits and systems (ISCAS)

作者： Sarma Vrudhula Niranjan Kulkami Jinghua Yang School of Computing Informatics and Decision Systems Engineering Arizona State University Tempe Arizona Arizona State University Tempe AZ US

ISBN: (纸本)9781479983926

This article explores the use of threshold logic for reducing the power, delay, and/or area of digital logic circuits. We first describe the architecture of a differential threshold logic gate (TLG) using conventional MOSFETs. A TLG of a given number of inputs can be configured to realize a set of threshold functions by simply connecting the appropriate signals to its inputs. One characteristic of the proposed architecture for a TLG is the increased sensitivity to process variations (device mismatch) and noise. Problems due to device mismatch can be mitigated by proper cell design and optimization. The increased sensitivity to noise makes it difficult to scale the supply voltage of a TLG. We show a simple solution which involves integrating RRAMs within the TLG circuit, to achieve robust, low voltage and energy efficient operation. The third circuit implementation referred to as a spintronic threshold logic (STL) cell uses an STT-MTJ device as a intrinsic threshold logic gate. An STL cell is an very compact structure that can realize a large number of threshold functions, many of which would require a multilevel network of conventional CMOS logic gates.

关键词： Logic gates Computer architecture CMOS integrated circuits Delays Resistance Microprocessors Libraries

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：