1982 search results - page 136 / 397 » Parametricity and dependent types |
149
click to vote
TASLP
2008
15 years 6 months ago
2008
In this paper, we evaluate the performance of several objective measures in terms of predicting the quality of noisy speech enhanced by noise suppression algorithms. The objective ...
197
click to vote
IJCV
2010
15 years 5 months ago
2010
We develop a computational model of shape that extends existing Riemannian models of shape of curves to multidimensional objects of general topological type. We construct shape sp...
164
click to vote
ISCI
2010
15 years 5 months ago
2010
This paper presents a simple but effective tuning strategy for robust static output feedback (SOF) controllers with minimal quadratic cost in the context of multiple parametric un...
220
click to vote
TCOS
2010
15 years 5 months ago
2010
We present a general framework for computing two-dimensional Voronoi diagrams of different classes of sites under various distance functions. Most diagrams mentioned in the paper ...
167
click to vote
TCS
2010
15 years 5 months ago
2010
We define a subclass of timed automata, called oscillator timed automata, suitable to model biological oscillators. Coupled biological oscillators may synchronise, as emerging be...