891 search results - page 128 / 179 » Full Abstraction for PCF |
SUM
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Argumentation is a promising approach for handling inconsistent knowledge bases, based on the justification of plausible conclusions by arguments. Due to inconsistency, ...
TCOM
2010
13 years 6 months ago
2010
Abstract—In this paper, we propose a spectrally efficient cooperative transmission protocol for multiple access scenarios. The key feature is to utilize multi-user diversity and...
TIP
2010
13 years 6 months ago
2010
Abstract—We present the results of a recent large-scale subjective study of video quality on a collection of videos distorted by a variety of application-relevant processes. Meth...
WRLA
2010
13 years 6 months ago
2010
Abstract. If a set of equations E∪Ax is such that E is confluent, terminating, and coherent modulo Ax, narrowing with E modulo Ax provides a complete E∪Ax-unification algorit...
BIOCOMP
2010
13 years 5 months ago
2010
Abstract-- Modeling the intermolecular reactions in a single cell is a critical problem in computational biology. Biochemical reaction systems often involve species in both low and...