( en | de | ru )

 

Disambiguation of "Owen, David"

Author of the publication

copydeleteadd this publication to your clipboard
Anatomy-Driven Modelling of Spatial Correlation for Regularisation of Arterial Spin Labelling Images.

, , , , , , and . MICCAI (2), volume 10434 of Lecture Notes in Computer Science, page 190-197. Springer, (2017)

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.

Christopher Owens

Gareth Owen

Stephen Owen

Mark Owen

Thomas Owen

 

Other publications of authors with the same name

Direct Manipulation and Procedural Reasoning.. HCI (2), page 349-356. Elsevier, (1987)Detecting Reflections by Combining Semantic and Instance Segmentation., and . CoRR, (2019)Effectively Combining Software Verification Strategies: Understanding Different Assumptions., , and . ISSRE, page 321-330. IEEE Computer Society, (2006)Aristotle would have admired BioShock while Shakespeare would have played Dragon Age.. Future Play, page 207-210. ACM, (2010)Random testing of formal software models and induced coverage., , and . Random Testing, page 20-27. ACM, (2006)Improved Placental Parameter Estimation Using Data-Driven Bayesian Modelling., , , , , , , , , and 2 other author(s). MICCAI (3), volume 11766 of Lecture Notes in Computer Science, page 609-616. Springer, (2019)Detection of Critical Structures in Laparoscopic Cholecystectomy Using Label Relaxation and Self-supervision., , , and . MICCAI (4), volume 12904 of Lecture Notes in Computer Science, page 321-330. Springer, (2021)What Makes Finite-State Models More (or Less) Testable?, , and . ASE, page 237-240. IEEE Computer Society, (2002)An Alternative to Model Checking: Verification by Random Search of AND-OR Graphs Representing Finite-State Models., , and . HASE, page 119-128. IEEE Computer Society, (2002)On the Advantages of Approximate vs. Complete Verification: Bigger Models, Faster, Less Memory, Usually Accurate., , , and . SEW, page 75. IEEE Computer Society, (2003)