Search - IFIP Open Digital Library Access content directly

Filter your results

4 results
Structure: Internal structure identifier : 207543
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

Margin-Based Semi-supervised Learning Using Apollonius Circle

 Mona Emadi , Jafar Tanha
3rd International Conference on Topics in Theoretical Computer Science (TTCS), Jul 2020, Tehran, Iran. pp.48-60, ⟨10.1007/978-3-030-57852-7_4⟩
Conference papers hal-03165381v1
Image document

Automatic EOG and EMG Artifact Removal Method for Sleep Stage Classification

 Ali Abdollahi Gharbali , José Manuel Fonseca , Shirin Najdi , Tohid Yousefi Rezaii
7th Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Apr 2016, Costa de Caparica, Portugal. pp.142-150, ⟨10.1007/978-3-319-31165-4_15⟩
Conference papers hal-01438238v1
Image document

Verifying Observational Determinism

 Jaber Karimpour , Ayaz Isazadeh , Ali A. Noroozi
30th IFIP International Information Security Conference (SEC), May 2015, Hamburg, Germany. pp.82-93, ⟨10.1007/978-3-319-18467-8_6⟩
Conference papers hal-01345097v1
Page :