HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:completion

Publications
Feasibility of Ultrasound-based Scaphoid Bone Model Completion for Surgical Planning
Peter Brößner, Christian Berwanger, Kristian Welle and Klaus Radermacher
In:Proceedings of The 24th Annual Meeting of the International Society for Computer Assisted Orthopaedic Surgery
Initial Experiments on Deriving a Complete HOL Simplification Set
Cezary Kaliszyk and Thomas Sternagel
In:PxTP 2013. Third International Workshop on Proof Exchange for Theorem Proving
Copyright © 2012-2025 easychair.org. All rights reserved.