5639 search results - page 835 / 1128 » Timed Abstract Non-interference |
114
click to vote
ECAI
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. One key issue facing robotic teams is effective coordination mechanisms. Many robotic groups operate within domains where restrictions such as limiting areas of operation...
129
click to vote
ECML
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In this paper we show a novel application of string kernels: that is to the problem of recognising famous pianists from their style of playing. The characterstics of perf...
139
click to vote
EDBT
2004
ACM
15 years 10 months ago
2004
ACM
Abstract. We present a cost-based adaptive clustering method to improve average performance of spatial queries (intersection, containment, enclosure queries) over large collections...
148
click to vote
EMSOFT
2004
Springer
15 years 10 months ago
2004
Springer
We present an extension of a mathematical framework proposed by the authors to deal with the composition of heterogeneous reactive systems. Our extended framework encompasses dive...
127
click to vote
ESAW
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. If we are to enable agents to handle increasingly greater levels of complexity, it is necessary to equip them with mechanisms that support greater degrees of autonomy. Th...