322 search results - page 36 / 65 » Expressive power and abstraction in Essence |
ICC
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract— We consider a discrete-time frequencyselective block-fading channel with Rayleigh fading and correlated scattering. This is relevant in the area of UWB and if transceiv...
89
Voted
KI
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. The aim of this paper is to present a formal semantics inspired by the notion of Mental Imagery, largely researched in Cognitive Science and Experimental Psychology, that...
146
click to vote
IDA
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. This paper introduces Higher-Order Bayesian Networks, a probabilistic reasoning formalism which combines the efficient reasoning mechanisms of Bayesian Networks with the...
IFL
2005
Springer
15 years 5 months ago
2005
Springer
The iData Toolkit is a toolkit that allows programmers to create interactive, type-safe, dynamic web applications with state on a high level of abstraction. The key element of this...
CSL
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Security properties are profitably expressed using notions of contextual equivalence, and logical relations are a powerful proof technique to establish contextual equiva...