Sciweavers

3113 search results - page 290 / 623
» Numerical Methods
Sort
View
GECCO
2004
Springer
259views Optimization» more  GECCO 2004»
15 years 12 months ago
Evaluation of Different Fitness Functions for the Evolutionary Testing of an Autonomous Parking System
The method of evolutionary functional testing allows for the automation of testing by transforming test case design into an optimization problem. To this end it is necessary to def...
Joachim Wegener, Oliver Bühler
ICIAR
2004
Springer
15 years 12 months ago
Pulling, Pushing, and Grouping for Image Segmentation
This paper presents a novel computational visual grouping method, termed pulling, pushing and grouping, or PPG for short. Visual grouping is formulated as a functional optimisation...
Guoping Qiu, Kin-Man Lam
NAA
2004
Springer
117views Mathematics» more  NAA 2004»
15 years 12 months ago
Parallel Performance of a 3D Elliptic Solver
It was recently shown that block-circulant preconditioners applied to a conjugate gradient method used to solve structured sparse linear systems arising from 2D or 3D elliptic prob...
Ivan Lirkov
SAS
2004
Springer
103views Formal Methods» more  SAS 2004»
15 years 12 months ago
A Scalable Nonuniform Pointer Analysis for Embedded Programs
Abstract. In this paper we present a scalable pointer analysis for embedded applications that is able to distinguish between instances of recursively defined data structures and e...
Arnaud Venet
ICDAR
2003
IEEE
15 years 11 months ago
Mathematical Formulas Extraction
As a universal technical language, mathematics has been widely applied in many fields, and it is more accurate than any other languages in describing information. Therefore, numer...
Jianming Jin, Xionghu Han, Qingren Wang