Sciweavers

681 search results - page 37 / 137
» A calculator for Pareto points
Sort
View
SCAM
2003
IEEE
15 years 7 months ago
Improving the Static Analysis of Loops by Dynamic Partitioning Techniques
Many static analyses aim at assigning to each control point of a program an invariant property that characterizes any state of a trace corresponding to this point. The choice of t...
Matthieu Martel
ISSAC
1995
Springer
86views Mathematics» more  ISSAC 1995»
15 years 5 months ago
Programs for Applying Symmetries
In this paper the programs APPLYSYM, QUASILINPDE and DETRAFO are described which aim at the utilization of infinitesimal symmetries of differential equations. The purpose of QUA...
Thomas Wolf
CVPR
2012
IEEE
13 years 4 months ago
Cross-based local multipoint filtering
This paper presents a cross-based framework of performing local multipoint filtering efficiently. We formulate the filtering process as a local multipoint regression problem, c...
Jiangbo Lu, Keyang Shi, Dongbo Min, Liang Lin, Min...
VVS
1998
IEEE
141views Visualization» more  VVS 1998»
15 years 6 months ago
3D Scan Conversion of CSG Models into Distance Volumes
A distance volume is a volume dataset where the value stored at each voxel is the shortest distance to the surface of the object being represented by the volume. Distance volumes ...
David E. Breen, Sean Mauch, Ross T. Whitaker
GECCO
2009
Springer
145views Optimization» more  GECCO 2009»
15 years 6 months ago
Investigating and exploiting the bias of the weighted hypervolume to articulate user preferences
Optimizing the hypervolume indicator within evolutionary multiobjective optimizers has become popular in the last years. Recently, the indicator has been generalized to the weight...
Anne Auger, Johannes Bader, Dimo Brockhoff, Eckart...