852 search results - page 119 / 171 » Refactoring module structure |
133
click to vote
CVPR
2006
IEEE
16 years 4 months ago
2006
IEEE
We present a novel approach to the segmentation and analysis of vasculature from volumetric medical image data. Our method is an adoption and significant extension of deformable o...
135
Voted
SIGCSE
2009
ACM
16 years 3 months ago
2009
ACM
commonly stated definition of abstract data type (ADT) is that it is a domain of values and the operations over that domain. So, for example, a language's built-in types, lik...
162
Voted
ICFP
2006
ACM
16 years 2 months ago
2006
ACM
I report on an experience using the Coq proof assistant to develop a program verification tool with a machine-checkable proof of full correctness. The verifier is able to prove me...
145
Voted
XSYM
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We propose a mapping from the Enhanced Entity Relationship conceptual model to the W3C XML Schema Language with the following properties: information and integrity constr...
115
click to vote
CIMCA
2008
IEEE
15 years 9 months ago
2008
IEEE
A relatively new technique for measuring the 3D structure of visual scenes is provided by time of flight (TOF) cameras. Reflections of modulated light waves are recorded by a pa...