920 search results - page 15 / 184 » Computing the Frequency of Partial Orders |
TPHOL
1995
IEEE
13 years 11 months ago
1995
IEEE
This paper presents a survey of HOLCF, a higher order logic of computable functions. The logic HOLCF is based on HOLC, a variant of the well known higher order logic HOL, which o e...
PPAM
2007
Springer
14 years 1 months ago
2007
Springer
The concept of a partial derangement is introduced and a versatile representation of partial derangements is proposed with permutations and derangements as special cases. The repre...
ICC
2007
IEEE
14 years 2 months ago
2007
IEEE
— The aggregate capacity of wireless mesh networks can be increased by the use of multiple frequency channels and multiple network interface cards in each router. Recent results ...
GECCO
2010
Springer
13 years 11 months ago
2010
Springer
We analyze various forms of the Frequency Assignment Problem using the theory of elementary landscapes. We show that three variants of the Frequency Assignment Problem are either ...
ICIP
2007
IEEE
14 years 9 months ago
2007
IEEE
We present a method to compute the steganographic capacity for images, with odd-even based hiding in the quantized discrete cosine transform domain. The method has been generalize...