13026 search results - page 398 / 2606 » Probabilistic Relational Models |
125
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Knowing the largest rate at which data can be sent on an end-to-end path such that the egress rate is equal to the ingress rate with high probability can be very practical when ch...
130
Voted
ENTCS
2007
15 years 4 months ago
2007
We define a logic EpCTL for reasoning about the evolution of probabilistic systems. System states correspond to probability distributions over classical states and the system evo...
237
click to vote
FASE
2011
Springer
14 years 8 months ago
2011
Springer
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...
135
click to vote
ICPR
2004
IEEE
16 years 6 months ago
2004
IEEE
The management of big databases of threedimensional models (used in CAD applications, visualization, games, etc.) is a very important domain. The ability to characterize and easil...
138
click to vote
3DPVT
2004
IEEE
15 years 8 months ago
2004
IEEE
The management of big databases of three-dimensional models (used in CAD applications, visualization, games, etc.) is a very important domain. The ability to characterize and easi...