165 search results - page 16 / 33 » A Logic for Probability in Quantum Systems |
71
Voted
CORR
2010
Springer
14 years 9 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...
115
click to vote
TACAS
1998
Springer
15 years 1 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...
CIBCB
2006
IEEE
15 years 3 months ago
2006
IEEE
Abstract— Quantum mechanics and molecular dynamic simulation provide important insights into structural configurations and molecular interaction data today. To extend this atomi...
ACL
2003
14 years 11 months ago
2003
Standard IR systems can process queries such as “web NOT internet”, enabling users who are interested in arachnids to avoid documents about computing. The documents retrieved ...
105
click to vote
VMCAI
2010
Springer
15 years 6 months ago
2010
Springer
In the recent years, there have been a large amount of investigations on safety verification of uncertain continuous systems. In engineering and applied mathematics, this verificat...