Autor der Publikation

JPF Verification of Habanero Java Programs using Gradual Type Permission Regions.

, , , und . ACM SIGSOFT Softw. Eng. Notes, 40 (1): 1-5 (2015)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Communication technology and campus safety: Critical sociotechnical concerns for emergency messaging at Canadian universities., , , und . ISTAS, Seite 1-5. IEEE, (2008)Face-Cap: Image Captioning Using Facial Expression Analysis., , , und . ECML/PKDD (1), Volume 11051 von Lecture Notes in Computer Science, Seite 226-240. Springer, (2018)JPF Verification of Habanero Java Programs using Gradual Type Permission Regions., , , und . ACM SIGSOFT Softw. Eng. Notes, 40 (1): 1-5 (2015)Sim-to-Real Transfer for Vision-and-Language Navigation., , , , , , und . CoRL, Volume 155 von Proceedings of Machine Learning Research, Seite 671-681. PMLR, (2020)nocaps: novel object captioning at scale., , , , , , , , , und . ICCV, Seite 8947-8956. IEEE, (2019)Method for estimating dynamic EM tracking accuracy of surgical navigation tools., , , und . Medical Imaging: Image-Guided Procedures, Volume 6141 von SPIE Proceedings, Seite 61410K. SPIE, (2006)A New Path: Scaling Vision-and-Language Navigation with Synthetic Instructions and Imitation Learning., , , , , , , , und . CVPR, Seite 10813-10823. IEEE, (2023)Bottom-Up and Top-Down Attention for Image Captioning and Visual Question Answering., , , , , , und . CVPR, Seite 6077-6086. Computer Vision Foundation / IEEE Computer Society, (2018)Tips and Tricks for Visual Question Answering: Learnings From the 2017 Challenge., , , und . CVPR, Seite 4223-4232. Computer Vision Foundation / IEEE Computer Society, (2018)Chasing Ghosts: Instruction Following as Bayesian State Tracking., , , , und . NeurIPS, Seite 369-379. (2019)