Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

2 results
Keywords : graph partitioning
Page :
sorted by
Image document

Improved Iterative Methods for Verifying Markov Decision Processes

 Jaber Karimpour , Ayaz Isazadeh , Mohammadsadegh Mohagheghi , Khayyam Salehi
6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.207-214, ⟨10.1007/978-3-319-24644-4_14⟩
Conference papers hal-01446601v1
Image document

Markov Chains and Spectral Clustering

 Ning Liu , William J. Stewart
Performance Evaluation of Computer and Communication Systems (PERFORM), Oct 2010, Vienna, Austria. pp.87-98, ⟨10.1007/978-3-642-25575-5_8⟩
Conference papers hal-01586907v1
Page :