3228 search results - page 593 / 646 » Computationally Sound Proofs |
BMCBI
2010
13 years 8 months ago
2010
Background: Large volumes of morphological descriptions of whole organisms have been created as print or electronic text in a human-readable format. Converting the descriptions in...
BIOSYSTEMS
2008
13 years 8 months ago
2008
The responses of cortical neurons are often characterized by measuring their spectro-temporal receptive fields (strfs). The strf of a cell can be thought of as a representation of...
JCB
2008
13 years 8 months ago
2008
Quantification of statistical significance is essential for the interpretation of protein structural similarity. To address this, a random model for protein structure comparison w...
JUCS
2008
13 years 8 months ago
2008
: Currently, many models are used to capture functional software requirements. However, the Software Engineering community has faded interaction requirements into the background, d...
AO
2005
13 years 8 months ago
2005
There are a number of genuinely open questions concerning the use of domain models in nlp. It would be great if contributors to Applied Ontology could help addressing them rather ...