1743 search results - page 78 / 349 » Generalized Modal Satisfiability |
127
Voted
CCS
2008
ACM
15 years 2 months ago
2008
ACM
Although biometrics have garnered significant interest as a source of entropy for cryptographic key generation, recent studies indicate that many biometric modalities may not actu...
96
Voted
ATAL
2010
Springer
15 years 1 months ago
2010
Springer
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...
98
Voted
CVPR
2010
IEEE
15 years 27 days ago
2010
IEEE
We present topic-regression multi-modal Latent Dirichlet Allocation (tr-mmLDA), a novel statistical topic model for the task of image and video annotation. At the heart of our new...
107
Voted
ACL
2009
14 years 10 months ago
2009
In this paper we describe the Rovereto Emotive Corpus (REC) which we collected to investigate the relationship between emotion and cooperation in dialogue tasks. It is an area whe...
103
Voted
SIGIR
2011
ACM
14 years 3 months ago
2011
ACM
The Bag-Of-Visual-Words (BOVW) paradigm is fast becoming a popular image representation for Content-Based Image Retrieval (CBIR), mainly because of its better retrieval effectiven...