( en | de | ru )

 

Disambiguation of "Kalantari, Leila"

Author of the publication

copydeleteadd this publication to your clipboard
A Model Checker for Verifying ConGolog Programs.

, and . AAAI/IAAI, page 953-954. AAAI Press / The MIT Press, (2002)

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.

Hossein Kalantari

Ashkan Kalantari

Davood Kalantari

Joakim Kalantari

Vida Zohrabi-Kalantari

 

Other publications of authors with the same name

On visual quality of optimal 3D sampling and reconstruction., , , , , , and . Graphics Interface, volume 234 of ACM International Conference Proceeding Series, page 265-272. ACM Press, (2007)Using semantic web approach in augmented audio reality system for museum visitors., , and . WWW (Alternate Track Papers & Posters), page 386-387. ACM, (2004)Uncertainty quantification for multiclass data description., , and . CoRR, (2021)Density Functional Theory Study of Metal and Metal-Oxide Nucleation and Growth on the Anatase TiO2(101) Surface., , and . Comput., 9 (11): 125 (2021)Evaluating similarity measures for hyperspectral classification of tree species at Ordway-Swisher Biological Station., , , and . IGARSS, page 2691-2694. IEEE, (2014)Solving A System Of Linear Equations By Randomized Orthogonal Projectors., , and . CoRR, (2021)Rules and ontologies in support of real-time ubiquitous application., , and . J. Web Semant., 3 (1): 5-22 (2005)Hierarchical Linear Dynamical System for Representing Notes from Recorded Audio., , and . CoRR, (2022)Ontology and rule based retrieval of sound objects in augmented audio reality system for museum visitors., , , and . SAC, page 1045-1050. ACM, (2004)One-Class Gaussian Process for Possibilistic Classification Using Imaging Spectroscopy., , , and . IEEE Geosci. Remote. Sens. Lett., 13 (7): 967-971 (2016)