3931 search results - page 614 / 787 » Separation logic and abstraction |
225
click to vote
EMO
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. This paper presents ParadisEO-MOEO, a white-box objectoriented generic framework dedicated to the flexible design of evolutionary multi-objective algorithms. This paradig...
212
click to vote
ESOP
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. In previous work, we described a new approach to supporting userdefined type qualifiers, which augment existing types to specify and check additional properties of intere...
208
click to vote
ESOP
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. The pure pattern calculus generalises the pure lambda-calculus by basing computation on pattern-matching instead of beta-reduction. The simplicity and power of the calcul...
175
click to vote
EWCBR
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. We propose that traditional case-based recommender systems can be improved by informing them with context data describing the user's environment. We outline existing...
206
click to vote
FINTAL
2006
15 years 11 months ago
2006
Abstract. German compound words pose special problems to statistical machine translation systems: the occurence of each of the components in the training data is not sufficient for...