Sciweavers

3113 search results - page 290 / 623
» Numerical Methods
Sort
View
GECCO
2004
Springer
259views Optimization» more  GECCO 2004»
16 years 18 days 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
16 years 18 days 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»
16 years 17 days 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»
16 years 17 days 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
16 years 15 days 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