We have studied the AC-4 algorithm and then present value ordering heuristic for solving algorithm BT-MSV which is based on the AC-4 algorithm. This algorithm takes full advantage of supported information which is rec...
详细信息
Description Logics are formalisms for representing knowledge of various domains in a structured and formally well-understood way. Typically, DLs are limited to dealing with precise and well defined concepts. In this p...
详细信息
ISBN:
(纸本)9781601320254
Description Logics are formalisms for representing knowledge of various domains in a structured and formally well-understood way. Typically, DLs are limited to dealing with precise and well defined concepts. In this paper we first present a fuzzy extension of ALC and define its syntax and semantics. Then we devote to taking advantage of the expressive power and reasoning capabilities of fuzzy ALC by encoding flexible planning problems within the framework of fuzzy ALC. Both theory and experimental results have shown that our method is sound and efficient.
We have studied the AC-4 algorithm and then present key value ordering heuristic forming the new solving algorithm BT-KVV, which is based on the AC-4 algorithm. This algorithm takes full advantage of the state informa...
详细信息
In this paper, we develop a generic black-box expectation propagation (BBEP) algorithm that can be directly applied to Bayesian models without model-specific derivations. BBEP is built on the spirit of using Monte Car...
详细信息
In computer image processing, optical flow is a classic task used to track the motion of pixels. In the field of robotics, methods like SLAM extensively employ sparse optical flow as a substitute for time-consuming fe...
详细信息
It has been observed that both cancer tissue cells and normal proliferating cells(NPCs)have the Warburg *** goal here is to demonstrate that they do this for different *** accomplish this,we have analyzed the transcri...
详细信息
It has been observed that both cancer tissue cells and normal proliferating cells(NPCs)have the Warburg *** goal here is to demonstrate that they do this for different *** accomplish this,we have analyzed the transcriptomic data of over 7000 cancer and control tissues of 14 cancer types in TCGA and data of five NPC types in *** analyses reveal that NPCs accumulate large quantities of ATPs produced by the respiration process before starting the Warburg effect,to raise the intracellular pH from 6.8 to 7.2 and to prepare for cell division *** cell cycle starts,the cells start to rely on glycolysis for ATP generation followed by ATP hydrolysis and lactic acid release,to maintain the elevated intracellular pH as needed by cell division since together the three processes are pH *** cells go back to the normal respirationbased ATP production once the cell division phase *** comparison,cancer cells have reached their intracellular pH at 7.4 from top down as multiple acid-loading transporters are up-regulated and most acid-extruding ones except for lactic acid exporters are *** cells use continuous glycolysis for ATP production as way to acidify the intracellular space since the lactic acid secretion is decoupled from glycolysis-based ATP generation and is pH balanced by increased expressions of acid-loading ***-expression analyses suggest that lactic acid secretion is regulated by external,non-pH related ***,our data strongly suggest that the two cell types have the Warburg effect for very different reasons.
One of the major problems of axiom pinpointing for incoherent terminologies is the precise positioning within the conflict axioms. In this paper we present a formal notion for the entailment-based axiom pinpointing of...
详细信息
One of the major problems of axiom pinpointing for incoherent terminologies is the precise positioning within the conflict axioms. In this paper we present a formal notion for the entailment-based axiom pinpointing of incoherent terminologies, where the parts of an axiom is defined by atomic entailment. Based on these concepts, we prove the one-to-many relationship between existing axiom pinpointing with the entailment-based axiom pinpointing. For its core task, calculating minimal unsatisfiable entailment, we provide algorithms for OWL DL terminologies using incremental strategy and Hitting Set Tree algorithm. The feasibility of our method is shown by case study and experiment evaluations.
In this paper an intrusion detection method based on Dynamic Growing Neural Network (DGNN) for wireless networking is presented. DGNN is based on the Hebbian learning rule and adds new neurons under certain conditions...
详细信息
According to the security features of WiMAX-based wireless communication network, a fresh new wireless communication authentication protocol called WCAP was advanced and designed adopting the dual-key authentication s...
详细信息
Based on the vast domain resources of RDF (S) on the web and SPARQL's powerful query ability, this article presents a new method of designment of E-R model. The steps for this design are: (1) Formu- lating SPARQL ...
详细信息
Based on the vast domain resources of RDF (S) on the web and SPARQL's powerful query ability, this article presents a new method of designment of E-R model. The steps for this design are: (1) Formu- lating SPARQL rules (including resource query rules and schema query rules) by the analysis of RDF (S)'s structure. (2) Parsing the optimal resource obtained through the query sentences. (3) Completing the de- signment by taking advantages of the translation from RDF (S) model to entity-relationship model in accordance with the content queried. The re- sults indicate that, the designment of E-R model based on RDF (S) could restore user real requirements of great possibilities and help database de- signer to complete design in a strange area.
暂无评论