1645 search results - page 128 / 329 » Rationale-Based Use Case Specification |
206
click to vote
BMCBI
2011
14 years 10 months ago
2011
Background: Statistical methods for ranking differentially expressed genes (DEGs) from gene expression data should be evaluated with regard to high sensitivity, specificity, and r...
135
click to vote
CADE
2002
Springer
16 years 6 months ago
2002
Springer
The reflection theorem has been proved using Isabelle/ZF. This theorem cannot be expressed in ZF, and its proof requires reasoning at the meta-level. There is a particularly elegan...
155
click to vote
IWPC
2003
IEEE
15 years 11 months ago
2003
IEEE
1 : This paper describes a prototype tool that facilitates the process of understanding and managing multi-language program dependencies. More specifically, the software tool main...
150
click to vote
EURODAC
1994
IEEE
15 years 10 months ago
1994
IEEE
In the development of bus-based systems and individual PCB boards interfacing to a bus, the simulation usually requires a specific test bench or creation of quite complex stimuli....
165
click to vote
CIARP
2006
Springer
15 years 10 months ago
2006
Springer
This work tackles the categorization of general linear radial patterns by means of the valleys and ridges detection and the use of descriptors of directional information, which are...