Conflict resolution is an important issue in knowledge representation and reasoning. A common idea of solving conflicts in reasoning is to introduce priorities in the underlying reasoning mechanism. This paper describ...
详细信息
Conflict resolution is an important issue in knowledge representation and reasoning. A common idea of solving conflicts in reasoning is to introduce priorities in the underlying reasoning mechanism. This paper describes an implementation of the propositional version of prioritized logic programs (PLPs) proposed by Zhang and Foo recently [7]. As a central part of the system development, in this paper we outline the basic structure of the system, discuss major algorithms of computing answer sets of PLPs and illustrate the system performance based on various testing samples.
This book isn't designed to be just another theoretical text on statistics or data mining. Instead, it's aimed at database administrators who want to buttress their understanding of statistics to support data ...
详细信息
ISBN:
(纸本)9781893115545
This book isn't designed to be just another theoretical text on statistics or data mining. Instead, it's aimed at database administrators who want to buttress their understanding of statistics to support data mining and customer relationship management, and analytics, and who want to use Structured Query Language. Each chapter is independent and self-contained with examples that are tailored to business applications. Each analysis technique will be expressed in a mathematical format that lends itself to coding either as a database query or as a Visual Basic procedure using SQL.
在线阅读本书This book constitutes the refereed proceedings of the First International Workshop on algorithms in Bioinformatics, WABI 2001, held in Aarhus, Denmark, in August *** 23 revised full papers presented were c...
详细信息
ISBN:
(纸本)9783540425168
在线阅读本书This book constitutes the refereed proceedings of the First International Workshop on algorithms in Bioinformatics, WABI 2001, held in Aarhus, Denmark, in August *** 23 revised full papers presented were carefully reviewed and selected from more than 50 submissions. Among the issues addressed are exact and approximate algorithms for genomics, sequence analysis, gene and signal recognition, alignment, molecular evolution, structure determination or prediction, gene expression and gene networks, proteomics, functional genomics, and drug design; methodological topics from algorithmics; high-performance approaches to hard computational problems in bioinformatics. length: (cm)23.3 width:(cm)15.4
This paper describes an experimental investigation of adaptive control algorithms applied to aeroacoustic instabilities. The study is carried out on a cold how experimental rig, designed to reproduce the essential fea...
详细信息
This paper describes an experimental investigation of adaptive control algorithms applied to aeroacoustic instabilities. The study is carried out on a cold how experimental rig, designed to reproduce the essential features of acoustically coupled vortex shedding. This mechanism is the source of thrust oscillations in large segmented solid rocket motors. It is also found in a wide variety of combustion instabilities. Two adaptive control strategies are investigated and selected experimental results are reported. These results show the feasibility of control. The effect of the controller on the instability mechanism is analyzed and improvements to the control strategy are proposed. (C) 2000 Academic Press.
暂无评论