2351 search results - page 197 / 471 » A Method of Requirement Inconsistency Analysis |
138
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: The development of high-throughput laboratory techniques created a demand for computer-assisted result analysis tools. Many of these techniques return lists of genes w...
161
click to vote
TYPES
2000
Springer
15 years 8 months ago
2000
Springer
We report on the design of a prototyping component for the theorem prover Isabelle/HOL. Specifications consisting of datatypes, recursive functions and inductive definitions are co...
128
click to vote
BIOCOMP
2006
15 years 6 months ago
2006
- The rapid growth in the amount of molecular genetic data being collected will, in many cases, require the development of new analytic methods for the analysis of that data. In th...
120
click to vote
WETICE
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper we present a trust-oriented method that can be used when building P2P recommender systems. We discuss its benefits in comparison to centralized solutions, its requir...
134
click to vote
HICSS
1999
IEEE
15 years 9 months ago
1999
IEEE
Legacy information systems are difficult to transform into the new or upgraded information systems. Part of the reason is being the incompatibility and the unscalability between t...