1187 search results - page 71 / 238 » Computation in Extended Argumentation Frameworks |
104
click to vote
AI
2008
Springer
15 years 1 months ago
2008
Springer
Local computation in join trees or acyclic hypertrees has been shown to be linked to a particular algebraic structure, called valuation algebra. There are many models of this alge...
126
click to vote
ENTCS
2006
15 years 1 months ago
2006
It is reasonable to assume that quantum computations take place under the control of the classical world. For modelling this standard situation, we introduce a Classically-control...
127
click to vote
CVPR
2008
IEEE
16 years 3 months ago
2008
IEEE
Human-aided computing proposes using information measured directly from the human brain in order to perform useful tasks. In this paper, we extend this idea by fusing computer vis...
128
click to vote
WFLP
2000
Springer
15 years 5 months ago
2000
Springer
We introduce a framework for assessing the effectiveness of partial evaluators in functional logic languages. Our framework is based on properties of the rewrite system that models...
112
click to vote
FOSSACS
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We introduce a domain-theoretic computational model for multivariable differential calculus, which for the first time gives rise to data types for differentiable functio...