69 search results - page 13 / 14 » DNA coding using finite-context models and arithmetic coding |
BMCBI
2006
13 years 5 months ago
2006
Background: Automatic annotation of sequenced eukaryotic genomes integrates a combination of methodologies such as ab-initio methods and alignment of homologous genes and/or prote...
EUROGP
2009
Springer
13 years 12 months ago
2009
Springer
Abstract. We discuss here empirical comparation between model selection methods based on Linear Genetic Programming. Two statistical methods are compared: model selection based on ...
ICW
2005
IEEE
13 years 11 months ago
2005
IEEE
The MPEG-4 standard includes support not only for natural video and audio, but also for synthetic graphics and sounds. In the MPEG-4 specifications, Body Animation Parameters (BAP...
IFIP
2001
Springer
13 years 9 months ago
2001
Springer
— Semi-formal verification based on symbolic simulation offers a good compromise between formal model checking and numerical simulation. The generation of functional test vector...
DCC
2006
IEEE
14 years 4 months ago
2006
IEEE
Large XML data files, or XML databases, are now a common way to distribute scientific and bibliographic data, and storing such data efficiently is an important concern. A number o...