Sciweavers

896 search results - page 20 / 180
» Stepwise Refinement of Processes
Sort
View
PAA
2008
13 years 8 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...
CSC
2008
13 years 10 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
FM
2009
Springer
116views Formal Methods» more  FM 2009»
14 years 3 months 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
14 years 24 days 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...