688 search results - page 92 / 138 » Computational Methods for Verification of Stochastic Hybrid ... |
VISUALIZATION
2002
IEEE
14 years 2 months ago
2002
IEEE
While many methods exist for visualising scalar and vector data, visualisation of tensor data is still troublesome. We present a method for visualising second order tensors in thr...
ICC
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract— We consider the problem of designing space-timefrequency linear dispersion (LD) codes in wideband multipleinput multiple-output (MIMO) antenna systems employing orthogo...
GECCO
2005
Springer
14 years 2 months ago
2005
Springer
Evolutionary Algorithms (EAs) have been largely applied to optimisation and synthesis of controllers. In spite of several successful applications and competitive solutions, the st...
NIPS
2004
13 years 10 months ago
2004
Belief propagation (BP) is an increasingly popular method of performing approximate inference on arbitrary graphical models. At times, even further approximations are required, wh...
VALUETOOLS
2006
ACM
14 years 3 months ago
2006
ACM
High-level stochastic description methods such as stochastic Petri nets, stochastic UML statecharts etc., together with specifications of performance variables (PVs), enable a co...