Sciweavers

1005 search results - page 36 / 201
» On genomic coding theory
Sort
View
TIT
2002
73views more  TIT 2002»
13 years 7 months ago
Quantum rate-distortion theory for memoryless sources
We formulate quantum rate-distortion theory in the most general setting where classical side information is included in the tradeoff. Using a natural distortion measure based on en...
Igor Devetak, Toby Berger
POPL
2007
ACM
14 years 8 months ago
From implementation to theory in product synthesis
Future software development will rely on product synthesis, i.e., the synthesis of code and non-code artifacts for a target component or application. Prior work on feature-based p...
Don S. Batory
IFIP
1994
Springer
13 years 11 months ago
Program Speedups in Theory and Practice
The aim of this discussion paper is to stimulate (or perhaps to provoke) stronger interactions among theoreticians and practitioners interested in efficient problem solutions. We ...
Neil D. Jones
JSYML
2008
109views more  JSYML 2008»
13 years 7 months ago
Closed fragments of provability logics of constructive theories
In this paper we give a new proof of the characterization of the closed fragment of the provability logic of Heyting's Arithmetic. We also provide a characterization of the c...
Albert Visser
TCBB
2008
102views more  TCBB 2008»
13 years 7 months ago
Identification of Protein Coding Regions Using the Modified Gabor-Wavelet Transform
An important topic in genomic sequence analysis is the identification of protein coding regions. In this context, several coding DNA model-independent methods based on the occurren...
Jesus P. Mena-Chalco, Helaine Carrer, Yossi Zana, ...