3238 search results - page 65 / 648 » On the Computational Interpretation of Negation |
295
click to vote
POPL
2004
ACM
16 years 6 months ago
2004
ACM
We present a polynomial time randomized algorithm for global value numbering. Our algorithm is complete when conditionals are treated as non-deterministic and all operators are tr...
184
click to vote
IWCMC
2006
ACM
16 years 4 days ago
2006
ACM
Multipath fading heavily contributes to the unreliability of wireless links, causing fairly large deviations from link quality predictions based on path loss models; its impact on...
163
click to vote
EUROPAR
2003
Springer
15 years 11 months ago
2003
Springer
The software architecture of distributed systems is about to change due to new requirements of modern mobile devices. New network techniques, like ad-hoc radio communication or pee...
139
click to vote
COLING
2002
15 years 6 months ago
2002
: Motivated by a systematic representation of the Chinese aspect forms that explores their intrinsic semantics and temporal logical relations, we are constructing a Chinese aspect ...
199
click to vote
TIT
2010
15 years 27 days ago
2010
Upper and lower bounds are obtained for the joint entropy of a collection of random variables in terms of an arbitrary collection of subset joint entropies. These inequalities gene...