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

Joint IFSA World Congress and NAFIPS Annual Meeting

作者： Shahnaz N. Shahbazova Department of Information Technology &Programming Azerbaijan Technical University 25 H.Cavid Ave. Baku AZ1073 Azerbaijan

ISBN: (纸本)9781479903467

Purpose of this work is to develop norms, knowledge and algorithms that will make a real shift most of the educational process on the computer environment. On the basis of artificial neural networks, a mechanism, which allows taking into account, the subjective opinion of experts without requiring changes to the system. With the help of fuzzy logic developed an original method of monitoring the student's knowledge as closely mimics the behavior of the teacher in the student survey, which combines the power and brevity, not previously accessible to automated systems.

关键词： Learning Process teacher brevity

来源：评论

学校读者我要写书评

暂无评论

A succinct canonical register automaton model for data domains with binary relations

A succinct canonical register automaton model for data domai...

引用

10th International Symposium on Automated technology for Verification and Analysis, ATVA 2012

作者： Cassel, Sofia Jonsson, Bengt Howar, Falk Steffen, Bernhard Dept. of Information Technology Uppsala University Sweden Department of Programming Systems Technical University Dortmund Germany

ISBN: (纸本)9783642333859

We present a novel canonical automaton model for languages over infinite data domains, that is suitable for specifying the behavior of services, protocol components, interfaces, etc. The model is based on register automata. A major contribution is a construction of succinct canonical register automata, which is parameterized on the set of relations by which elements in the data domain can be compared. We also present a Myhill Nerode-like theorem, from which minimal canonical automata can be constructed. This canonical form is as expressive as general deterministic register automata, but much better suited for modeling in practice since we lift many of the restrictions on the way variables can be accesed and stored: this allows our automata to be significantly more succinct than previously proposed canonical forms. Key to the canonical form is a symbolic treatment of data languages, which allows us to construct minimal representations whenever the set of relations can be equipped with a so-called branching framework. © 2012 Springer-Verlag.

关键词： Automata theory

来源：评论

学校读者我要写书评

暂无评论

Promoter recognition with machine learning algorithms keREM, RULSE-3 and ANN

Promoter recognition with machine learning algorithms keREM,...

引用

International Symposium on INnovations in Intelligent SysTems and Applications, INISTA 2012

作者： Karli, Günay Nayir, Ahmet Faculty of Engineering and Information Technology International Burch Universiy Sarajevo Bosnia and Herzegovina Department of Computer Programming Fatih University Istanbul Turkey

ISBN: (纸本)9781467314466

Data mining has become an important and active area of research because of theoretical challenges and practical applications associated with the problem of discovering interesting and previously unknown knowledge from very large real world database. These databases contain potential gold mine of valuable information, but it is beyond human ability to analyze massive amount of data and elicit meaningful patterns by using conventional techniques. In this study, DNA sequence was analyzed to locate promoter which is a regulatory region of DNA located upstream of a gene, providing a control point for regulated gene transcription. In this study, some supervised learning algorithms such as artificial neural network (ANN), RULES-3 and newly developed keREM rule induction algorithm were used to analyse to DNA sequence. In the experiments different option of keREM, RULES-3 and ANN were used, and according to the empirical comparisons, the algorithms appeared to be comparable to well-known algorithms in terms of the accuracy of the extracted rule in classifying unseen data. © 2012 IEEE.

关键词： Supervised learning

来源：评论

学校读者我要写书评

暂无评论

Inferring semantic interfaces of data structures

Inferring semantic interfaces of data structures

引用

5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change, ISoLA 2012

作者： Howar, Falk Isberner, Malte Steffen, Bernhard Bauer, Oliver Jonsson, Bengt Technical University Dortmund Department of Programming Systems Dortmund D-44227 Germany Dept. of Information Technology Uppsala University Sweden

ISBN: (纸本)9783642340253

In this paper, we show how to fully automatically infer semantic interfaces of data structures on the basis of systematic testing. Our semantic interfaces are a generalized form of Register Automata (RA), comprising parameterized input and output, allowing to model control- and data-flow in component interfaces concisely. Algorithmic key to the automated synthesis of these semantic interfaces is the extension of an active learning algorithm for Register Automata to explicitly deal with output. We evaluated our algorithm on a complex data structure, a "stack of stacks", the largest of which we could learn in merely 20 seconds with less than 4000 membership queries, resulting in a model with rougly 800 nodes. In contrast, even when restricting the data domain to just four values, the corresponding plain Mealy machine would have more than 109 states and presumably require billions of membership queries. © 2012 Springer-Verlag.

关键词： Data structures

来源：评论

学校读者我要写书评

暂无评论

Ontology design for medical diagnostic knowledge

Advances in Intelligent and Soft Computing

引用

Advances in Intelligent and Soft Computing 2012年 99卷 175-189页

作者： Jaszuk, M. Szostek, G. Walczak, A. Programming Department University of Information Technology and Management Rzeszów Poland Information Systems Institute Military University of Technology Warsaw Poland

ISBN: (纸本)9783642231711

The paper gives an overview of research devoted to developing a semi-automatic methodology of building a semantic model of medical diagnostic knowledge. The methodology is based on natural language processing methods which are applied to analyze medical texts. As a result of the process, the semantic model of symptoms is generated. This model is a foundation for building a model of diagnostic technologies. The described methodology and the resulting model are developed specifically for the Polish language. © 2012 Springer-Verlag Berlin Heidelberg.

关键词： Diagnosis

来源：评论

学校读者我要写书评

暂无评论

Network virtualization for military application: Review and initial development of conceptual design

Network virtualization for military application: Review and ...

引用

International Conference on Advanced Communication technology (ICACT)

作者： Jiradett Kerdsri Komwut Wipusitwarkun Computer and Programming Laboratory Defense Technology Institute Thailand School of Information Computer and Communication Technology (ICT) Sirindhorn International Institute of Technology Thailand

Networking technology, undoubtedly, plays a vital role in modern warfare especially in Network Centric Operations (NCOs) and Global information Grid (GIG) concept. However, the current popular network infrastructure, mainly TCP/IP architecture, is in fact unsuitable with advanced military communication especially in tactical operation networks. The key characteristics of military communications are classified as delay/disruption/disconnection tolerant networks (DTNs) which are long and variable delays, high error rates and greatly heterogeneous. As a result a call for new type of network architecture emerges to support such peculiar characteristics of military communication network. This paper reviews the current approaches in network technology of military communication and proposes the conceptual design of Virtualization Network (VN) for military communication to address the limitation of current network infrastructure. The implementation of Military Network Virtualization Environment (MVNE) introduces the crucial two new key features of military tactical network: information classification and movable nodes. These features along with essential research challenges must be analyzed to realize a viable virtualization network for military communications.

关键词： Military communication Security Delay Protocols Routing IP networks Network topology

来源：评论

学校读者我要写书评

暂无评论

Promoter recognition with machine learning algorithms keREM, RULSE-3 and ANN

Promoter recognition with machine learning algorithms keREM,...

引用

IEEE International Symposium on Innovations in Intelligent Systems and Applications (INISTA)

作者： Günay Karli Ahmet Nayir Faculty of Engineering and Information Technology International Burch University Sarajevo Bosnia and Herzegovina Department of Computer Programming Fatih University Istanbul Turkey

关键词： Artificial neural networks DNA Classification algorithms Machine learning algorithms Neurons Algorithm design and analysis Biological neural networks

来源：评论

学校读者我要写书评

暂无评论

The design of blocks integration tool to support end-user programming

The design of blocks integration tool to support end-user pr...

引用

2011 International Conference on Electrical Engineering and Informatics, ICEEI 2011

作者： Norhudha Sarif, Siti Idris, Sufian Zin, Abdullah Mohd Programming and Software Technology Research Group Faculty of Information Science and Technology Universiti Kebangsaan Malaysia Malaysia

ISBN: (纸本)9781457707520

End-user programming is a term that refers to computer programming carried out by end users who do not necessarily have a background in writing programs in conventional programming languages. There is much interest amongst end-users to be able to write their own programs. In order to support end-user programming, the concept of Block Based Software Development has been introduced. In this environment, end-users can develop applications by selecting, customizing and combining software blocks. A block is basically a single-layer software component that can perform a specific function. It is assumed that in this environment, there will be a large number of blocks available to be used by the end-users. Block Integration Tool is an Integrated Development Environment (IDE) that can be used by end-users to develop applications. By using this tool, end-users can select a block and then drag it into the work area. Customization can be done by changing some properties of the block such as colour, text, audio and video content. This block can then be combined with the existing blocks in the work area. Once the process of selecting and combining blocks is completed, an application can then be generated. Implementations are carried out using Netbeans version 6.9. The evaluation of the tool will be carried out to ensure that it is suitable to be used by end users. © 2011 IEEE.

关键词： Software design

来源：评论

学校读者我要写书评

暂无评论

Story telling approach for Integrating Software Blocks

Story telling approach for Integrating Software Blocks

引用

2011 International Conference on Electrical Engineering and Informatics, ICEEI 2011

作者： Hariri, Hamizah Mohamad Marini, Abu Bakar Zin, Abdullah Mohd Programming and Software Technology Research Group Faculty of Information Science and Technology Universiti Kebangsaan Malaysia Malaysia

ISBN: (纸本)9781457707520

Story telling is a process of conveying events by words, images and sounds. It has been used in every culture as a means of entertainment, education or for instilling moral values. The power of story telling has now been realized by computer science and software engineering community. It has been argued that story telling will enable the actual requirement to be identified earlier in the software development process. This approach has also been identified as one of the most suitable approach for end-user software development. A number of software development environment based on story telling approach have been developed, such as Storytelling Alice and JPie. Storytelling Alice is a programming environment that enables end-users (in this case students) to create computer applications by creating short 3D animated movies. JPie is a programming environment that was designed to enable end-users to develop programs by using Java programming language. In this paper, we describe the design of a story telling approach for blocks integration in Block-Based Software Development Environment. A block is basically a single-layer software component that can perform a specific function. It is assumed that in this environment, there will be a large number of blocks to be used by the end-users through story telling approach. End-users can develop applications by writing instructions for selecting, customizing and combining software blocks to form a learning application as target application. © 2011 IEEE.

关键词： Software design

来源：评论

学校读者我要写书评

暂无评论

A New Method for Research of Grown-In Microdefects in Dislocation-Free Silicon Single Crystals

引用

Journal of Crystallization Process and technology 2011年第2期1卷 13-17页

作者： V.I Talanin I.E Talanin N.Ph Ustimenko Department of Programming & Information Technology Classic Private University

As a virtual experimental device for analysis and calculation of grown-in microdefects formation in undoped silicon dislocation-free single crystals the software is proposed. The software is built on the basis on diffusion model of formation, growth and coalescence of grown-in microdefects. Diffusion model describes kinetics of defect structure changes during cooling after growth on crystallization temperature to room temperature. The software allows the use of personal computer to investigate the defect structure of dislocation-free silicon single crystals with a diameter on 30 mm to 400 mm grown by floating-zone and Czochralski methods.

关键词： Silicon Grown-In Microdefects Precipitate Vacancy Microvoid Interstitial Dislocation Loop

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：