1137 search results - page 173 / 228 » Disciplined Methods of Software Specification: A Case Study |
CORR
2008
Springer
14 years 9 months ago
2008
Springer
We propose a series of methods to represent the evolution of a field of science at different levels: namely micro, meso and macro levels. We use a previously introduced asymmetric...
JCIT
2008
14 years 9 months ago
2008
Metric distances and the more general concept of dissimilarities are widely used tools in instance-based learning methods and very especially in the nearestneighbor classification...
BMCBI
2005
14 years 9 months ago
2005
Background: Normalization is the process of removing non-biological sources of variation between array experiments. Recent investigations of data in gene expression databases for ...
CORR
2006
Springer
14 years 9 months ago
2006
Springer
In this article, we describe a new method of extracting information from signals, called functional dissipation, that proves to be very effective for enhancing classification of h...
JLP
2006
14 years 9 months ago
2006
This paper describes in detail how to bridge the gap between theory and practice when implementing in Maude structural operational semantics described in rewriting logic, where tr...