Sciweavers

2038 search results - page 43 / 408
» Probabilistic Agent Programs
Sort
View
119
Voted
BC
2008
134views more  BC 2008»
15 years 2 months ago
Interacting with an artificial partner: modeling the role of emotional aspects
In this paper we introduce a simple model based on probabilistic finite state automata to describe an emotional interaction between a robot and a human user, or between simulated a...
Isabella Cattinelli, Massimiliano Goldwurm, N. Alb...
177
Voted
POPL
2012
ACM
13 years 10 months ago
Probabilistic relational reasoning for differential privacy
Differential privacy is a notion of confidentiality that protects the privacy of individuals while allowing useful computations on their private data. Deriving differential priva...
Gilles Barthe, Boris Köpf, Federico Olmedo, S...
95
Voted
ECSQARU
2005
Springer
15 years 8 months ago
Probabilistic Description Logic Programs
Thomas Lukasiewicz
SFM
2010
Springer
231views Formal Methods» more  SFM 2010»
15 years 7 months ago
Probabilistic Semantics and Program Analysis
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...