Sciweavers

1636 search results - page 3 / 328
» Reasoning About Quantum Systems
Sort
View
107
Voted
ICMLA
2010
14 years 7 months ago
A Probabilistic Graphical Model of Quantum Systems
Quantum systems are promising candidates of future computing and information processing devices. In a large system, information about the quantum states and processes may be incomp...
Chen-Hsiang Yeang
KR
1994
Springer
15 years 1 months ago
Reasoning in Logic about Continuous Systems
Benjamin Kuipers, Benjamin Shults
ICECCS
2002
IEEE
86views Hardware» more  ICECCS 2002»
15 years 2 months ago
Reasoning about Asynchronous Behaviour in Distributed Systems
When a new component is added to an existing, distributed system, it has to co-operate with existing components in a way that doesn’t interfere badly with the original system. A...
Peter Henderson