36 search results - page 2 / 8 » Symbolic Preconditioning with Taylor Models: Some Examples |
VTC
2007
IEEE
13 years 11 months ago
2007
IEEE
—This paper reviews the pertinence and statistical behavior of symbol-spaced tapped-delay-line (TDL) models which are widely used to model wide-sense stationary uncorrelated scat...
IWFM
2003
13 years 7 months ago
2003
We outline a possible logic that will allow us to give a unified approach to reasoning about computational effects. The logic is given by extending Moggi’s computational λ-cal...
IANDC
2008
13 years 5 months ago
2008
We are interested in the design of automated procedures for analyzing the (in)security of cryptographic protocols in the Dolev-Yao model for a bounded number of sessions when we t...
APSEC
1999
IEEE
13 years 10 months ago
1999
IEEE
The Object Constraint Language (OCL) is a precise language which could be used for describing constraints on object-oriented models and other modelling artifacts. The kind of cons...
IJCAI
2007
13 years 7 months ago
2007
Compiling Bayesian networks (BNs) is one of the hot topics in the area of probabilistic modeling and processing. In this paper, we propose a new method of compiling BNs into multi...