3446 search results - page 5 / 690 » A Reasoning Algorithm for pD* |
147
Voted
FASE
2011
Springer
14 years 1 months ago
2011
Springer
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...
123
click to vote
POPL
2012
ACM
13 years 5 months ago
2012
ACM
Differential privacy is a notion of confidentiality that protects the privacy of individuals while allowing useful computations on their private data. Deriving differential priva...
AAAI
1996
14 years 10 months ago
1996
We present a connectionist architecture that supports almost instantaneous deductive and abductive reasoning. The deduction algorithm responds in few steps for single rule queries...
ECSQARU
2007
Springer
15 years 3 months ago
2007
Springer
SIGSOFT
2010
ACM
14 years 7 months ago
2010
ACM
Concurrent program verification is challenging because it involves exploring a large number of possible thread interleavings together with complex sequential reasoning. As a resul...