Sciweavers

209 search results - page 22 / 42
» Real-world programming
Sort
View
132
Voted
TSE
2010
136views more  TSE 2010»
15 years 6 days 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
ICRA
2006
IEEE
101views Robotics» more  ICRA 2006»
15 years 8 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 3 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
125
Voted
PPDP
2010
Springer
15 years 7 days 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 6 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...