4586 search results - page 6 / 918 » Computing stable models in parallel |
133
click to vote
PODC
2004
ACM
15 years 10 months ago
2004
ACM
We explore the computational power of networks of small resource-limited mobile agents. We define two new models of computation based on pairwise interactions of finite-state ag...
112
click to vote
ICPP
1999
IEEE
15 years 9 months ago
1999
IEEE
This paper extended a mathematical technique to model the behaviour of token-passing protocol in a star-coupled wavelength-division multiplexing (WDM) optical network for traffic ...
140
Voted
LPNMR
2001
Springer
15 years 9 months ago
2001
Springer
In this paper bounded model checking of asynchronous concurrent systems is introduced as a promising application area for answer set programming. As the model of asynchronous syst...
139
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
As an extension of Bayesian network, module network is an appropriate model for inferring causal network of a mass of variables from insufficient evidences. However learning such ...
130
click to vote
GPC
2010
Springer
15 years 6 months ago
2010
Springer
This paper advocated the use of ontology-supported website models to provide a semantic level solution for an information agent so that it can provide fast, precise, and stable que...