The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
In this paper, we propose an optimized inpainting-based macroblock (MB) prediction mode (IP-mode) in the state-of-the-art H.264/AVC video compression engine, and investigate a natural extension of structured sparsity over the ordered Belief Propagation (BP) inference in inpainting-based prediction. The IP-mode is regularized by a global spatio-temporal consistency between the predicted content and...
In this paper, under linguistic truth-valued lattice-valued first-order logic system lF(X) , the Consistency of reasoning rules is obtained, by select the parametric ??,??, T and I of approximate input information from the fuzziness and the incomparability in the intelligent information processing. Secondly, with the representability of inference rules in model (1) investigated, we also study consistent...
Electronic commerce protocols are the basis of security in electronic commerce. Therefore, it is essential to ensure these protocols correctly. However, most current protocol analysis methods can only be used to analyze part of properties required by electronic commerce protocols. Rubin logic is a good method for analyzing security protocols. Considered the properties of electronic commerce protocols,...
In the present paper, based on lattice implication algebra, a kind of linguistic truth-valued propositional logic is constructed with some logic properties regarding reasoning being provided which can express both the comparable and incomparable truth values. Secondly, the satisfiability problem is discussed. J-true, J-false of a formula, J-similar literals and J-complementary literals are proposed...
In this paper we propose an selective inference platform based on OWL language. The platform includes a visual ontology design toolkit (VO-editor) and a selective inference algorithm engine based on graph. We introduce the VO-editor and propose the principle of selective inference algorithm. At last, a case of budget travel system is used to interpret how the platform is performed
The subject of this work is to establish a mathematical framework that provides the basis and tool for automated reasoning and uncertainty reasoning based on linguistic information. This paper focuses on a flexible and realistic approach, i.e., the use of linguistic terms, specially, the symbolic approach acts by direct computation on linguistic terms. An algebra model with linguistic terms, which...
The subject of this work is to establish a mathematical framework that provides the basis and tool for automated reasoning and uncertainty reasoning based on linguistic information. This paper focuses on a flexible and realistic approach, i.e., the use of linguistic terms, specially, the symbolic approach acts by direct computation on linguistic terms. An algebra model with linguistic terms, which...
An intelligent word semantic proofing system for special field is discussed deeply in this paper. Firstly, the flowchart of the semantic analysis is introduced. Secondly, the rigid reasoning and the soft reasoning are discussed in detail. Then the quotation judgment is presented for our experiment. Subsequently the bases and the modules in the system and their relations are illustrated. The experiment...
Uncertainty reasoning is one of important directions in the research field of artificial intelligence. Uncertainty reasoning theory and methods based on lattice-valued logic is sound in its strict logical foundation. In this paper, some methods for selecting appropriate parameters in the uncertainty reasoning process based on lattice-valued propositional logic Lscr6 are proposed
This paper presents a travel planning system, which is based on our Web resource aggregation platform and is designed for budget travelers to arrange their journey and budget. Ontologies for the tourism domain are built up with a new OWL-based visual ontology designer called VO-Editor. And a graph-based "selective" inference method is adopted to reason about related ontology knowledge, which...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.