Sciweavers

1982 search results - page 37 / 397
» Parametricity and dependent types
Sort
View
ICASSP
2011
IEEE
14 years 1 months ago
Phoneme selective speech enhancement using the generalized parametric spectral subtraction estimator
In this study, the generalized parametric spectral subtraction estimator is employed in the context of a ROVER speech enhancement framework to develop a robust phoneme class selec...
Amit Das, John H. L. Hansen
ICASSP
2008
IEEE
15 years 4 months ago
A new mutual information measure for independent component alalysis
Independent component analysis (ICA) is a popular approach for blind source separation (BSS). In this study, we develop a new mutual information measure for BSS and unsupervised l...
Jen-Tzung Chien, Hsin-Lung Hsieh, Sadaoki Furui
BMAS
2000
IEEE
15 years 2 months ago
Integration of Mechanical CAD and Behavioral Modeling
This article introduces the concept of combining both form (CAD models) and behavior (simulation models) of mechatronic system components into component objects. By composing thes...
Rajarishi Sinha, Christiaan J. J. Paredis, Pradeep...
VISUALIZATION
1998
IEEE
15 years 2 months ago
Size preserving pattern mapping
We introduce a new approach for mapping texture on volumetric iso-surfaces and parametric surfaces. Our approach maps 2D images on surfaces while maintaining continuity and preser...
Yair Kurzion, Torsten Möller, Roni Yagel
PLPV
2012
ACM
13 years 5 months ago
LTL types FRP: linear-time temporal logic propositions as types, proofs as functional reactive programs
Functional Reactive Programming (FRP) is a form of reactive programming whose model is pure functions over signals. FRP is often expressed in terms of arrows with loops, which is ...
Alan Jeffrey