Sciweavers

377 search results - page 48 / 76
» Extra-Music(ologic)al Models for Algorithmic Composition
Sort
View
DAC
2000
ACM
14 years 10 months ago
Synthesis and optimization of coordination controllers for distributed embedded systems
A main advantage of control composition with modal processes [4] is the enhanced retargetability of the composed behavior over a wide variety of target architectures. Unlike previ...
Pai H. Chou, Gaetano Borriello
RECOMB
2006
Springer
14 years 10 months ago
Alignment Statistics for Long-Range Correlated Genomic Sequences
It is well known that the base composition along eukaryotic genomes is long-range correlated. Here, we investigate the effect of such long-range correlations on alignment score sta...
Philipp W. Messer, Ralf Bundschuh, Martin Vingron,...
ISBI
2009
IEEE
14 years 4 months ago
Structural Annotation of EM Images by Graph Cut
Biological images have the potential to reveal complex signatures that may not be amenable to morphological modeling in terms of shape, location, texture, and color. An effective ...
Hang Chang, Manfred Auer, Bahram Parvin
ICDM
2007
IEEE
131views Data Mining» more  ICDM 2007»
14 years 4 months ago
Characterizing RNA Secondary-Structure Features and Their Effects on Splice-Site Prediction
— RNA molecules are distinguished by their sequence composition and by their three-dimensional shape, called the secondary structure. The secondary structure of a pre-mRNA sequen...
Rezarta Islamaj Dogan, Lise Getoor, W. John Wilbur
TACAS
2009
Springer
131views Algorithms» more  TACAS 2009»
14 years 4 months ago
Verifying Reference Counting Implementations
Reference counting is a widely-used resource management idiom which maintains a count of references to each resource by incrementing the count upon an acquisition, and decrementing...
Michael Emmi, Ranjit Jhala, Eddie Kohler, Rupak Ma...