1860 search results - page 52 / 372 » tools 2009 |
3DPH
2009
13 years 11 months ago
2009
Statistical Shape Models have been proven to be valuable tools for segmenting anatomical structures of arbitrary topology. Being based on the statistical description of representat...
CHIMIT
2009
ACM
14 years 4 months ago
2009
ACM
System administrators are end-users too. And as end-users, they develop tools, create web pages, write command-line scripts, use spreadsheets, and repurpose existing tools. In sho...
ICSE
2009
IEEE-ACM
13 years 7 months ago
2009
IEEE-ACM
traceMaintainer is a tool that supports an approach for maintaining post-requirements traceability relations after changes have been made to traced model elements. The update of t...
FM
2009
Springer
14 years 4 months ago
2009
Springer
We examine the the industrial application of formal methods using data gathered in a review of 62 projects taking place over the last 25 years. The review suggests that formal meth...
FPL
2009
Springer
14 years 2 months ago
2009
Springer
Reconfigurable systems are widely used nowadays to increase performance of computationally intensive applications. There exist a lot of synthesis tools that automatically generate...