An algorithm for solving thesatisfiability problem is presented. It is proved that this algorithmsolves 2-SAT and Horn-SAT in linear time and k-positive SAT(in
The paper discusses semantics ofencodings in logical frameworks where equalities in object calculi arerepresented by families of types as the case in ELF.The no
A view in object oriented databasescorresponds to virtual schema with restructured generalization anddecomposition hierarchies. Numbers of view creation methodo
This paper establishes a formal modelfor hybrid diagnosis, novel features including: (1) It provides aunified theoretical framework for utilizing device models
Double-loop is a very popular structure in loop network topology. Areconfigurable bi-directional double-loop structure is recentlydeveloped. It has a new struct
This paper introduces the modifications onactions of a topology on names of actions and the simplest topology onagents induced by a topology on names of actions
In this paper, we propose a new arcconsistency algorithm, AC-8, whichrequires less computation time andspace than AC-6 and AC-7. The main idea oftheoptimization
A kind of loop function LoopN inGenetic Programming (GP) is proposed.Different from other forms of loopfunction, such as While-Do and Repeat-Until, LoopNtakes o