1094 search results - page 168 / 219 » On Computing Explanations in Argumentation |
FOCS
2006
IEEE
14 years 4 months ago
2006
IEEE
We consider the minimum cost spanning tree problem under the restriction that all degrees must be at most a given value k. We show that we can efficiently find a spanning tree o...
MM
2006
ACM
14 years 3 months ago
2006
ACM
This paper tracks the development of the author’s work entitled Light Tracer, and examines the surrounding issues of user authorship and creativity within interactivity. Light T...
DSN
2005
IEEE
14 years 3 months ago
2005
IEEE
Hardware dependability improvements have led to a situation in which it is sometimes unnecessary to employ extensive hardware replication to mask hardware faults. Expanding upon o...
BIRTHDAY
2005
Springer
14 years 3 months ago
2005
Springer
I present a formalism that combines two methodologies: objective Bayesianism and Bayesian nets. According to objective Bayesianism, an agent’s degrees of belief (i) ought to sat...
TLCA
2005
Springer
14 years 3 months ago
2005
Springer
αProlog is a logic programming language which is well-suited for rapid prototyping of type systems and operational semantics of typed λ-calculi and many other languages involving...