41938 search results - page 8099 / 8388 » Complex Systems Modeling |
158
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
This paper considers three variants of quantum interactive proof systems in which short (meaning logarithmic-length) messages are exchanged between the prover and verifier. The ...
173
click to vote
CPAIOR
2010
Springer
15 years 5 months ago
2010
Springer
Many search problems contain large amounts of redundancy in the search. In this paper we examine how to automatically exploit remaining subproblem equivalence, which arises when tw...
174
click to vote
ICASSP
2010
IEEE
15 years 5 months ago
2010
IEEE
An unsupervised method is proposed aiming at extracting rhythmic sources from commercial polyphonic music whose number of channels is limited to one. Commercial music signals are ...
169
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— In the past, there has been a tremendous advance in the area of simultaneous localization and mapping (SLAM). However, there are relatively few approaches for incorporating pri...
173
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
Multi-robot systems researchers have been investigating adaptive coordination methods for improving spatial coordination in teams. Such methods adapt the coordination method to th...