3353 search results - page 232 / 671 » Laver and set theory |
183
click to vote
ITRUST
2004
Springer
15 years 12 months ago
2004
Springer
In the literature, the validity of theories or models for trust is usually based on intuition and common sense. Theories and models are not often verified experimentally. The rese...
170
click to vote
AC
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. A mathematical semantics is proposed for the notion of architectural connector, in the style defined by Allen and Garlan, that builds on Goguen’s categorical approach t...
183
click to vote
AE
2003
Springer
15 years 11 months ago
2003
Springer
The aim of this research is to develop an adaptive agent based model of auction scenarios commonly used in auction theory to help understand how competitors in auctions reach equil...
178
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
A team of agents planning to perform a complex task make a number of interrelated decisions as they determine precisely how that complex task will be performed. The decision set i...
165
click to vote
COSIT
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. We present a qualitative shape description which has previously been proven to be useful for object categorisation. The description is based on a set of shape primitives ...