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

3rd international workshop on knowledge representation for Health Care, KR4HC 2011, Held in Conjunction with the 13th Conference on Artificial Intelligence in Medicine, AIME 2011

作者： Taylor, Paul Toujilov, Igor Centre for Health Informatics and Multiprofessional Education UCL London United Kingdom

ISBN: (纸本)9783642276965

We present an advanced approach to representing knowledge about breast radiographs or mammograms which has advantages in terms of both usability and software engineering. The approach uses ontologies to create not merely a class hierarchy for a vocabulary but a full formal representation and, further, takes advantage of reasoning with description logic to provide application behaviour. The ontologies support a disjoint representation of graphical features and their interpretation in terms of medical findings. This separation of image features and medical findings allows the representation of different conceptual interpretations of the same graphical object, allowing different opinions of radiologists to be used in reasoning, which makes the approach useful for describing images to be used in computer-based learning and other applications. Three applications are discussed in detail: assessment of overlap in annotations, a conceptual consistency check in radiology training, and modelling temporal changes in parenchymal patterns. Reasoner usage, software testing, and implementation in Java are presented. The results show that, despite performance problems using the current implementations of reasoners, the description logic approach can be useful in practical applications. © 2012 Springer-Verlag.

关键词： Ontology

来源：评论

学校读者我要写书评

暂无评论

A reversible processor architecture and its reversible logic design

A reversible processor architecture and its reversible logic...

引用

3rd international workshop on Reversible Computation, RC 2011

作者： Thomsen, Michael Kirkedal Axelsen, Holger Bock Glück, Robert DIKU Department of Computer Science University of Copenhagen Universitetsparken 1 DK-2100 Copenhagen Denmark

ISBN: (纸本)9783642295164

We describe the design of a purely reversible computing architecture, Bob, and its instruction set, BobISA. The special features of the design include a simple, yet expressive, locally-invertible instruction set, and fully reversible control logic and address calculation. We have designed an architecture with an ISA that is expressive enough to serve as the target for a compiler from a high-level structured reversible programming language. All-in-all, this paper demonstrates that the design of a complete reversible computing architecture is possible and can serve as the core of a programmable reversible computing system. © 2012 Springer-Verlag Berlin Heidelberg.

关键词： Computer circuits

来源：评论

学校读者我要写书评

暂无评论

Answer-set programming as a new approach to event-sequence testing

Answer-set programming as a new approach to event-sequence t...

引用

3rd international Conference on Advances in System Testing and Validation Lifecycle, VALID 2011

作者： Erdem, Esra Inoue, Katsumi Oetsch, Johannes Pührer, Jörg Tompits, Hans Yilmaz, Cemal Faculty of Engineering and Natural Sciences Sabanci University Orhanli Tuzla 34956 Turkey National Institute of Informatics 2-1-2 Hitotsubashi Chiyoda-ku 101-8430 Japan Institut föur Informationssysteme 184/3 Technische Universität Wien Favoritenstrabe 9-11 A-1040 Vienna Austria

ISBN: (纸本)9781612081687

In many applications, faults are triggered by events that occur in a particular order. Based on the assumption that most bugs are caused by the interaction of a low number of events, Kuhn et al. recently introduced sequence covering arrays (SCAs) as suitable designs for event sequence testing. In practice, directly applying SCAs for testing is often impaired by additional constraints, and SCAs have to be adapted to fit application-specific needs. Modifying precomputed SCAs to account for problem variations can be problematic, if not impossible, and developing dedicated algorithms is costly. In this paper, we propose answer-set programming (ASP), a well-known knowledge-representation formalism from the area of artificial intelligence based on logic programming, as a declarative paradigm for computing SCAs. Our approach allows to concisely state complex coverage criteria in an elaboration tolerant way, i.e., small variations of a problem specification require only small modifications of the ASP representation.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

Proposal of a High-Level Language for Writing Self Modifying Programs

引用

IEEE LATIN AMERICA TRANSACTIONS 2011年第2期9卷 192-198页

作者： da Silva, S. R. B. Neto, J. J. Univ Estado Amazonas Curso Engn Computacao Manaus Amazonas Brazil Univ Sao Paulo Escola Politecn Sao Paulo Brazil

This paper proposes a simple high-level programming language, endowed with resources that help encoding self-modifying programs. With this purpose, a conventional imperative language syntax (not explicitly stated in this paper) is incremented with special commands and statements forming an adaptive layer specially designed with focus on the dynamical changes to be applied to the code at run-time. The resulting language allows programmers to easily specify dynamic changes to their own program's code. Such a language succeeds to allow programmers to effortless describe the dynamic logic of their adaptive applications. In this paper, we describe the most important aspects of the design and implementation of such a language. A small example is finally presented for illustration purposes.

关键词： Adaptivity programming language self modifying code adaptive technology

来源：评论

学校读者我要写书评

暂无评论

Measurement-Theoretic Foundations of Probabilistic Model of JND-Based Vague Predicate logic

Measurement-Theoretic Foundations of Probabilistic Model of ...

引用

3rd international workshop on logic, Rationality and Interaction (LORI)

作者： Suzuki, Satoru Komazawa Univ Fac Arts & Sci Setagaya Ku Tokyo 1548525 Japan

ISBN: (纸本)9783642241291;9783642241307

Vagueness is a ubiquitous feature that we know from many expressions in natural languages. It can invite a serious problem: the Sorites Paradox. The aim of this paper is to propose a new version of complete logic for vague predicates - JND-based vague predicate logic (JVL) which can avoid the Sorites Paradox and give answers to all of the Semantic Question, the Epistemological Question and the Psychological Question given by Graff. To accomplish this aim, we provide JVL with a probabilistic model by means of measurement theory.

关键词： pair comparison probability function Strong Probabilistic Transitivity JND vagueness Sorites Paradox intransitivity of similarity semiorder measurement theory representation theorem bounded rationality

来源：评论

学校读者我要写书评

暂无评论

Research of extended RBAC model on permission control in WEB information system

Research of extended RBAC model on permission control in WEB...

引用

2011 IEEE 3rd international Conference on Communication Software and Networks, ICCSN 2011

作者： Liqing, Li Rong, Yu Hai, Lu Xudong, Li Institute of Computer Application China Academy of Engineering Physics Mianyang Sichuan China Institute of Applied Electronics China Academy of Engineering Physics Mianyang Sichuan China

ISBN: (纸本)9781612844855

According to the characteristics of WEB management information system, a reasonable division has been made between the representation layer and the business layer to further define the relation of permission-page and permission-operation, the extended model ERBAC based on RBAC(Role-Based Access Control model) has been put forward to against the shortcoming of the traditional RBAC in WEB information system. The main idea of ERBAC is to introduce a new concept of business action which is made up by a series of menus, pages, and business operations. It subdivides access permission to different page URL and operation so that enhancing granularity of permission configure. access control has been separated from the representation layer and business layer of the WEB information system, the centralized management of access control has been realized to solve the traditional troublesome pages and logic control and has been applied in the actual system with Aspect-Oriented programming (AOP) technology. © 2011 IEEE.

关键词： Aspect oriented programming

来源：评论

学校读者我要写书评

暂无评论

A runtime model checker for dynamic software based on aspect-oriented programming

A runtime model checker for dynamic software based on aspect...

引用

international workshop on Intelligent Systems and Applications

作者： Yang, Hongwei School of Software Yunnan University Kunming 650021 China Education Science Research Academy of Yunnan Kunming 650223 China

ISBN: (纸本)9781424498574

Increasingly, more and more software systems must make dynamic reconfiguration of their architectures at runtime to adapt to the changing conditions. The runtime verification of architecture evolution is necessary to guarantee the conformance to the specification. In this paper, we propose a runtime model checker that supports dynamic reconfiguration of software architectures taking advantage of linear temporal logic and aspect-oriented programming. The runtime model checker is a concurrent thread with the execution thread of the dynamic software, and is an automaton which can accept exactly the set of executions that satisfy the given specification defined by LTL. So the proposed runtime model checker can monitor and verify the architecture evolution of a dynamic software system continuously at runtime. © 2011 IEEE.

关键词： Aspect oriented programming

来源：评论

学校读者我要写书评

暂无评论

An Implementation of A^xml(T): An Answer Set programming Based Formal Language of Authorisation for XML Documents

An Implementation of <i>A<SUP>xml(T)</SUP></i>: An Answer Se...

引用

2nd international workshop on Communications Security and Information Assurance (CSIA 2011)

作者： Policarpio, Sean Bai, Yun Univ Western Sydney Intelligent Syst Lab Sch Comp & Math Penrith NSW 1797 Australia

ISBN: (纸本)9783642219368

A(xml(T)) is a logic-based formal language of authorisation for documents written in the Extensible Markup Language. In our previous publication, we addressed the issues of the syntax, semantics, and expressive power that it has to specify access control and to query XML encoded data. In this paper, we consider an experimental implementation to test its capability to allow and restrict access to XML documents. The software implementation will allow us to define a security policy base and then reason upon it to determine authorisations. From there we can discover A(xml(T))'s capacity to provide XML access control and any limitations it may have. Also, from this experiment we will have an initial building block for establishing an actual XML access control application.

关键词： XML databases and security access control authorisation knowledge representation and reasoning logic programming

来源：评论

学校读者我要写书评

暂无评论

3rd international Conference on Software, Services and Semantic Technologies, S3T 2011

3rd International Conference on Software, Services and Seman...

引用

3rd international Conference on Software, Services and Semantic Technologies, S3T 2011

ISBN: (纸本)9783642231629

The proceedings contain 66 papers. The special focus in this conference is on Intelligent Content, Semantics, knowledge Management, Business Intelligence and Innovation. The topics include: News article classification based on a vector representation including words’ collocations;classification of online reviews by computational semantic lexicons;reason-able view of linked data for cultural heritage;semantic retrieval approach to factoid question answering for bulgarian;using semantic relations for representing long-term user interests;integrating internet protocol television and social networking;clustering and visualization of ecg signals;visualizing and presenting story maps in TM4Book;a fuzzy bat clustering method for ergonomic screening of office workplaces;the influence of global constraints on DTW and LCS similarity measures for time-series databases;social network analysis in professional e-recruitment;a system integrating agent services with jms for shared battlefield situation awareness;a model for fuzzy logic assessment of real estate investment risks;towards the foundation for read-write governance of civilizations;an analysis and forecast of software and services research in bulgaria;a fuzzy system model for task implementation in extreme programming process;integration of natural language processing chains in content management systems;supporting interactive IPTV apps with an enterprise resource bus and service oriented architecture applied to provide inter-operability between macedonian MoD and NATO.

关键词：

来源：评论

学校读者我要写书评

暂无评论

0.5V Bit-Line-Voltage Self-Boost-programming in Ferroelectric-NAND Flash Memory

0.5V Bit-Line-Voltage Self-Boost-Programming in Ferroelectri...

引用

IEEE international Memory workshop (IMW)

作者： Xizhen Zhang Kousuke Miyaji Mitsue Takahashi Ken Takeuchi Shigeki Sakai National Institute for Advanced Industrial Science and Technology Tsukuba Ibaraki Japan Department of Electrical Engineering and Information Systems University of Tokyo Tokyo Japan

Self-boost-programming for ferroelectric-NAND (Fe-NAND) flash memory was investigated by using a miniature memory cell array, which could reduce bit-line voltages for programming. As the best performance, 0.5V bit-line-voltage programming with 10μs-pulse width was successfully demonstrated. This study indicated that the Fe-NAND flash memory can be operated by much lower power consumption than that of a conventional floating gate (FG-) NAND.

关键词： Flash memory programming Arrays Transistors Silicon Nonvolatile memory logic gates

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：