322 search results - page 36 / 65 » Expressive power and abstraction in Essence |
153
click to vote
ICC
2008
IEEE
16 years 16 days 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...
169
click to vote
KI
2007
Springer
16 years 7 days 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...
215
click to vote
IDA
2005
Springer
15 years 11 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...
139
click to vote
IFL
2005
Springer
15 years 11 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...
154
click to vote
CSL
2004
Springer
15 years 11 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...