1364 search results - page 166 / 273 » Comparative Branching-Time Semantics |
125
Voted
KCAP
2005
ACM
15 years 9 months ago
2005
ACM
In view of the need to provide tools to facilitate the reuse of existing knowledge structures such as ontologies, we present in this paper a system, AKTiveRank, for the ranking of...
145
Voted
BERTINORO
2005
Springer
15 years 9 months ago
2005
Springer
In this paper we present and evaluate uncoordinated on-line algorithms for simultaneous storage and replication load-balancing in DHT-based peer-to-peer systems. We compare our ap...
136
Voted
ICWE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Web recommendation systems have become a popular means to improve the usability of web sites. This paper describes the architecture of a rulebased recommendation system a...
144
Voted
PADL
2005
Springer
15 years 9 months ago
2005
Springer
We describe the design of the OLPS system, an implementation of the preferred answer set semantics for ordered logic programs. The basic algorithm we propose computes the extended ...
118
Voted
SEMWEB
2005
Springer
15 years 9 months ago
2005
Springer
The paper reports on the formal framework to design strategies for multi-issue non-symmetric meaning negotiations among software agents in a distributed information retrieval syste...