1070 search results - page 92 / 214 » Type Classes with Functional Dependencies |
146
Voted
AAAI
2008
15 years 6 months ago
2008
Cooperative problem solving with resource constraints are important in practical multi-agent systems. Resource constraints are necessary to handle practical problems including dis...
152
click to vote
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
The Distributed Constraint Optimization Problem (DCOP) is a fundamental formalism for multi-agent cooperation. A dedicated framework called Resource Constrained DCOP (RCDCOP) has ...
165
click to vote
PLPV
2009
ACM
16 years 18 days ago
2009
ACM
We propose a new way to reason about general recursive functional programs in the dependently typed programming language Agda, which is based on Martin-L¨of’s intuitionistic ty...
137
Voted
ICASSP
2011
IEEE
2011
IEEE
Phoneme selective speech enhancement using the generalized parametric spectral subtraction estimator
14 years 7 months ago
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...
149
click to vote
JMLR
2002
15 years 3 months ago
2002
We present a class of algorithms for independent component analysis (ICA) which use contrast functions based on canonical correlations in a reproducing kernel Hilbert space. On th...