5090 search results - page 536 / 1018 » Constructing Strategies for Programming |
159
click to vote
ACISICIS
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper addresses the problem of finding a feasible solution for the University Course Timetabling Problem (UCTP), i.e. a solution that satisfies all the so-called hard const...
171
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— We study the problem of designing control strategies for nondeterministic transitions systems enforcing the satisfaction of Linear Temporal Logic (LTL) formulas over th...
149
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
— This paper presents a technique to improve the data association in the Iterative Closest Point [2] based scan matching. The method is based on a distance-filter constructed on...
198
click to vote
GECCO
2007
Springer
16 years 1 months ago
2007
Springer
Evolutionary algorithms applied in real domain should profit from information about the local fitness function curvature. This paper presents an initial study of an evolutionary...
162
click to vote
RTA
2007
Springer
16 years 1 months ago
2007
Springer
We present the Tom language that extends Java with the purpose of providing high level constructs inspired by the rewriting community. Tom furnishes a bridge between a general purp...