13917 search results - page 212 / 2784 » Abstraction of Probabilistic Systems |
170
click to vote
TAL
2004
Springer
16 years 15 days ago
2004
Springer
Abstract. We define Probabilistic Constrained W-grammars (PCWgrammars), a two-level formalism capable of capturing grammatical frameworks used in two state of the art parsers, nam...
361
click to vote
ASIAN
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. This paper provides a Hoare-style logic for quantum computation. While the usual Hoare logic helps us to verify classical deterministic programs, our logic supports quant...
169
click to vote
ANOR
2010
15 years 7 months ago
2010
Abstract The paper provides a condition for differentiability as well as an equivalent criterion for Lipschitz continuity of singular normal distributions. Such distributions are o...
200
click to vote
JOC
2007
15 years 7 months ago
2007
Abstract. We address one of the most fundamental problems concerning the RSA cryptosystem: does the knowledge of the RSA public and secret key-pair (e, d) yield the factorization o...
186
click to vote
KI
2002
Springer
15 years 6 months ago
2002
Springer
Abstract. We propose ParleE, a quantitative, flexible and adaptive model of emotions for a conversational agent in a multi-agent environment capable of multimodal communication. Pa...