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 mer...
详细信息
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 ...
详细信息
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 se...
详细信息
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 logicprogramming, 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.
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 t...
详细信息
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.
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 ...
详细信息
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.
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 ...
详细信息
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 ...
详细信息
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 ...
详细信息
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.
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...
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.
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-lin...
详细信息
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.
暂无评论