: We review the cell projection method of volume rendering, discussing back-to-front cell sorting, and approximations involved in hardware color computation and interpolation. We d...
In conversation,a person sometimeshasto refer to anobjectthat is not previously known to the other participant. We present a planbased model of how agents collaborate on reference...
Background: The hierarchical clustering tree (HCT) with a dendrogram [1] and the singular value decomposition (SVD) with a dimension-reduced representative map [2] are popular met...
: (Entemann 2002) defends fuzzy logic by pointing to what he calls `misconceptions' concerning fuzzy logic. However, some of these `misconceptions' are in fact truths, an...
The language of the basic logic of proofs extends the usual propositional language by forming sentences of the sort x is a proof of F for any sentence F. In this paper a complete ...