1070 search results - page 175 / 214 » Type Classes with Functional Dependencies |
GECCO
2009
Springer
14 years 2 months ago
2009
Springer
In this paper, we consider multi-objective evolutionary algorithms for the Vertex Cover problem in the context of parameterized complexity. We relate the runtime of our algorithms...
HOST
2008
IEEE
14 years 2 months ago
2008
IEEE
—A number of applications depend on the protection of security-sensitive hardware, preventing unauthorized users from gaining access to the functionality of the integrated circui...
DOCENG
2004
ACM
14 years 1 months ago
2004
ACM
We show that an XML DTD (Document Type Definition) can be viewed as the fixed point of a parametric content model. We then use natural transformations from the source content mo...
ATAL
2003
Springer
14 years 27 days ago
2003
Springer
We analyse scenarios in which self-interested agents negotiate with each other in order to agree on deals to exchange resources. We consider two variants of the framework, one whe...
BMAS
2000
IEEE
14 years 2 days ago
2000
IEEE
This article introduces the concept of combining both form (CAD models) and behavior (simulation models) of mechatronic system components into component objects. By composing thes...