2455 search results - page 278 / 491 » Graphical abstract help |
113
click to vote
ROBOCUP
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. The online coach within the simulation league has become more powerful over the last few years. Therefore, new options with regard to the recognition of the opponents str...
146
click to vote
ESEC
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. In this paper we demonstrate how static concurrency analysis techniques can be used to verify application-specific properties of an architecture description. Specifically...
160
click to vote
AH
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. This paper studies the properties of a helpful and trustworthy explanation in a movie recommender system. It discuss the results of an experiment based on a natural langu...
134
click to vote
BPM
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Many work has been conducted to analyze service choreographies to assert manyfold correctness criteria. While errors can be detected automatically, the correction of defe...
125
click to vote
AMR
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Peer-to-Peer networks are comprised of multiple independently administered computers (peers) that cooperate via a common protocol in order to achieve a goal common to the...