14704 search results - page 290 / 2941 » computing 2007 |
130
click to vote
ENTCS
2007
15 years 4 months ago
2007
Many programming calculi have been designed to have a Curry-Howard correspondence with a classical logic. We investigate the effect that different choices of logical connective ha...
128
click to vote
IJDE
2007
15 years 4 months ago
2007
In this paper we discuss the potential role of virtual environments in the analysis phase of computer forensics investigations. General concepts of virtual environments and softwa...
126
click to vote
CVPR
2007
IEEE
16 years 6 months ago
2007
IEEE
A framework for the regularized estimation of nonuniform dimensionality and density in high dimensional data is introduced in this work. This leads to learning stratifications, th...
116
click to vote
CHI
2007
ACM
16 years 4 months ago
2007
ACM
Emotion is a topic of growing interest in the HCI community. Studying emotion within the HCI discipline is an exciting interdisciplinary task. This can be facilitated by the excha...
137
click to vote
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
The design and maintenance of large computational science systems can be aided greatly by the use of generic computational science libraries. The objectoriented design of software...