390 search results - page 28 / 78 » Probability Logic and Logical Probability |
112
Voted
DATE
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper presents a concurrent error detection technique targeted towards control logic in a processor with emphasis on low area overhead. Rather than detect all modeled transie...
174
click to vote
TACAS
1998
Springer
15 years 7 months ago
1998
Springer
Relay Ladder Logic (RLL) [4] is a programming language widely used for complex embedded control applications such as manufacturing and amusement park rides. The cost of bugs in RLL...
127
Voted
TIME
1998
IEEE
15 years 7 months ago
1998
IEEE
In this paper, we propose a logic of action and causality. The most important part of our contribution is a semantics that integrates action, temporal structure, and probability. ...
112
click to vote
ECSQARU
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In previous papers, we have presented a framework for merging structured information in XML involving uncertainty in the form of probabilities, degrees of beliefs and nec...
141
Voted
CORR
2011
Springer
14 years 7 months ago
2011
Springer
The theory revision problem is the problem of how best to go about revising a deficient domain theory using information contained in examples that expose inaccuracies. In this pa...