1684 search results - page 250 / 337 » The lexicographic decision function |
ISMVL
2009
IEEE
14 years 4 months ago
2009
IEEE
Determining the equivalence of reversible circuits designed to meet a common specification is considered. The circuits’ primary inputs and outputs must be in pure logic states ...
ATAL
2009
Springer
14 years 4 months ago
2009
Springer
It is often the case that agents within a system have distinct types of knowledge. Furthermore, whilst common goals may be agreed upon, the particular representations of the indiv...
DSOM
2009
Springer
14 years 4 months ago
2009
Springer
Rendering networks and distributed systems self-managing and self-optimizing has become a major research focus. This task is especially important for systems, such as publish/subsc...
EMO
2009
Springer
14 years 4 months ago
2009
Springer
A nadir point is constructed by the worst objective values of the solutions of the entire Pareto-optimal set. Along with the ideal point, the nadir point provides the range of obje...
POLICY
2009
Springer
14 years 4 months ago
2009
Springer
—Policy definition is an important component of the consistent authorisation service infrastructure that could be effectively integrated with the general resource provisioning wo...