5550 search results - page 77 / 1110 » Different Approaches to Proof Systems |
170
click to vote
CCIA
2006
Springer
15 years 10 months ago
2006
Springer
: This paper presents a method called "Situation Matching" that aids to improve cooperative tasks in heterogeneous multi-agent systems. The situation matching (SM) above ...
172
click to vote
ISMIR
2001
Springer
15 years 10 months ago
2001
Springer
Most research on music retrieval systems is based on monophonic musical sequences. In this paper, we investigate techniques for a full polyphonic music retrieval system. A method ...
149
click to vote
HICSS
2008
IEEE
16 years 19 days ago
2008
IEEE
The conversion of a legacy system to a system based on a commercial-off-the-shelf (COTS) package demands a dedicated guidance. The assumption that it is just a matter of adopting ...
188
click to vote
ESTIMEDIA
2005
Springer
15 years 11 months ago
2005
Springer
Portable embedded systems require diligence in managing their energy consumption. Thus, power efficient processors coupled with onchip memories (e.g. caches, scratchpads) are the...
204
click to vote
TKDE
2008
15 years 6 months ago
2008
Data stream management systems need to control their resources adaptively since stream characteristics and query workload may vary over time. In this paper we investigate an approa...