82 search results - page 13 / 17 » Arrays and Contracts for the Specification and Analysis of R... |
ICSE
2000
IEEE-ACM
13 years 11 months ago
2000
IEEE-ACM
: Producing More Reliable Software: Mature Software Engineering Process vs. State-of-the-Art Technology? A customer of high assurance software recently sponsored a software enginee...
MICCAI
2010
Springer
13 years 6 months ago
2010
Springer
Due to the complex noise structure of functional magnetic resonance imaging (fMRI) data, methods that rely on information within a single subject often results in unsatisfactory fu...
BMCBI
2010
13 years 8 months ago
2010
Background: Many bioinformatics analyses, ranging from gene clustering to phylogenetics, produce hierarchical trees as their main result. These are used to represent the relations...
BMCBI
2002
13 years 7 months ago
2002
Background: DNA microarray technology is a powerful technique that was recently developed in order to analyze thousands of genes in a short time. Presently, microarrays, or chips,...
ICMCS
2008
IEEE
14 years 2 months ago
2008
IEEE
In this paper, we propose a Semantic Graphs for Image Search (SGIS) system, which provides a novel way for image search by utilizing collaborative knowledge in Wikipedia and netwo...