1024 search results - page 40 / 205 » Compositional Methods for Probabilistic Systems |
102
click to vote
CODES
2007
IEEE
15 years 7 months ago
2007
IEEE
Compositional approaches to system-level performance analysis have shown great flexibility and scalability in the design of heterogeneous systems. These approaches often assume c...
138
click to vote
ICMAS
1998
15 years 2 months ago
1998
In this paper, a model is proposed for multi-agent probabilistic reasoning in a distributed environment. Unlike other methods, this model is capable of processing input in a truly...
100
click to vote
BMVC
2002
15 years 3 months ago
2002
This paper investigates the combination of spatial and probabilistic models for reasoning about pedestrian behaviour in visual surveillance systems. Models are learnt by a multi-s...
111
click to vote
CORR
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. Monotone systems of polynomial equations (MSPEs) are systems of fixedpoint equations X1 = f1(X1, . . . , Xn), . . . , Xn = fn(X1, . . . , Xn) where each fi is a polynomia...
105
click to vote
TVLSI
2008
15 years 1 months ago
2008
ion levels. The framework also supports the generation of test constraints, which can be satisfied using a constraint solver to generate tests. A compositional verification approac...