1585 search results - page 91 / 317 » A framework for computer-aided validation |
125
click to vote
BMCBI
2010
15 years 3 months ago
2010
Background: The Salivaomics Knowledge Base (SKB) is designed to serve as a computational infrastructure that can permit global exploration and utilization of data and information ...
129
click to vote
BMCBI
2007
15 years 3 months ago
2007
Background: Proteins are the primary regulatory agents of transcription even though mRNA expression data alone, from systems like DNA microarrays, are widely used. In addition, th...
112
click to vote
ECCC
2010
15 years 3 months ago
2010
Abstract--There has been a sequence of recent papers devoted to understanding the relation between the testability of properties of Boolean functions and the invariance of the prop...
142
click to vote
JUCS
2008
15 years 3 months ago
2008
: One focus of current software development is the re-use of components in the construction of systems. Software Adaptation facilitates the consequent need to adapt these component...
133
click to vote
SLOGICA
2008
15 years 3 months ago
2008
A generic format for adaptive vague logics is presented. The concrete adaptive vague logics based on this format are able to (1) identify sentences as vague or non-vague in the con...