4636 search results - page 205 / 928 » Modelling and Validation with VipTool |
ISMIR
2004
Springer
14 years 1 months ago
2004
Springer
We motivate the problem of music recommendation based solely on acoustics from groups of related songs or ‘song sets’. We propose four solutions which can be used with any aco...
SSIAI
2000
IEEE
14 years 14 days ago
2000
IEEE
This paper deals with the problem of statistical unsupervised fusion of dependent sensors with its potential applications to multisensor image segmentation. On the one hand, Bayes...
SE
2007
13 years 9 months ago
2007
: Automated test case and test driver generation from a precise behaviour UML model is an emerging approach for software functional validation. This innovative approach for validat...
JFP
2006
13 years 8 months ago
2006
The Theory of Contexts is a type-theoretic axiomatization aiming to give a metalogical account of the fundamental notions of variable and context as they appear in Higher stract S...
CONCURRENCY
2002
13 years 8 months ago
2002
Practical applications are generally interdisciplinary in nature. The technology is well matured for addressing individual discipline applications and not for interdisciplinary ap...