549 search results - page 108 / 110 » Verification condition generation for conditional informatio... |
107
Voted
BMCBI
2006
15 years 15 days 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. ...
114
click to vote
BMCBI
2007
15 years 13 days 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...
106
click to vote
JCS
2008
15 years 12 days 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. ...
106
click to vote
JSS
2008
15 years 12 days 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...
103
Voted
BMCBI
2005
2005
A microarray data-based semi-kinetic method for predicting quantitative dynamics of genetic networks
15 years 10 days ago
Background: Elucidating the dynamic behaviour of genetic regulatory networks is one of the most significant challenges in systems biology. However, conventional quantitative predi...