Partial correctness for probabilistic demonic programs

By McIver A.K.   Morgan C.  

Theoretical Computer Science, Vol. 266, Iss. 1, 2001-09 ,pp. : 513-541

Elsevier

Access to resources Recommend Favorite

Probabilistic symbolic model checking with PRISM: a hybrid approach

By Kwiatkowska Marta   Norman Gethin   Parker David  

International Journal on Software Tools for Technology Transfer, Vol. 6, Iss. 2, 2004-08 ,pp. : 128-142

Springer Publishing Company

Access to resources Recommend Favorite

Hybrid probabilistic-harmony search algorithm methodology in generation scheduling problem

By Estahbanati M.J.  

Journal of Experimental & Theoretical Artificial Intelligence, Vol. 26, Iss. 2, 2014-04 ,pp. : 283-296

Taylor & Francis Ltd

Access to resources Recommend Favorite

A hybrid probabilistic counter-based broadcast approach protocol for Mobile Ad hoc Networks

By Kathiravan K.   Divya V.   Selvi S. Thamarai  

International Journal of Ad Hoc and Ubiquitous Computing, Vol. 4, Iss. 2, 2009-03 ,pp. : 108-114

Inderscience Publishers

Access to resources Recommend Favorite

Probabilistic Structure from Sound

By Wang Chieh-Chih   Lin Chi-Hao   Hu Jwu-Sheng  

Advanced Robotics, Vol. 23, Iss. 12-13, 2009-09 ,pp. : 1687-1702

Taylor & Francis Ltd

Access to resources Recommend Favorite