2662 search results - page 11 / 533 » Tools Demonstrations |
BMCBI
2008
13 years 7 months ago
2008
Background: The identification of specific gene expression signature for distinguishing sample groups is a dominant field in cancer research. Although a number of tools have been ...
ENGL
2007
13 years 7 months ago
2007
—We present an implementation of pstable model semantics. Our implementation uses the well known tools: MiniSat and Lparse. Also we show the utility of an automatic demonstrator ...
IPSN
2007
Springer
14 years 1 months ago
2007
Springer
This demonstration shows the programming development suite of the RETOS operating system for sensor networks, which provides a robust and multithreaded programming interface to ap...
CC
2005
Springer
14 years 28 days ago
2005
Springer
Abstract. This tool demonstration presents Hob, a system for verifying data structure consistency for programs written in a general-purpose programming language. Our tool enables t...
ICML
2005
IEEE
14 years 8 months ago
2005
IEEE
In this paper we generalize the LARS feature selection method to the linear SVM model, derive an efficient algorithm for it, and empirically demonstrate its usefulness as a featur...