196 search results - page 24 / 40 » Canonizable Partial Order Generators |
CORR
2008
Springer
13 years 8 months ago
2008
Springer
A common objective in mechanism design is to choose the outcome (for example, allocation of resources) that maximizes the sum of the agents' valuations, without introducing in...
GECCO
1999
Springer
14 years 26 days ago
1999
Springer
This paper describes the application of an arti cial immune system, AIS , model to a scheduling application, in which sudden changes in the scheduling environment require the rap...
ECOOP
1997
Springer
14 years 23 days ago
1997
Springer
A type inclusion test is a procedure to decide whether two types are related by a given subtyping relationship. An efficient implementation of the type inclusion test plays an impo...
POPL
1993
ACM
14 years 20 days ago
1993
ACM
e data structures are abstractions of simple records and pointers. They impose a shape invariant, which is verified at compiletime and exploited to automatically generate code fo...
STOC
1993
ACM
14 years 20 days ago
1993
ACM
We analyze algorithms that predict a binary value by combining the predictions of several prediction strategies, called experts. Our analysis is for worst-case situations, i.e., we...