Sciweavers

10055 search results - page 1374 / 2011
» Structured programming using processes
Sort
View
VISSYM
2007
15 years 8 months ago
Segmentation of DT-MRI Anisotropy Isosurfaces
While isosurfaces of anisotropy measures for data from diffusion tensor magnetic resonance imaging (DT-MRI) are known to depict major anatomical structures, the anisotropy metric ...
Thomas Schultz, Holger Theisel, Hans-Peter Seidel
192
Voted
AISC
2008
Springer
15 years 8 months ago
A Tactic Language for Hiproofs
Abstract. We introduce and study a tactic language, Hitac, for constructing hierarchical proofs, known as hiproofs. The idea of hiproofs is to superimpose a labelled hierarchical n...
David Aspinall, Ewen Denney, Christoph Lüth
174
Voted
CISSE
2008
Springer
15 years 8 months ago
Knowledge Assessment - Practical Example in Testing
: Knowledge assessment is inseparable part of current e-learning technologies. It can be used for self-assessment of students to give them feedback about their progress in a study ...
Ján Genci
BILDMED
2008
111views Algorithms» more  BILDMED 2008»
15 years 7 months ago
Simultaneous Model-Based Segmentation of Multiple Objects
Deformable models are used for the segmentation of objects in 3D images by adapting flexible meshes to image structures. The simultaneous segmentation of multiple objects often cau...
Astrid Franz, Robin Wolz, Tobias Klinder, Cristian...
DICTA
2007
15 years 7 months ago
Fuzzy Model Based Recognition of Handwritten Hindi Characters
This paper presents the recognition of handwritten Hindi Characters based on the modified exponential membership function fitted to the fuzzy sets derived from features consisting...
Madasu Hanmandlu, O. V. Ramana Murthy, Vamsi Krish...
« Prev « First page 1374 / 2011 Last » Next »