1094 search results - page 97 / 219 » On Computing Explanations in Argumentation |
EC
2000
14 years 11 months ago
2000
Holland's Adaptation in Natural and Artificial Systems largely dealt with how systems, comprised of many self-interested entities, can and should adapt as a whole. This semin...
CVPR
1997
IEEE
16 years 1 months ago
1997
IEEE
We present a method for computing dense visual correspondence based on general assumptions about scene geometry. Our algorithm does not rely on correlation, and uses a variable re...
142
click to vote
SIGMOD
2008
ACM
15 years 11 months ago
2008
ACM
There are several useful guides available for how to review a paper in Computer Science [10, 6, 12, 7, 2]. These are soberly presented, carefully reasoned and sensibly argued. As ...
103
Voted
FCT
2005
Springer
15 years 4 months ago
2005
Springer
We consider terms of simply typed lambda calculus in which copy of a subterm may not be inserted to the argument of itself during the reduction. The terms form wide class which inc...
GI
2001
Springer
15 years 3 months ago
2001
Springer
We present the verification of a protocol designed to ensure self-stabilization in a ring of processors. The proof is organized as a series of refinements; it is mechanized base...