Sciweavers

1057 search results - page 78 / 212
» Theoretical and Experimental DNA Computation
Sort
View
ERSHOV
2009
Springer
16 years 23 days ago
A Complete Invariant Generation Approach for P-solvable Loops
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...
Laura Kovács
CEC
2007
IEEE
16 years 16 days ago
On the adaptation of noise level for stochastic optimization
— 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...
Olivier Teytaud, Anne Auger
ENC
2006
IEEE
16 years 7 days ago
Cleaning Training-Datasets with Noise-Aware Algorithms
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...
H. Jair Escalante
ISSAC
2005
Springer
105views Mathematics» more  ISSAC 2005»
15 years 11 months ago
Lifting techniques for triangular decompositions
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...
Xavier Dahan, Marc Moreno Maza, Éric Schost...
AVSS
2003
IEEE
15 years 11 months ago
Detection of Changes in Surveillance Videos
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...
Longin Jan Latecki, Xiangdong Wen, Nilesh Ghubade