4190 search results - page 834 / 838 » Implementing commitment-based interactions |
JOCN
2010
14 years 8 months ago
2010
■ Distraction and reappraisal are two commonly used forms of cognitive emotion regulation. Functional neuroimaging studies have shown that each one depends upon interactions bet...
MICS
2010
14 years 8 months ago
2010
Abstract. There is something of a discontinuity at the heart of popular tactical theorem provers. Low-level, fully-checked mechanical proofs are large trees consisting of primitive...
TCOM
2010
14 years 8 months ago
2010
—Cooperative spectrum sensing has been shown to be able to greatly improve the sensing performance in cognitive radio networks. However, if cognitive users belong to different se...
TVCG
2010
14 years 8 months ago
2010
—Although direct volume rendering is established as a powerful tool for the visualization of volumetric data, efficient and reliable feature detection is still an open topic. Us...
DLOG
2010
14 years 8 months ago
2010
In this paper we outline an algebraic tableau algorithm for the DL SHOQ, which supports more informed reasoning due to the use of semantic partitioning and integer programming. We ...