1057 search results - page 78 / 212 » Theoretical and Experimental DNA Computation |
ERSHOV
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We present an algorithm for generating all polynomial invariants of Psolvable loops with assignments and nested conditionals. We prove termination of our algorithm. The p...
CEC
2007
IEEE
15 years 4 months ago
2007
IEEE
— This paper deals with the optimization of noisy fitness functions, where the noise level can be reduced by increasing the computational effort. We theoretically investigate th...
ENC
2006
IEEE
15 years 3 months ago
2006
IEEE
We introduce a novel learning algorithm for noise elimination. Our algorithm is based on the re-measurement idea for the correction of erroneous observations and is able to discri...
ISSAC
2005
Springer
15 years 3 months ago
2005
Springer
We present lifting techniques for triangular decompositions of zero-dimensional varieties, that extend the range of the previous methods. We discuss complexity aspects, and report...
AVSS
2003
IEEE
15 years 3 months ago
2003
IEEE
In this paper we provide theoretical and experimental results that dimension of video trajectories is a useful tool to access mid-level content of videos, like, appearance or disa...