Cited By
View all- Zhang YZhang YSang LSheng V(2024)Simplify to the Limit! Embedding-Less Graph Collaborative Filtering for Recommender SystemsACM Transactions on Information Systems10.1145/370123043:1(1-30)Online publication date: 19-Oct-2024
A complete and decidable Hoare-style calculus for iteration-free probabilistic sequential programs is presented using a state logic with truth-functional propositional (not arithmetical) connectives.
A complete and decidable propositional logic for reasoning about states of probabilistic sequential programs is presented. The state logic is then used to obtain a sound Hoare-style calculus for basic probabilistic sequential programs. The Hoare ...
Unknown publishers