Serwis Infona wykorzystuje pliki cookies (ciasteczka). Są to wartości tekstowe, zapamiętywane przez przeglądarkę na urządzeniu użytkownika. Nasz serwis ma dostęp do tych wartości oraz wykorzystuje je do zapamiętania danych dotyczących użytkownika, takich jak np. ustawienia (typu widok ekranu, wybór języka interfejsu), zapamiętanie zalogowania. Korzystanie z serwisu Infona oznacza zgodę na zapis informacji i ich wykorzystanie dla celów korzytania z serwisu. Więcej informacji można znaleźć w Polityce prywatności oraz Regulaminie serwisu. Zamknięcie tego okienka potwierdza zapoznanie się z informacją o plikach cookies, akceptację polityki prywatności i regulaminu oraz sposobu wykorzystywania plików cookies w serwisie. Możesz zmienić ustawienia obsługi cookies w swojej przeglądarce.
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
Podaj zakres dat dla filtrowania wyświetlonych wyników. Możesz podać datę początkową, końcową lub obie daty. Daty możesz wpisać ręcznie lub wybrać za pomocą kalendarza.