10890 search results - page 1962 / 2178 » Automatic Complexity Analysis |
190
click to vote
ENTCS
2008
15 years 6 months ago
2008
The verification of quantitative aspects like performance and dependability by means of model checking has become an important and vivid area of research over the past decade. An ...
228
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Various statistical and machine learning methods have been successfully applied to the classification of DNA microarray data. Simple instance-based classifiers such as...
178
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: It is one of the ultimate goals for modern biological research to fully elucidate the intricate interplays and the regulations of the molecular determinants that prope...
220
click to vote
DATAMINE
2006
15 years 6 months ago
2006
Clipping is the process of transforming a real valued series into a sequence of bits representing whether each data is above or below the average. In this paper, we argue that clip...
186
click to vote
ENTCS
2006
15 years 6 months ago
2006
High performance scientific computing software is of critical international importance as it supports scientific explorations and engineering. Software development in this area is...