8828 search results - page 1308 / 1766 » Formal methods in practice |
130
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
This paper describes the conceptual and algorithmic evolutions of Memory Based Parametric Equalization (MPEQ) needed to exploit the potentialities of the method within the state-o...
231
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Blind source separation (BSS) is a process to reconstruct source signals from the mixed signals. The standard BSS methods assume a fixed set of stationary source signals with the ...
206
click to vote
CAD
2011
Springer
14 years 10 months ago
2011
Springer
Design using free-form developable surfaces plays an important role in manufacturing industry. Currently most commercial systems can only support converting free-form surfaces int...
340
click to vote
CHI
2011
ACM
14 years 10 months ago
2011
ACM
The field of HCI is growing, not only in the variety of application areas or the volume of research conducted, but also in the number of analytical approaches for use in the evalu...
222
click to vote
MMM
2011
Springer
14 years 10 months ago
2011
Springer
In this paper we present a user-centric summarisation system that combines automatic visual-content analysis with user-interface design features as a practical method for home movi...