3353 search results - page 292 / 671 » Laver and set theory |
143
click to vote
GLOBECOM
2006
IEEE
16 years 22 days ago
2006
IEEE
— There has been a significant amount of work analyzing the Internet AS (Autonomous System)-level topology which gives rise to a number of topology models. Although each of thes...
186
click to vote
INFOSCALE
2006
ACM
16 years 19 days ago
2006
ACM
With the rapid development of the semantic web, it is likely that the number of ontologies will greatly increase during the next few years, which leads to the arising demand for r...
158
click to vote
TPHOL
2005
IEEE
16 years 7 days ago
2005
IEEE
The quotient operation is a standard feature of set theory, where a set is partitioned into subsets by an equivalence relation. We reinterpret this idea for higher order logic, whe...
148
click to vote
ATAL
2005
Springer
16 years 6 days ago
2005
Springer
This paper presents the key features of a new negotiation model for autonomous agents. The model is generic, handles multi-party and multi-issue negotiation, acknowledges the role...
163
click to vote
ECAL
2005
Springer
16 years 6 days ago
2005
Springer
Typically, multi-agent models for studying the evolution of perceptually grounded lexicons assume that agents perceive the same set of objects, and that there is either joint atten...