3270 search results - page 142 / 654 » Approximate String Processing |
117
click to vote
FMCAD
2004
Springer
15 years 10 months ago
2004
Springer
We consider the problem of checking whether an incomplete design can still be extended to a complete design satisfying a given CTL formula and whether the property is satisfied fo...
139
Voted
GECCO
2004
Springer
15 years 10 months ago
2004
Springer
This work presents a performance analysis of a Multi-Branches Genetic Programming (MBGP) approach applied in symbolic regression (e.g. function approximation) problems. Genetic Pro...
108
click to vote
ICPR
2000
IEEE
15 years 9 months ago
2000
IEEE
For many pattern recognition methods, high recognition accuracy is obtained at very high expense of computational cost. In this paper, a new algorithm that reduces the computation...
121
click to vote
AAAI
2006
15 years 6 months ago
2006
Active fusion is a process that purposively selects the most informative information from multiple sources as well as combines these information for achieving a reliable result ef...
111
click to vote
DAGSTUHL
2004
15 years 6 months ago
2004
We study algorithms for approximation of the mild solution of stochastic heat equations on the spatial domain ]0, 1[ d . The error of an algorithm is defined in L2-sense. We derive...