1094 search results - page 101 / 219 » On Computing Explanations in Argumentation |
IAT
2005
IEEE
15 years 4 months ago
2005
IEEE
One research focus of human-centered teamwork is on advanced decision architectures that can help people make effective and timely decisions. This requires distributed team member...
LPAR
2005
Springer
15 years 4 months ago
2005
Springer
We propose to build an automated reasoning system for first-order logic (FOL) by translating reasoning problems to a fragment of FOL called coherent logic (CL) and then solving t...
COMPGEOM
2009
ACM
15 years 3 months ago
2009
ACM
We study the complexity of the visibility map of terrains whose triangles are fat, not too steep and have roughly the same size. It is known that the complexity of the visibility ...
108
click to vote
IJCNN
2000
IEEE
15 years 3 months ago
2000
IEEE
: This paper describes a rather novel method for the supervised training of regression systems that can be an alternative to feedforward Artificial Neural Networks (ANNs) trained w...
SIGCSE
1997
ACM
15 years 3 months ago
1997
ACM
When teaching a course in compiler design, it is conventional to introduce the iterative calculation of least fixed points quite late in the course, in the guise of iterative dat...