1280 search results - page 122 / 256 » Soft Typing with Conditional Types |
CP
2004
Springer
14 years 2 months ago
2004
Springer
The paper introduces value precedence on integer and set sequences. A useful application of the notion is in breaking symmetries of indistinguishable values, an important class of ...
GECCO
2004
Springer
14 years 2 months ago
2004
Springer
Coevolution can in principle provide progress for problems where no accurate evaluation function is available. An important open question however is how coevolution can be set up s...
ACSAC
2003
IEEE
14 years 2 months ago
2003
IEEE
As computer infrastructures become more complex, security models must provide means to handle more flexible and dynamic requirements. In the Organization Based Access Control (Or...
ICRA
2003
IEEE
14 years 2 months ago
2003
IEEE
- Posture stabilization of a compliant framed modular mobile robot is the subject of this paper. This is a new type of wheeled mobile robot that has advantages of a simple modular ...
RTAS
2003
IEEE
14 years 2 months ago
2003
IEEE
A reward-based task typically consists of a mandatory part that must be accomplished before the given deadline, and an optional part that is associated with rewards for partial co...