From post

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.

 

Другие публикации лиц с тем же именем

Service Combinators for Web Computing., и . IEEE Trans. Software Eng., 25 (3): 309-316 (1999)Refinement-Type Checker for Standard ML.. AMAST, том 1349 из Lecture Notes in Computer Science, стр. 565-566. Springer, (1997)Service Combinators for Web Computing., и . DSL, стр. 1-10. USENIX, (1997)A Temporal-Logic Approach to Binding-Time Analysis.. LICS, стр. 184-195. IEEE Computer Society, (1996)Practical Optional Types for Clojure., , и . ESOP, том 9632 из Lecture Notes in Computer Science, стр. 68-94. Springer, (2016)Score Level Fusion of Ear and Face Local 3D Features for Fast and Expression-Invariant Human Recognition., , , и . ICIAR, том 5627 из Lecture Notes in Computer Science, стр. 387-396. Springer, (2009)A Modal Analysis of Staged Computation., и . POPL, стр. 258-270. ACM Press, (1996)Fast and Fully Automatic Ear Detection Using Cascaded AdaBoost., , и . WACV, стр. 1-6. IEEE Computer Society, (2008)Refinement Quantified Logics of Knowledge., , и . M4M/LAMAS, том 278 из Electronic Notes in Theoretical Computer Science, стр. 85-98. Elsevier, (2011)Refining Local 3D Feature Matching through Geometric Consistency for Robust Biometric Recognition., и . DICTA, стр. 513-518. IEEE Computer Society, (2009)