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

Prediction of ordinal classes using regression trees

FUNDAMENTA INFORMATICAE 2001年第1-2期47卷 1-13页

作者： Kramer, S Pfahringer, B Widmer, G De Groeve, M Univ Freiburg Inst Comp Sci D-79110 Freiburg Germany Univ Waikato Dept Comp Sci Hamilton New Zealand Univ Vienna Dept Med Cybernet & AI A-1010 Vienna Austria Austrian Res Inst Artificial Intelligence A-1010 Vienna Austria Katholieke Univ Leuven Dept Comp Sci Louvain Belgium

this paper is devoted to the problem of learning to predict ordinal (i.e., ordered discrete) classes using classification and regression trees. We start with S-CART, a tree induction algorithm, and study various ways of transforming it into a learner for ordinal classification tasks. these algorithm variants are compared on a number of benchmark data sets to verify the relative strengths and weaknesses of the strategies and to study the trade-off between optimal categorical classification accuracy (hit rate) and minimum distance-based error. Preliminary results indicate that this is a promising avenue towards algorithms that combine aspects of classification and regression.

关键词： machine learning ordinal classes regression trees decision trees classification regression inductive logic programming

来源：评论

学校读者我要写书评

暂无评论

Technologies of FPGA-based projects Development Under Ever-changing Conditions, Platform Constraints, and Time-to-Market Pressure

Technologies of FPGA-based projects Development Under Ever-c...

引用

IEEE international conference on Dependable Systems, Services and Technologies (DESSERT)

作者： Artem Perepelitsyn Vitaliy Kulanov Department of computer systems networks and cybersecurity National aerospace university “KhAI” Kharkiv Ukraine

ISBN: (纸本)9798350333053

An analytical review of the history of the leading vendors' providers in the field of programmable logic device manufacturing is presented. the analysis of development environment changes for FPGA-based projects, and a comparative analysis of FPGA chips and development kit boards for testing are performed. the practical experience of the transition process to new development environments for FPGA-based projects is considered. It is established that the dynamics of changes in development environments must be addressed at an early stage to reduce risks. It is shown that in-system programming significantly simplifies the development of FPGA-based projects. It is shown that scaling and parallelization at the top level of project hierarchy and pipelining and parameterization at the RTL level effectively allow such systems to be deployed in commercial cloud infrastructures and data centers.

关键词： Data centers Buildings Manuals Routing Performance analysis Dynamic programming History

来源：评论

学校读者我要写书评

暂无评论

three lessons in creating a knowledge base to enable reasoning, explanation and dialog 1

Three lessons in creating a knowledge base to enable reasoni...

引用

1st Workshop on Natural Language Processing and Automated Reasoning, NLPAR 2013 - Co-located with 12th international conference on logic programming and Nonmonotonic Reasoning, LPNMR 2013

作者： Chaudhri, Vinay K. Dinesh, Nikhil Inclezan, Daniela Artificial Intelligence Center SRI International Menlo ParkCA94025 United States

Our work is driven by the hypothesis that for a program to answer questions, explain the answers, and engage in a dialog just like a human does, it must have an explicit representation of knowledge. Such explicit representations occur naturally in many situations such as engineering designs created by engineers, a software requirement created in unified modeling language or a process flow diagram for a manufacturing process. Automated approaches based on natural language processing have progressed on tasks such as named entity recognition, fact extraction and relation learning. Use of automated methods can be problematic in situations where the conceptual distinctions used by humans for reasoning are not directly expressed in natural language or when the representation must be used to drive a high fidelity simulation. In this paper, we report on our effort to systematically curate a knowledge base for substantial fraction of text in a biology textbook [26]. While this experience and the process is interesting on its own, three aspects can be especially instructive for future development of knowledge bases by both manual and automatic methods: (1) Consider imposing a simplifying abstract structure on natural language sentences so that the surface form is closer to the target logical form to be extracted. (2) Adopt an upper ontology that is strongly motivated and influenced by natural language. (3) Develop a set of guidelines that captures how the conceptual distinctions in the ontology may be realized in natural language. Since the representation created by this process has been quite effective for answering questions and producing explanations, it gives a concrete target for what information should be extracted by the automated methods.

关键词： Ontology

来源：评论

学校读者我要写书评

暂无评论

Wireless sensor network UML profile to support model-driven development

Wireless sensor network UML profile to support model-driven ...

引用

IEEE international conference on Industrial Informatics (INDIN)

作者： A. R. Paulon A. A. Fröhlich L. B. Becker F. P. Basso Prog. Pós-Grad. em Eng. Controle e Automação (PGEAS) Federal University of Santa Catarina Florianópolis SC Brazil COPPE Federal University of Rio de Janeiro Rio de Janeiro RJ Brazil

Wireless Sensor Networks (WSNs) are rapidly becoming a necessary tool in many different application areas, such as environmental monitoring, security, safety, and so on. the heterogeneity of hardware is large, so there exists several different environments that support WSN programming. However, the great majority of such environments only target the sensors programming, forgetting about their real intent: the application. In this paper we propose an approach to satisfy the need of high level development methods in WSN applications, aiming to provide a clear link between the modelled WSN constraints and the programming entities. An important part of this proposal is the so-called Wireless Sensor Network (WiSeN) Profile, an UML profile devoted for WSN applications design in a Model-Drivel Development (MDD) paradigm.

关键词： Wireless sensor networks Unified modeling language Sensors Proposals programming logic gates Synchronization

来源：评论

学校读者我要写书评

暂无评论

A distributed multimedia knowledge based environment for modeling over the Internet

A distributed multimedia knowledge based environment for mod...

引用

international conference on Tools for Artificial Intelligence (ICTAI)

作者： S.W. Ryan A.K. Bansal T. Kapoor Department of Mathematics and Computer Science Kent University Kent OH USA

the paper describes a knowledge-based scalable multimedia environment for graph based modeling and the design of complex objects over the Internet. A complex object is modeled as a directed hierarchical graph with each sub-component abstracted as a node and the shared parameters between two components as an edge. the knowledge base archives and retrieves reusable components, and integrates multiple simultaneous distributed numeric simulations of components over the Internet. the tool exploits heterogeneous associative logic programming and has been implemented using CORBA to exploit heterogeneity and user transparent distributed object-based computing. Java has been used for an architecture independent graphical user interface accessible via the World Wide Web. the design is visualized using XML extended to visualize graph-based multimedia objects over the Internet.

关键词： Internet Visualization Computational modeling Numerical simulation logic programming Distributed computing Java Computer architecture Service oriented architecture Graphical user interfaces

来源：评论

学校读者我要写书评

暂无评论

the enhancement mode AlGaN/GaN high electron mobility transistor based on charge storage

The enhancement mode AlGaN/GaN high electron mobility transi...

引用

international conference on ASIC

作者： Hui Wang Lingli Jiang Ning Wang Xinpeng Lin Hongyu Yu Shenzhen Key Laborary of The Third Generation Semi-conductor Shenzhen Guangdong China Department of Electrical and Electronic Engineering Southern University of Science and Technology Shenzhen Guangdong China

In this paper, we sums up our resent progress on the enhancement-mode (E-mode) AlGaN/GaN high electron mobility transistors (HEMTs) which are based on charge storage, including the split floating gates (FGs) HEMT and the one with oxide-SiN-oxide (ONO) gate dielectrics stack. For the FGs HEMT, the V th variation with the polarization charge density, the density of two dimensional electron gas, the tunnel dielectric thickness, the blocking dielectric thickness, the length and isolating spacing of FGs are presented. the reliability of the FGs HEMT are also revealed. For the HEMT with ONO gate dielectrics stack, the E-mode is realized by negative charge storage within the SiN trap layer. the V th variation with the programming condition and the thickness of the dielectrics are presented. Under proper programming voltage and time, the V th can be increased to more than 2V. Moreover, it is found that the breakdown voltage of such HEMT can be adjusted by varying the gate dielectric stacks.

关键词： HEMTs MODFETs Dielectrics logic gates Aluminum oxide Aluminum gallium nitride Wide band gap semiconductors

来源：评论

学校读者我要写书评

暂无评论

Distributed saddle-point optimization over time-varying networks with probabilistically quantized information

Distributed saddle-point optimization over time-varying netw...

引用

international conference on Signal Processing Proceedings (ICSP)

作者： Huiqin Zhou Deming Yuan Baoyun Wang College of Automation Nanjing University of Posts and Telecommunications Nanjing China

ISBN: (纸本)9781479921898

We consider the problem of optimizing a sum of local objective functions corresponding to multiple agents. We discuss a distributed model where the agents can only exchange quantization data over a time-varying network. For solving this problem, we propose a method that involves agents updating their states by weighted averaging and probabilistically quantized information. the method indicates how the agents converge to a consensus and finds the optimal solution at expected rate O(1/√T), T is the number of iteration. the relationship between the convergence rate and the quantized interval in terms of expectation was also presented.

关键词： Quantization (signal) Convergence Probabilistic logic Optimization Vectors Linear programming Educational institutions

来源：评论

学校读者我要写书评

暂无评论

From aspectual requirements to proof obligations for aspect-oriented systems

From aspectual requirements to proof obligations for aspect-...

引用

IEEE international conference on Requirements Engineering

作者： S. Katz A. Rashid Computer Science Department Technion-Israel Institute of Technology Haifa Israel Computing Department Lancaster University Lancaster UK

Aspect-oriented software development (AOSD) techniques support systematic modularization and composition of crosscutting concerns. though AOSD techniques have been proposed to handle crosscutting concerns at various stages during the software life cycle, there is a traceability gap between the aspects at the requirements level and those at later development stages. It is not clear what proof obligations about an aspect-oriented implementation follow from the initial aspectual requirements. this work presents PROBE, a framework for generation of proof obligations for aspect-oriented systems from the initial aspectual requirements and associated trade-offs. the abstract proof obligations are expressed in standard linear temporal logic. Key components of the framework include an extended ontology with parametric temporal formulas and functions, and extensive treatment of conflicts among requirements. the resultant temporal logic assertions, grouped into specifications of aspect implementations, can then be instantiated in terms of the implementation and verification tools.

关键词： programming logic Java Design engineering Computer science Probes Ontologies Bridges Security Real time systems

来源：评论

学校读者我要写书评

暂无评论

Automated Verification of Shape, Size and Bag Properties

Automated Verification of Shape, Size and Bag Properties

引用

IEEE international conference on Engineering of Complex Computer Systems

作者： Wei-Ngan Chin Cristina David Huu Hai Nguyen Shengchao Qin Singapore-Massachusetts Institute of Technology Alliance Singapore Department of Computer Science National University of Singapore Singapore Department of Computer Science Durham University UK

In recent years, separation logic has emerged as a contender for formal reasoning of heap-manipulating imperative programs. Recent works have focused on specialised provers that are mostly based on fixed sets of predicates. To improve expressivity, we have proposed a prover that can automatically handle user-defined predicates. these shape predicates allow programmers to describe a wide range of data structures with their associated size properties. In the current work, we shall enhance this prover by providing support for a new type of constraints, namely bag (multi-set) constraints. With this extension, we can capture the reachable nodes (or values) inside a heap predicate as a bag constraint. Consequently, we are able to prove properties about the actual values stored inside a data structure.

关键词： Shape logic Data structures Hydrogen Computer science Mechanical factors Tree data structures Tail programming profession Sorting

来源：评论

学校读者我要写书评

暂无评论

A novel finfet-based 1T-dram with extended body using gate-induced drain leakage mechanism

A novel finfet-based 1T-dram with extended body using gate-i...

引用

international conference on Solid-State and Integrated Circuit Technology

作者： Zih-Hao Huang Jyi-Tsong Lin Po-Hsieh Lin Cheng-Hsien Chang Department of Electrical Engineering National Sun Yat-Sen University Kaohsiung Taiwan

ISBN: (纸本)9781479932849

In this paper, an extended body FinFET structure to be applied for capacitorless dynamic random access memory is proposed, which is called EB-FinFET. We used Gate-induced Drain Leakage (GIDL) mechanism to investigate and analyze how extended body height affects the programming window and retention time through the three-dimensional (3-D) numerical simulation. EB-FinFET has a firm structure, acceptable gate controllability, a higher drain current, a larger programming window, and a longer retention time in terms of simulation results. Moreover, using the operation mechanism of GIDL can obtain a deeper concentration of holes than the impact ionization mechanism demonstrated. Eventually, we believe that EB-FinFET could be the most promising structure for embedded-DRAM.

关键词： logic gates Lead FinFETs Abstracts Numerical models Very large scale integration Mechanical factors

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：