3706 search results - page 308 / 742 » The Transformational Approach to Program Development |
102
Voted
AIIA
2003
Springer
15 years 9 months ago
2003
Springer
In this paper, we propose a way to fuse the image-based localisation approach with the Monte-Carlo localisation approach. The method we propose does not suffer of the major limitat...
114
Voted
CP
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Stochastic Local Search (SLS) is a simple and effective paradigm for attacking a variety of Combinatorial (Optimization) Problems (COP). However, it is often non-trivial...
137
Voted
GG
2008
Springer
15 years 4 months ago
2008
Springer
This event is the second instance of the contest for graph transformation-based tools, which was first held as part of the AGTIVE workshop. The aim is to stimulate tool developmen...
120
Voted
KBSE
1998
IEEE
15 years 8 months ago
1998
IEEE
Formal approaches to software reuse rely heavily upon specificationmatchingcriterion, where asearch query using formal specifications is used to search a library of components ind...
172
Voted
ICST
2011
IEEE
14 years 7 months ago
2011
IEEE
—Developers have used data structure repair over the last few decades as an effective means to recover on-the-fly from errors in program state. Traditional repair techniques wer...