13917 search results - page 188 / 2784 » Abstraction of Probabilistic Systems |
178
click to vote
SRDS
2003
IEEE
16 years 11 days ago
2003
IEEE
In multipeer communication decentralised probabilistic protocols have received a lot of attention because of their robustness against faults in the communication traffic and thei...
177
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
The past few years have seen a surge of interest in the field of probabilistic logic learning and statistical relational learning. In this endeavor, many probabilistic logics have...
215
click to vote
IANDC
2006
15 years 7 months ago
2006
Probabilistic verification of continuous-time stochastic processes has received increasing attention in the model-checking community in the past five years, with a clear focus on ...
206
click to vote
STTT
2011
15 years 2 months ago
2011
We present algorithms for parallel probabilistic model checking on general purpose graphic processing units (GPGPUs). Our improvements target the numerical components of the tradit...
192
click to vote
IJCNN
2007
IEEE
16 years 1 months ago
2007
IEEE
— Serious efforts to develop computerized systems for natural language understanding and machine translation have taken place for more than half a century. Some successful system...