Sciweavers

2607 search results - page 190 / 522
» Complete Functional Synthesis
Sort
View
NAR
2006
96views more  NAR 2006»
15 years 4 months ago
mtDB: Human Mitochondrial Genome Database, a resource for population genetics and medical sciences
The mitochondrial genome, contained in the subcellular mitochondrial network, encodes a small number of peptides pivotal for cellular energy production. Mitochondrialgenesarehighl...
Max Ingman, Ulf Gyllensten
UAI
1992
15 years 5 months ago
Interval Structure: A Framework for Representing Uncertain Information
In this paper, a unified framework for representing uncertain information based on the notion of an interval structure is proposed. It is shown that the lower and upper approximat...
S. K. Michael Wong, Lusheng Wang, Yiyu Yao
CORR
2008
Springer
92views Education» more  CORR 2008»
15 years 4 months ago
A connection between palindromic and factor complexity using return words
In this paper we prove that for any infinite word w whose set of factors is closed under reversal, the following conditions are equivalent: (I) all complete returns to palindromes...
Michelangelo Bucci, Alessandro De Luca, Amy Glen, ...
ENTCS
2008
97views more  ENTCS 2008»
15 years 4 months ago
Termination of Lazy Rewriting Revisited
Lazy rewriting is a proper restriction of term rewriting that dynamically restricts the reduction of certain arguments of functions in order to obtain termination. In contrast to ...
Felix Schernhammer, Bernhard Gramlich
MSS
2008
IEEE
80views Hardware» more  MSS 2008»
15 years 4 months ago
Utility representation of lower separable preferences
Topological separability is crucial for the utility representation of a complete preference relation. When preferences are incomplete, this axiom has suitably de...ned counterpart...
Özgür Yilmaz