759 search results - page 45 / 152 » On formal models for social verification |
MM
2009
ACM
15 years 2 months ago
2009
ACM
The automatic analysis of social interactions is attracting significant interest in the multimedia community. This work addresses one of the most important aspects of the problem...
PKDD
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We propose a learning approach for integrating formal knowledge into statistical inference by exploiting ontologies as a semantically rich and fully formal representation...
CORR
2008
Springer
14 years 10 months ago
2008
Springer
Synchronous languages rely on formal methods to ease the development of applications in an efficient and reusable way. Formal methods have been advocated as a means of increasing t...
CADE
2007
Springer
15 years 10 months ago
2007
Springer
Safety and security guarantees for individual applications in general depend on assumptions on the given context provided by distributed instances of operating systems, hardware pl...
190
click to vote
AMCS
2011
14 years 4 months ago
2011
Agents are a useful abstraction frequently employed as a basic building block in modeling service, information and resource sharing in global environments. The connecting of reques...