1263 search results - page 1 / 253 » Packaging Mathematical Structures |
TPHOL
2009
IEEE
14 years 20 days ago
2009
IEEE
ASMTA
2010
Springer
13 years 10 months ago
2010
Springer
MICCAI
1998
Springer
13 years 10 months ago
1998
Springer
A new, practical, and efficient approach is proposed for 3D vascular segmentation and bifurcation structure extraction. The method uses a combination of mathematical morphology, re...
ITP
2010
13 years 10 months ago
2010
Abstract. We present a compiler for definitions made by pattern matching on inductive families in the Coq system. It allows to write structured, recursive dependently-typed functi...
ICSM
2007
IEEE
14 years 10 days ago
2007
IEEE
Large object-oriented applications are structured over large number of packages. Packages are important but complex structural entities that may be difficult to understand since ...