9067 search results - page 598 / 1814 » Adaptive Model Checking |
214
click to vote
ICASSP
2011
IEEE
14 years 11 months ago
2011
IEEE
This paper concerns the adaptation of spectrum dictionaries in audio source separation with supervised learning. Supposing that samples of the audio sources to separate are availa...
212
click to vote
MCS
2006
Springer
15 years 7 months ago
2006
Springer
The design of the control software for complex systems is a difficult task. It requires the modeling, the simulation, the integration and the adaptation of a multitude of intercon...
178
click to vote
CVPR
2004
IEEE
16 years 9 months ago
2004
IEEE
This paper presents new results in the field of video coding and compression using 3D information. Contrary to prior art in 3D model-based coding where 3D models have to be known,...
178
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
—This paper describes a waveform compression technique suitable for the efficient utilization, storage and interchange of the emerging current source model (CSM) based cell libra...
211
click to vote
EUROMICRO
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— Creating exercises for learners requires significant time. This is one reason, beside difficulties of discussing individualized tasks in a classroom setting, why often ...