2478 search results - page 309 / 496 » Quadtrees as an Abstract Domain |
199
click to vote
SEMWEB
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. The increasing awareness of the benefits of ontologies for information processing has lead to the creation of a number of large ontologies about real world domains. The ...
154
click to vote
P2P
2003
IEEE
15 years 11 months ago
2003
IEEE
Abstract—In this paper we explore the incentive and architectural issues that arise in Consortia of Peer-to-Peer Wireless Local Area Networks. A P2P WLAN Consortium (PWC) is a co...
174
click to vote
AC
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. There exists ample literature on Petri nets and its potential in the modelling, analysis, synthesis and implementation of systems in the manufacturing applications domain...
193
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
We apply the multi-agent system (MAS) platform to the task of biological network simulation. In this paper, we describe the simulation of signal transduction (ST) networks using t...
151
click to vote
LICS
2002
IEEE
15 years 11 months ago
2002
IEEE
The automated construction of mathematical proof is a basic activity in computing. Since the dawn of the field of automated reasoning, there have been two divergent schools of tho...