736 search results - page 43 / 148 » Moving Specification Structures Between Logical Systems |
SPIESR
1996
14 years 11 months ago
1996
Many applications would benefit if media objects such as images could be selected and classified (or clustered) such that "conceptually similar" images are grouped toget...
AI
2000
Springer
14 years 9 months ago
2000
Springer
Over the years increasingly sophisticated planning algorithms have been developed. These have made for more efficient planners, but unfortunately these planners still suffer from ...
ISMIR
2004
Springer
15 years 3 months ago
2004
Springer
This paper presents the principles of a new approach aimed at automatically discovering motivic patterns in monodies. It is shown that, for the results to agree with the listenerâ...
PODS
2005
ACM
15 years 9 months ago
2005
ACM
Abstract. We present a semantics and answer set programs for relational peer data exchange systems. When a peer answers a query, it exchanges data with other peers in order to supp...
69
Voted
PROMAS
2004
Springer
15 years 3 months ago
2004
Springer
In this paper, we propose a framework for modelling agent organizations, Omni, that allows the balance of global organizational requirements with the autonomy of individual agents....