570 search results - page 34 / 114 » Web-Based Feature Reduction System: A Case Study |
BMCBI
2010
13 years 10 months ago
2010
Background: Mass spectrometry is an essential technique in proteomics both to identify the proteins of a biological sample and to compare proteomic profiles of different samples. ...
ICFP
2006
ACM
14 years 10 months ago
2006
ACM
We present language mechanisms for polymorphic, extensible records and their exact dual, polymorphic sums with extensible first-class cases. These features make it possible to eas...
HYBRID
2004
Springer
14 years 3 months ago
2004
Springer
A general notion of bisimulation is studied for dynamical systems. An algebraic characterization of bisimulation together with an algorithm for computing the maximal bisimulation r...
IWPC
2007
IEEE
14 years 4 months ago
2007
IEEE
The domain-specific ontology of a software system includes a set of features and their relationships. While the problem of locating features in object-oriented programs has been ...
FOSSACS
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. System L is a linear λ-calculus with numbers and an iterator, which, although imposing linearity restrictions on terms, has all the computational power of G¨odel’s Sy...