336 search results - page 67 / 68 » Relevance heuristics for program analysis |
DIAGRAMS
2006
Springer
13 years 7 months ago
2006
Springer
Abstract. We present a method for constructing a teleological model of a drawing of a physical device through analogical transfer of the teleological model of the same device in an...
BIOINFORMATICS
2007
13 years 5 months ago
2007
Motivation: High-throughput expression profiling allows researchers to study gene activities globally. Genes with similar expression profiles are likely to encode proteins that ma...
BMCBI
2008
13 years 5 months ago
2008
Background: Recent progresses in genotyping technologies allow the generation high-density genetic maps using hundreds of thousands of genetic markers for each DNA sample. The ava...
BMCBI
2007
13 years 5 months ago
2007
Background: The analysis of the promoter sequence of genes with similar expression patterns is a basic tool to annotate common regulatory elements. Multiple sequence alignments ar...
BSL
2004
13 years 5 months ago
2004
This paper ties together much of the model theory of the last 50 years. Shelah's attempts to generalize the Morley theorem beyond first order logic led to the notion of excel...