29386 search results - page 5521 / 5878 » On modeling of self-organizing systems |
166
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 ...
177
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...
209
click to vote
HICSS
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract: Software product line engineering is an established methodology for fast and effective development of software-intensive systems and services. To reap maximum benefits fr...
203
click to vote
IJON
2008
15 years 5 months ago
2008
This article depicts the approach used to build the Topos application, a simulation of two-wheel robots able to discern real complex sounds. Topos is framed in the nouvelle concep...
186
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 ...