1722 search results - page 213 / 345 » Guided Genetic Programming |
119
Voted
FPL
2007
Springer
15 years 8 months ago
2007
Springer
This paper develops a formal model of process migration that describes programs, processes, and the migration of those processes within a migration realm. A migration realm is a g...
98
Voted
UM
2005
Springer
15 years 7 months ago
2005
Springer
Abstract: This paper is focused on user modeling and adaptation in distributed ELearning systems. We describe here CUMULATE, a generic student modeling server developed for a distr...
133
click to vote
LOPSTR
2004
Springer
15 years 7 months ago
2004
Springer
Offline partial evaluation techniques rely on an annotated version of the source program to control the specialisation process. These annotations guide the specialisation and have ...
131
Voted
ICPR
2000
IEEE
15 years 6 months ago
2000
IEEE
A new efficient dynamic programming (DP) algorithm for 2D elastic matching is proposed. The present DP algorithm requires by far less complexity than previous DPbased elastic mat...
104
click to vote
FSEN
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We present Trio2Promela, a tool for model checking TRIO specifications by means of Spin. TRIO is a linear-time temporal logic with both future and past operators and a qu...