1567 search results - page 42 / 314 » A Mechanized Model of the Theory of Objects |
ATAL
2005
Springer
15 years 7 months ago
2005
Springer
In this paper we present a rich decision model for intelligent agents involved in multi issue negotiations. The model, grounded on information theory, takes into account the aspec...
104
click to vote
FM
1994
Springer
15 years 5 months ago
1994
Springer
OPUS is an elementary calculus that models object-orientation. It expresses in a direct way the crucial features of object-oriented programming such as objects, encapsulation, mess...
120
click to vote
FSKD
2007
Springer
15 years 5 months ago
2007
Springer
The uncertainty may be divides it into two major groups, "objective uncertainty" and "subjective uncertainty". The objective uncertainty has already been exten...
131
click to vote
CADE
2008
Springer
16 years 1 months ago
2008
Springer
Abstract. We introduce the notion of array-based system as a suittraction of infinite state systems such as broadcast protocols or sorting programs. By using a class of quantified-...
128
click to vote
SCALESPACE
2001
Springer
15 years 5 months ago
2001
Springer
Bayesian statistical theory is a convenient way of taking a priori information into consideration when inference is made from images. In Bayesian image detection, the a priori dist...