Sciweavers

896 search results - page 20 / 180
» Stepwise Refinement of Processes
Sort
View
167
Voted
PAA
2008
15 years 5 months ago
Diagnosis of lung nodule using Moran's index and Geary's coefficient in computerized tomography images
This paper analyzes the application of Moran's index and Geary's coefficient to the characterization of lung nodules as malignant or benign in computerized tomography ima...
Erick Corrêa da Silva, Aristófanes Co...
148
Voted
CSC
2008
15 years 7 months ago
Multilevel Approaches applied to the Capacitated Clustering Problem
- This paper presents two multilevel refinement algorithms for the capacitated clustering problem. Multilevel refinement is a collaborative technique capable of significantly aidin...
Demane Rodney, Alan Soper, Chris Walshaw
194
Voted
FM
2009
Springer
116views Formal Methods» more  FM 2009»
16 years 12 days ago
Language and Tool Support for Class and State Machine Refinement in UML-B
Mar Yah Said, Michael J. Butler, Colin F. Snook
IEEEARES
2010
IEEE
15 years 10 months ago
Refining the Pattern-Based Reference Model for Electronic Invoices by Incorporating Threats
Almost every company needs to process invoices to either claim money from their customers or to pay for products or services. Although companies are allowed to electronically proce...
Michael Netter, Eduardo B. Fernández, G&uum...