1664 search results - page 165 / 333 » Making a Case for Multi-Agent Systems |
170
click to vote
IPPS
2007
IEEE
15 years 11 months ago
2007
IEEE
Modern grids have become very complex by their size and their heterogeneity. It makes the deployment and maintenance of systems a difficult task requiring lots of efforts from ad...
119
click to vote
GECCO
2007
Springer
15 years 11 months ago
2007
Springer
In nature, systems with enormous numbers of components (i.e. cells) are evolved from a relatively small genotype. It has not yet been demonstrated that artificial evolution is su...
124
click to vote
APAL
2010
15 years 5 months ago
2010
A logic-enriched type theory (LTT) is a type theory extended with a primitive mechanism for forming and proving propositions. We construct two LTTs, named LTT0 and LTT 0, which we...
146
click to vote
LOGCOM
2007
15 years 4 months ago
2007
Abstract. This article extends and improves work on tableau-based decision methods for hybrid logic by Bolander and Bra¨uner [5]. Their paper gives tableau-based decision procedur...
147
Voted
DKE
2002
15 years 4 months ago
2002
It has long been recognised that interactivity improves the effectiveness of Information Retrieval systems. Speech is the most natural and interactive medium of communication and ...