4036 search results - page 569 / 808 » Formal Methods |
164
click to vote
ICSNC
2007
IEEE
16 years 27 days ago
2007
IEEE
This article presents a new trend in computerized medical image analysis of breast cancer features, existing in mammograms (grey scale 2D images), based on recent approaches of th...
164
click to vote
DSOM
2007
Springer
16 years 23 days ago
2007
Springer
This paper deals with the Change Management process within IT Service Management. Change Management includes several activities, some of which need to evaluate the risk exposure as...
156
click to vote
ECOOP
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Aspect-oriented programming languages usually are extensions of object-oriented ones, and their compilation target is usually the (virtual) machine model of the language ...
175
click to vote
ICA
2007
Springer
16 years 22 days ago
2007
Springer
Functional Data Analysis (FDA) is used for datasets that are more meaningfully represented in the functional form. Functional principal component analysis, for instance, is used to...
176
click to vote
ICDT
2007
ACM
16 years 22 days ago
2007
ACM
Abstract. Schema mappings play a central role in both data integration and data exchange, and are understood as high-level specifications describing the relationships between data...