4586 search results - page 6 / 918 » Computing stable models in parallel |
PODC
2004
ACM
14 years 1 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...
ICPP
1999
IEEE
14 years 19 hour 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 ...
LPNMR
2001
Springer
14 years 5 days 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...
IPPS
2006
IEEE
14 years 1 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 ...
GPC
2010
Springer
13 years 9 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...