Sciweavers

ICFEM
2010
Springer
13 years 2 months ago
Reasoning about Safety and Progress Using Contracts
Designing concurrent or distributed systems with complex architectures while preserving a set of high-level requirements through all design steps is not a trivial task. Building up...
Imene Ben Hafaiedh, Susanne Graf, Sophie Quinton
ACL
2001
13 years 6 months ago
Automated Subcategorization of Named Entities
There has been much interest in the recent past concerning the possibilities for automated categorization of named entities. The research presented here describes a method for the...
Michael Fleischman
GECCO
1999
Springer
13 years 8 months ago
A parameter-less genetic algorithm
From the user’s point of view, setting the parameters of a genetic algorithm (GA) is far from a trivial task. Moreover, the user is typically not interested in population sizes,...
Georges R. Harik, Fernando G. Lobo