Sciweavers

ICFEM
2010
Springer
14 years 6 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
57
Voted
ACL
2001
14 years 10 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
15 years 1 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