6040 search results - page 1031 / 1208 » Generating Instance Models from Meta Models |
129
Voted
POPL
2012
ACM
13 years 10 months ago
2012
ACM
Interpolation is an important technique in verification and static analysis of programs. In particular, interpolants extracted from proofs of various properties are used in invar...
131
click to vote
BIBE
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract. Currently, the method most used for gene detection calls on Affymetrix oligonucleotide arrays is provided as part of the MAS5.0 software. The MAS method uses Wilcoxon sta...
158
click to vote
STORYTELLING
2005
Springer
15 years 8 months ago
2005
Springer
The goal of this research is to lay the foundations for a formal theory , that abstracts from the procedural and interactive aspects involved in the generation of dramatic content....
110
click to vote
BMCBI
2007
2007
A high-accuracy consensus map of yeast protein complexes reveals modular nature of gene essentiality
15 years 2 months ago
Background: Identifying all protein complexes in an organism is a major goal of systems biology. In the past 18 months, the results of two genome-scale tandem affinity purificatio...
139
Voted
CVPR
2009
IEEE
16 years 8 months ago
2009
IEEE
This article proposes a method for learning object templates
composed of local sketches and local textures, and
investigates the relative importance of the sketches and textures
...