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

The 2013 AASRI Conference on Parallel and Distributed Computing and Systems(DCS 2013)

作者： Paniti Netinant Information Technology Department Bangkok University Concurrent Programming Research Group Illinois Institute of Technology

Developing reusable and adaptable concurrent software are very *** and adaptability in concurrent software become *** collaborations not only perimeter reusability,but also make modification invasive changes to meet new requirements in the design of the concurrent *** concurrent system has to reengineer,in order to meet the future requirements.A misunderstanding,that a concurrent object-oriented programming generally endorses reusability and adaptability,as none of these problems is *** developers have to specifically deliberate software making reusability and *** present a concurrent aspect framework which better supporting reusability and *** the framework,functional components and system assets are relatively *** technique makes concurrent software developing better reusability and adaptability.A framework enables manageable reusability and adaptability for building of concurrent *** research focuses on decomposition of contact in concurrent software development and our goal is to demonstrate a better model of concurrent software design.

关键词： Aspect Orientation Adaptability Reusability Framework Concurrent Software

来源：评论

学校读者我要写书评

暂无评论

Cybernetic Theory of informational Modeling of Teacher's Behavior in the Learning Process based on Fuzzy Logic

Cybernetic Theory of Informational Modeling of Teacher's Beh...

引用

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

LearnLib: A framework for extrapolating behavioral models

引用

International Journal on Software Tools for technology Transfer 2009年第5期11卷 393-407页

作者： Raffelt, Harald Steffen, Bernhard Berg, Therese Margaria, Tiziana Department of Programming Systems TU Dortmund Otto-Hahn-Str. 14 44227 Dortmund Germany Department of Information Technology Uppsala University 751 05 Uppsala Sweden Department of Services and Software Engineering Universität Potsdam August-Bebel-Str. 89 14482 Potsdam Germany

In this paper, we present the LearnLib, a library of tools for automata learning, which is explicitly designed for the systematic experimental analysis of the profile of available learning algorithms and corresponding optimizations. Its modular structure allows users to configure their own tailored learning scenarios, which exploit specific properties of their envisioned applications. As has been shown earlier, exploiting application-specific structural features enables optimizations that may lead to performance gains of several orders of magnitude, a necessary precondition to make automata learning applicable to realistic scenarios. © Springer-Verlag 2009.

关键词： Learning algorithms

来源：评论

学校读者我要写书评

暂无评论

Untitled

引用

FORMAL ASPECTS OF COMPUTING 2009年第3期21卷 225-225页

作者： Boca, Paul Boute, Raymond Duce, David Oliveira, Jos Programming Research Ltd. Mark House Hesham Surrey KT12 SLU 9/11 Queens Road United Kingdom Formal Methods Group Department of Information Technology (INTEC) Ghent University Ghent B-9000 Sint-Pietersnieuwstraat 41 Belgium School of Technology Oxford Brookes University Wheatley Campus Oxford OX33 lHX United Kingdom Departamento de Informática Universidade Do Minho Campus de Gualtar Braga 4710-057 Portugal

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：