7452 search results - page 302 / 1491 » A Semantics for Multiprocessor Systems |
227
click to vote
DKE
2008
15 years 6 months ago
2008
Logic is currently the target of the majority of the upcoming efforts towards the realization of the Semantic Web vision, namely making the content of the Web accessible not only t...
204
click to vote
ISORC
1999
IEEE
15 years 11 months ago
1999
IEEE
Object-oriented techniques have been along the last decade one of the most useful programming paradigms. However, for distributed embedded systems the semantic gap between the obj...
199
click to vote
SEMWEB
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. This paper describes the theoretical background and the implementation of dbrec, a music recommendation system built on top of DBpedia, offering recommendations for more ...
157
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
In this paper we will present the two basic operations for database schemas used in database mapping systems (separation and Data Federation), and we will explain why the functoria...
150
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Justification logics are epistemic logics that explicitly include justifications for the agents' knowledge. We develop a multi-agent justification logic with evidence terms fo...