449 search results - page 17 / 90 » Distributed Reasoning in a Peer-to-Peer Setting |
EVOW
2004
Springer
15 years 3 months ago
2004
Springer
In sequential, deterministic, non-redundant search the algorithm permutes a test function to obtain the search result. The mapping from test functions to search results is a one-to...
IPPS
2006
IEEE
15 years 4 months ago
2006
IEEE
We present an overview of the Jahob system for modular analysis of data structure properties. Jahob uses a subset of Java as the implementation language and annotations with formu...
106
click to vote
DLOG
2010
14 years 8 months ago
2010
Abstract. Recently, the use of the MapReduce framework for distributed RDF Schema reasoning has shown that it is possible to compute the deductive closure of sets of over a billion...
ITNG
2007
IEEE
15 years 4 months ago
2007
IEEE
In this paper, we propose a new model for securing agent-based systems in which agents are equipped with reasoning capabilities allowing them to interact with each other. The agen...
SEKE
2007
Springer
15 years 4 months ago
2007
Springer
Developing user interfaces for a heterogeneous environment is a difficult challenge. Partial distribution of the user interface is an event harder one. Specifically providing de...