13917 search results - page 223 / 2784 » Abstraction of Probabilistic Systems |
213
click to vote
ENTCS
2006
15 years 7 months ago
2006
In the past, partial order reduction has been used successfully to combat the state explosion problem in the context of model checking for non-probabilistic systems. For both line...
293
click to vote
CLIMA
2011
14 years 7 months ago
2011
Multi-agent systems are an increasingly important software paradigm and in many of its applications agents cooperate to achieve a particular goal. This requires the design of effi...
174
click to vote
IROS
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper presents a method to recognize and generate sequential motions for object manipulation such as placing one object on another or rotating it. Motions are learned usin...
171
click to vote
ACL
2000
15 years 8 months ago
2000
An approach to automatic detection of syllable structure is presented. We demonstrate a novel application of EM-based clustering to multivariate data, exempli ed by the induction ...
174
click to vote
ECAI
2010
Springer
15 years 8 months ago
2010
Springer
We introduce First Order ProbLog, an extension of first order logic with soft constraints where formulas are guarded by probabilistic facts. The paper defines a semantics for FOPro...