549 search results - page 108 / 110 » Verification condition generation for conditional informatio... |
140
click to vote
BMCBI
2006
15 years 3 months ago
2006
Background: Recursive Feature Elimination is a common and well-studied method for reducing the number of attributes used for further analysis or development of prediction models. ...
146
click to vote
BMCBI
2007
15 years 3 months ago
2007
Background: Gene clustering has been widely used to group genes with similar expression pattern in microarray data analysis. Subsequent enrichment analysis using predefined gene s...
137
click to vote
JCS
2008
15 years 3 months ago
2008
We present a framework for evaluating and generating access control policies. The framework contains a modelling formalism called RW, which is supported by a model checking tool. ...
136
click to vote
JSS
2008
15 years 3 months ago
2008
Spatial relationships are important issues for similarity-based retrieval in many image database applications. With the popularity of digital cameras and the related image process...
132
click to vote
BMCBI
2005
2005
A microarray data-based semi-kinetic method for predicting quantitative dynamics of genetic networks
15 years 3 months ago
Background: Elucidating the dynamic behaviour of genetic regulatory networks is one of the most significant challenges in systems biology. However, conventional quantitative predi...