472 search results - page 48 / 95 » Limiting Negations in Formulas |
TCC
2005
Springer
14 years 3 months ago
2005
Springer
We study the limitations of steganography when the sender is not using any properties of the underlying channel beyond its entropy and the ability to sample from it. On the negati...
DATE
2010
IEEE
14 years 3 months ago
2010
IEEE
—Parallel file systems are very sensitive to adverse conditions, and the lack of synergy between such file systems and some of the applications running on them has a negative i...
WOLLIC
2010
Springer
14 years 3 months ago
2010
Springer
In type logical categorial grammar the analysis of an expression is a resource-conscious proof. Anaphora represents a particular challenge to this approach in that the antecedent ...
INFOCOM
2000
IEEE
14 years 2 months ago
2000
IEEE
Abstract— It has been claimed that multicast state cannot be aggregated. In this paper, we will debunk this myth and present a simple technique that can be used to aggregate mult...
DAC
1997
ACM
14 years 2 months ago
1997
ACM
This paper presents a verification technique which is specifically targeted to formally comparing large combinational circuits with some structural similarities. The approach co...