2934 search results - page 172 / 587 » Universality in Multi-Agent Systems |
162
click to vote
PATAT
1997
Springer
15 years 10 months ago
1997
Springer
In October, 1996 we sent a questionnaire on the subject of university space allocation to the estate managers of ninety six British universities. This was conducted as part of the...
161
click to vote
CONCUR
2009
Springer
15 years 11 months ago
2009
Springer
ract bigraphs lack RPOs 57 6 Sorting 59 6.1 Place sorting and CCS 59 6.2 Link sorting, arithmetic nets and Petri nets 64 6.3 The impact of sorting 69 Part II : Motion 71 7 Reaction...
180
click to vote
ISI
2008
Springer
15 years 5 months ago
2008
Springer
This talk deals with advanced concepts of Artificial Intelligence (AI) and Pattern Recognition (PR), and their applications to solving real life problems including biometrics appl...
168
click to vote
LICS
2005
IEEE
16 years 22 hour ago
2005
IEEE
The universal Horn theory of relational Kleene algebra with tests (RKAT) is of practical interest, particularly for program semantics. We develop an (infinitary) proof system, ba...