2725 search results - page 38 / 545 » Constraint Solving for Interpolation |
PTS
2010
13 years 8 months ago
2010
Recently there has been an upsurge of interest in both, Search– Based Software Testing (SBST), and Dynamic Symbolic Execution (DSE). Each of these two approaches has complementar...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
ICTAI
2010
IEEE
13 years 7 months ago
2010
IEEE
The abstract goes here.
IJIPM
2010
13 years 7 months ago
2010
DAGSTUHL
1997
13 years 11 months ago
1997
This survey presents several techniques for solving variants of the following scattered data interpolation problem: given a nite set of N points in R3, nd a surface that interpola...