3353 search results - page 532 / 671 » Laver and set theory |
103
click to vote
ACMICEC
2006
ACM
15 years 1 months ago
2006
ACM
In this paper, we look at a supply chain of commodity goods where customer demand is uncertain and partly based on reputation, and where raw material replenishment is uncertain in...
103
click to vote
ATAL
2004
Springer
15 years 1 months ago
2004
Springer
We have developed a set of tools to allow the use of model-checking techniques for the verification of systems directly implemented in an agent-oriented programming language. The ...
ATAL
2006
Springer
15 years 1 months ago
2006
Springer
Preferences of a single agent are often partially ordered. For example, it may be hard to compare a novel with a biography. In such a situation, the agent may want the novel and t...
106
click to vote
ECRTS
2004
IEEE
15 years 1 months ago
2004
IEEE
A common method for dealing with overload conditions in periodic task systems is to reduce the load by enlarging activation periods. When a periodic task implements a digital cont...
COLT
2006
Springer
15 years 1 months ago
2006
Springer
U-shaped learning is a learning behaviour in which the learner first learns a given target behaviour, then unlearns it and finally relearns it. Such a behaviour, observed by psych...