( en | de | ru )

 

Disambiguation of "Hamza, Abdessamad Ben"

Author of the publication

copydeleteadd this publication to your clipboard
Verifying concurrent probabilistic systems using probabilistic-epistemic logic specifications.

, , , and . Appl. Intell., 45 (3): 747-776 (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Hamza Hamza

Abdessamad Ezzahar

Abdessamad Ouardi

Hamza Aldabbas

Hamza Agli

 

Other publications of authors with the same name

Shape Retrieval of Non-Rigid 3D Human Models., , , , , , , , , and 18 other author(s). 3DOR@Eurographics, page 101-110. Eurographics Association, (2014)A video completion method based on bandlet transform., , and . ICME, page 1-6. IEEE Computer Society, (2011)Feature-preserving kernel diffusion for surface denoising., and . ICIP, page 2973-2976. IEEE, (2009)Masked Supervised Learning for Semantic Segmentation., and . BMVC, page 417. BMVA Press, (2022)Quantitative Model Checking of Knowledge., , and . SoMeT, volume 246 of Frontiers in Artificial Intelligence and Applications, page 91-107. IOS Press, (2012)Automatic Inpainting Scheme for Video Text Detection and Removal., , and . IEEE Trans. Image Process., 22 (11): 4460-4472 (2013)Geodesic-based 3D Shape Retrieval Using Sparse Autoencoders., and . 3DOR@Eurographics, page 21-28. Eurographics Association, (2018)Fast Shape Re-ranking with Neighborhood Induced Similarity Measure., , , and . CAIP (1), volume 6854 of Lecture Notes in Computer Science, page 261-268. Springer, (2011)Retrieval and Classification on Textured 3D Models., , , , , , , , , and 8 other author(s). 3DOR@Eurographics, page 111-120. Eurographics Association, (2014)Stochastic optimization approach for entropic image alignment., , , and . ISIT, page 2126-2130. IEEE, (2008)