نتایج جستجو برای: axiomatic

تعداد نتایج: 7135  

Journal: :Proceedings of the National Academy of Sciences 1945

Journal: :Electronic Proceedings in Theoretical Computer Science 2016

Journal: :Algebraic & Geometric Topology 2020

L. Y. Chung Y. H. Liao

By considering the supreme-utilities among fuzzy sets and the weights among participants simultaneously, we introduce the supreme-weighted value on fuzzy transferable-utility games. Further, we provide some equivalent relations to characterize the family of all solutions that admit a potential on weights. We also propose the dividend approach to provide alternative viewpoint for the potential a...

In this paper, we take a GL-quantale as the truth value table to study a new rough set model—L-valued fuzzy rough sets. The three key components of this model are: an L-fuzzy set A as the universal set, an L-valued relation of A and an L-fuzzy set of A (a fuzzy subset of fuzzy sets). Then L-valued fuzzy rough sets are completely characterized via both constructive and axiomatic approaches. 

2012
Sela Mador-Haim Luc Maranget Susmit Sarkar Kayvan Memarian Jade Alglave Scott Owens Rajeev Alur Milo M. K. Martin Peter Sewell Derek Williams

The growing complexity of hardware optimizations employed by multiprocessors leads to subtle distinctions among allowed and disallowed behaviors, posing challenges in specifying their memory models formally and accurately, and in understanding and analyzing the behavior of concurrent software. This complexity is particularly evident in the IBM® Power Architecture® , for which a faithful specifi...

2003
Jason W Melvin

Axiomatic design is investigated as a design methodology for large or complex system design. Particular considerations of system design are described and the suitability of axiomatic design for such considerations is discussed. Then, tools to enable successful application of axiomatic design to systems are developed. The tools are expressed as theorems for axiomatic system design. The first the...

Journal: :Theor. Comput. Sci. 1983
Neelam Soundararajan

In a research report we have proposed an axiomatic semantics for the language of communicating sequential processes (CSP: of Hoare (1978). In this paper, we use the axiomatic semantics to prove the correctness of a number of CSY programs.

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید