Logical analysis of demonic nondeterministic programs

By Demri S.   Orlowska E.  

Theoretical Computer Science, Vol. 166, Iss. 1, 1996-10 ,pp. : 173-202

Elsevier

Access to resources Recommend Favorite

Hybrid probabilistic programs

By Dekhtyar A.   Subrahmanian V.S.  

The Journal of Logic Programming, Vol. 43, Iss. 3, 2000-06 ,pp. : 187-250

Elsevier

Access to resources Recommend Favorite

Reasoning about orchestrations of web services using partial correctness

By Stewart Alan   Gabarro Joaquim   Keenan Anthony  

Formal Aspects of Computing, Vol. 25, Iss. 6, 2013-11 ,pp. : 833-846

Springer Publishing Company

Access to resources Recommend Favorite

Computation by 'While' programs on topological partial algebras

By Tucker J.V.   Zucker J.I.  

Theoretical Computer Science, Vol. 219, Iss. 1, 1999-05 ,pp. : 379-420

Elsevier

Access to resources Recommend Favorite

Human Pose Estimation Using Partial Configurations and Probabilistic Regions

By Roberts Timothy   McKenna Stephen   Ricketts Ian  

International Journal of Computer Vision, Vol. 73, Iss. 3, 2007-07 ,pp. : 285-306

Springer Publishing Company

Access to resources Recommend Favorite