9873 search results - page 307 / 1975 » Emergent Semantics Systems |
160
click to vote
CADE
1998
Springer
15 years 11 months ago
1998
Springer
Proceedings of CADE-15, LNAI 1421, pp. 205
220
click to vote
JSAC
2007
15 years 6 months ago
2007
— Peer selection for query routing is a core task in peer-to-peer networks. Unstructured peer-to-peer systems (like Gnutella) ignore this problem, leading to an abundance of netw...
173
click to vote
NRHM
2002
15 years 6 months ago
2002
In this article we claim that the linguistic-centred view within hypermedia systems needs refinement through a semiotic-based approach before real interoperation between media can...
189
click to vote
ESWS
2009
Springer
16 years 1 months ago
2009
Springer
We present GiaBATA, a system for storing, aggregating, and querying Semantic Web data, based on declarative logic programming technology, namely on the dlvhex system, which allows ...
165
click to vote
ATAL
2005
Springer
16 years 7 days ago
2005
Springer
We present an approach to the verification of temporal epistemic properties in synchronous multi-agent systems (MAS) via bounded model checking (BMC). Based on the semantics of s...