Sciweavers

209 search results - page 22 / 42
» Real-world programming
Sort
View
TSE
2010
136views more  TSE 2010»
15 years 3 months ago
A Theoretical and Empirical Study of Search-Based Testing: Local, Global, and Hybrid Search
Search based optimization techniques have been applied to structural software test data generation since 1992, with a recent upsurge in interest and activity within this area. How...
Mark Harman, Phil McMinn
120
Voted
ICRA
2006
IEEE
101views Robotics» more  ICRA 2006»
15 years 11 months ago
Policies based on Trajectory Libraries
— We present a control approach that uses a library of trajectories to establish a global control law or policy. This is an alternative to methods for finding global policies ba...
Martin Stolle, Christopher G. Atkeson
DATESO
2006
106views Database» more  DATESO 2006»
15 years 6 months ago
GeKon - Applying Novel Approaches to GIS Development
Abstract. This paper describes a few ideas concerned with geographical information systems (GIS) development. Those ideas come from a GIS development project named GeKon, which is ...
Tomas Richta
PPDP
2010
Springer
15 years 3 months ago
A declarative approach to robust weighted Max-SAT
The presence of uncertainty in the real world makes robustness to be a desired property of solutions to constraint satisfaction problems. Roughly speaking, a solution is robust if...
Miquel Bofill, Dídac Busquets, Mateu Villar...
PEPM
1994
ACM
15 years 9 months ago
Partial Evaluation of Numerical Programs in Fortran
our results using the Fast Fourier Transformation, the N-body attraction problem, and the cubic splines interpolation as examples.We investigate the application of partial evaluati...
Romana Baier, Robert Glück, Robert Zöchl...