120 search results - page 20 / 24 » Experimenting with Deduction Modulo |
86
Voted
ESOP
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Embedded information assurance applications that are critical to national and international infrastructures, must often adhere to certification regimes that require infor...
79
Voted
IUI
2003
ACM
15 years 2 months ago
2003
ACM
We present a probabilistic model, based on Dynamic Decision Networks, to assess user affect from possible causes of emotional arousal. The model relies on the OCC cognitive theory...
MM
2010
ACM
14 years 9 months ago
2010
ACM
This paper presents the results of a user study carried out to evaluate an application prototype in which an audio-visual chat conversation between two users is augmented by pictu...
ICDM
2009
IEEE
14 years 7 months ago
2009
IEEE
In this paper, we restudy the non-convex data factorization problems (regularized or not, unsupervised or supervised), where the optimization is confined in the nonnegative orthan...
SIGSOFT
2008
ACM
15 years 10 months ago
2008
ACM
Developers perform small-scale reuse tasks to save time and to increase the quality of their code, but due to their small scale, the costs of such tasks can quickly outweigh their...