3353 search results - page 49 / 671 » Laver and set theory |
BIRTHDAY
2006
Springer
15 years 1 months ago
2006
Springer
Following M. Krachounov ([5]), max and min operations with fuzzy sets are considered instead of Lukasiewicz ones ([6], [7], [8], [9]). Her the domain F of a probability m : F [0, ...
AMAI
2006
Springer
14 years 9 months ago
2006
Springer
We show that the concepts of strong and uniform equivalence of logic programs eneralized to an abstract algebraic setting of operators on complete lattices. Our results imply char...
JELIA
2004
Springer
15 years 3 months ago
2004
Springer
The Nelson-Oppen combination method combines decision procedures for theories satisfying certain conditions into a decision procedure for their union. While the method is known to ...
DAM
2008
14 years 9 months ago
2008
This paper presents the axioms of a real time random walk on the set of states of a medium and some of their consequences, such as the asymptotic probabilities of the states. The ...
INFOCOM
2009
IEEE
15 years 4 months ago
2009
IEEE
—Wireless networks are increasingly used to carry applications with QoS constraints. Two problems arise when dealing with traffic with QoS constraints. One is admission control,...