Sciweavers

4061 search results - page 348 / 813
» Framework Evolution Tool
Sort
View
ENTCS
2006
126views more  ENTCS 2006»
15 years 6 months ago
A Congruence Format for Name-passing Calculi
We define and use a SOS-based framework to specify the transition systems of calculi with name-passing properties. This setting uses proof-theoretic tools to take care of some of ...
Axelle Ziegler, Dale Miller, Catuscia Palamidessi
ICIP
2009
IEEE
15 years 4 months ago
Reconfigurable video coding: Objectives and technologies
The main objective of the MPEG Reconfigurable Video Coding (RVC) standard is to establish a framework for a more flexible usage of standard video coding technology. The framework ...
Christophe Lucarz, Ihab Amer, Marco Mattavelli
GECCO
2008
Springer
122views Optimization» more  GECCO 2008»
15 years 7 months ago
Evolving machine microprograms
The realization of a control unit can be done using a complex circuitry or microprogramming. The latter may be considered as an alternative method of implementation of machine ins...
Pedro A. Castillo Valdivieso, G. Fernández,...
BMCBI
2008
130views more  BMCBI 2008»
15 years 7 months ago
IDEA: Interactive Display for Evolutionary Analyses
Background: The availability of complete genomic sequences for hundreds of organisms promises to make obtaining genome-wide estimates of substitution rates, selective constraints ...
Amy Egan, Anup Mahurkar, Jonathan Crabtree, Jonath...
WABI
2010
Springer
167views Bioinformatics» more  WABI 2010»
15 years 5 months ago
Quantifying the Strength of Natural Selection of a Motif Sequence
Quantification of selective pressures on regulatory sequences is a central question in studying the evolution of gene regulatory networks. Previous methods focus primarily on sing...
Chen-Hsiang Yeang