4013 search results - page 476 / 803 » computing 2002 |
172
click to vote
ENTCS
2002
15 years 6 months ago
2002
We present a novel technique called comparison checking that helps optimizer writers debug optimizers by testing, for given inputs, that the semantics of a program are not changed...
179
click to vote
ENTCS
2002
15 years 6 months ago
2002
This paper presents an argumentation based framework to support an agent's deliberation process for drawing conclusions under a given policy. The argumentative policy of the ...
166
click to vote
ENVSOFT
2002
15 years 6 months ago
2002
Radiative perturbation theory is a computational technique which can greatly ease the burden of repeated solution of the radiative transfer equation for model atmospheres which di...
151
click to vote
ETS
2002
IEEE
15 years 6 months ago
2002
IEEE
This study describes the use of technology to enhance an experiential adult learning process, which occurred in a participatory organizational climate assessment. In this case, co...
206
click to vote
ENTCS
2002
15 years 6 months ago
2002
d Abstract) Naoshi Tabuchi Eijiro Sumii Akinori Yonezawa 1 Department of Computer Science, Graduate School of Information Science and Technology, University of Tokyo We present re...