3228 search results - page 84 / 646 » Computationally Sound Proofs |
HUC
2005
Springer
14 years 2 months ago
2005
Springer
The paper reports the results of the first stage of our work on an automatic dietary monitoring system. The work is part of a large European project on using ubiquitous systems to...
IJON
2008
13 years 7 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...
ICASSP
2011
IEEE
13 years 18 days ago
2011
IEEE
In microphone array processing, a Correlation Matrix (CM) between multiple channel input signals is widely utilized for various purposes such as Sound Source Localization (SSL), e...
EVOW
2011
Springer
13 years 11 days ago
2011
Springer
Adaptive walk on a fitness soundscape [7] is a new kind of interactive evolutionary computation for musical works. This system provides a virtual two-dimensional grid called a “...
MM
2004
ACM
14 years 2 months ago
2004
ACM
Information gathering from multimedia retrieval systems is aided by effective visualization, but the degree to which visualization is effective depends in part on the way the cont...