[ACM Press the 23rd Spring Conference - Budmerice, Slovakia (2007.04.26-2007.04.28)] Proceedings of the 23rd Spring Conference on Computer Graphics - SCCG '07 - Measurement of human cartilage geometry
- 作者Grabner, Markus; Millington, Steven; Wozelka, Ralph; Jammernegg, Andrea
- 文件大小1488.57KB
- 发表时间2007
- DOI10.1145/2614348.2614370
- 页码153-160
同作者推荐
Propositional dynamic logic of nonregular programsDavid Harel; Amir Pnueli; Jonathan Stavi · 1983
PrefaceAmir Pnueli; Joseph Sifakis · 1995
Reduced Functional Consistency of Uninterpreted FunctionsAmir Pnueli; Ofer Strichman · 2006
Monitoring Interfaces for FaultsAmir Pnueli; Aleksandr Zaks; Lenore Zuck · 2006
A compositional approach to verificationYonit Kesten; Amir Pnueli · 2005
A proof method for cyclic programsNissim Francez; Amir Pnueli · 1978
Backtracking in recursive computationsNissim Francez; Boris Klebansky; Amir Pnueli · 1977
Models for reactivityZohar Manna; Amir Pnueli · 1993